Login / Signup
Tim Button
ORCID
Publication Activity (10 Years)
Years Active: 2009-2022
Publications (10 Years): 7
Top Topics
Lower Level
Boolean Algebra
Formal Theory
Theoretical Basis
Top Venues
Bull. Symb. Log.
J. Philos. Log.
Rev. Symb. Log.
Notre Dame J. Formal Log.
</>
Publications
</>
Tim Button
,
Robert Trueman
Against Cumulative Type Theory.
Rev. Symb. Log.
15 (4) (2022)
Tim Button
Level Theory, Part 3: a Boolean Algebra of Sets Arranged in Well-Ordered Levels.
Bull. Symb. Log.
28 (1) (2022)
Tim Button
Level Theory, Part 2: Axiomatizing the Bare Idea of a potential Hierarchy.
Bull. Symb. Log.
27 (4) (2021)
Tim Button
Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets.
Bull. Symb. Log.
27 (4) (2021)
Tim Button
Deflationary metaphysics and ordinary language.
Synth.
197 (1) (2020)
Tim Button
Grades of Discrimination: Indiscernibility, Symmetry, and Relativity.
Notre Dame J. Formal Log.
58 (4) (2017)
Tim Button
Exclusion Problems and the Cardinality of Logical Space.
J. Philos. Log.
46 (6) (2017)
Tim Button
Hyperloops Do Not Threaten the Notion of an Effective Procedure.
CiE
(2009)