Tim Button

Available identifiers

Publication	Date of Publication	Type
AGAINST CUMULATIVE TYPE THEORY	2022-11-08	Paper
LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS	2022-04-04	Paper
LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS	2022-03-01	Paper
LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY	2022-03-01	Paper
Deflationary metaphysics and ordinary language	2021-11-30	Paper
Against Cumulative Type Theory	2021-08-10	Paper
Level Theory, parts 1-3	2021-03-11	Paper
Philosophy and Model Theory	2018-04-05	Paper
Exclusion problems and the cardinality of logical space	2018-02-14	Paper
Grades of discrimination: indiscernibility, symmetry, and relativity	2017-11-06	Paper
Knot and Tonk: Nasty Connectives on Many-Valued Truth-Tables for Classical Sentential Logic	2017-06-27	Paper
Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics	2017-03-03	Paper
The metamathematics of Putnam's model-theoretic arguments	2011-12-13	Paper
Hyperloops Do Not Threaten the Notion of an Effective Procedure	2010-07-28	Paper
SAD Computers and Two Versions of the Church–Turing Thesis	2010-04-08	Paper
Realistic structuralism's identity crisis: a hybrid solution	2007-01-29	Paper
Wand/set theories: A realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set	N/A	Paper
The iterative conception of function and the iterative conception of set	N/A	Paper

This page was built for person: Tim Button