Login / Signup
Ethan Brauer
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 5
Top Topics
Numerical Data
Quantum Mechanics
Long Sequences
Face Verification
Top Venues
Rev. Symb. Log.
Bull. Symb. Log.
J. Philos. Log.
Synth.
</>
Publications
</>
Ethan Brauer
A Classical Modal Theory of Lawless sequences.
Bull. Symb. Log.
29 (3) (2023)
Ethan Brauer
The dependence of computability on numerical notations.
Synth.
198 (11) (2021)
Ethan Brauer
,
Neil Tennant
Transmission of Verification.
Rev. Symb. Log.
14 (4) (2021)
Ethan Brauer
Relevance for the Classical Logician.
Rev. Symb. Log.
13 (2) (2020)
Ethan Brauer
Second-order Logic and the Power Set.
J. Philos. Log.
47 (1) (2018)