Ethan Brauer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
What is forcing potentialism?	2026-04-27	Paper
The modal logic of potential infinity: branching versus convergent possibilities Erkenntnis	2026-04-14	Paper
A potentialist perspective on intuitionistic analysis Philosophia Mathematica. Series III	2025-10-30	Paper
Coarsening natural deduction proofs. I: Finding perfect proofs Journal of Logic and Computation	2025-10-15	Paper
Coarsening natural deduction proofs. II: Finding gaunt proofs Journal of Logic and Computation	2025-10-15	Paper
A hierarchy of relevance properties	2025-08-13	Paper
The dependence of computability on numerical notations Synthese	2023-12-14	Paper
A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES The Bulletin of Symbolic Logic	2023-10-13	Paper
Divergent potentialism: a modal analysis with an application to choice sequences Philosophia Mathematica	2022-07-21	Paper
Transmission of verification The Review of Symbolic Logic	2022-02-07	Paper
Mirroring theorems in free logic Notre Dame Journal of Formal Logic	2021-09-07	Paper
Relevance for the classical logician The Review of Symbolic Logic	2020-04-27	Paper
Second-order logic and the power set Journal of Philosophical Logic	2018-03-01	Paper

Research outcomes over time

This page was built for person: Ethan Brauer