Tim Button

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
AGAINST CUMULATIVE TYPE THEORY The Review of Symbolic Logic	2022-11-08	Paper
LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS The Bulletin of Symbolic Logic	2022-04-04	Paper
LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS The Bulletin of Symbolic Logic	2022-03-01	Paper
LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY The Bulletin of Symbolic Logic	2022-03-01	Paper
Deflationary metaphysics and ordinary language Synthese	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 Journal of Philosophical Logic	2018-02-14	Paper
Grades of discrimination: indiscernibility, symmetry, and relativity Notre Dame Journal of Formal Logic	2017-11-06	Paper
Knot and tonk: nasty connectives on many-valued truth-tables for classical sentential logic Analysis	2017-06-27	Paper
Structure and categoricity: determinacy of reference and truth value in the philosophy of mathematics Philosophia Mathematica	2017-03-03	Paper
The metamathematics of Putnam's model-theoretic arguments Erkenntnis	2011-12-13	Paper
Hyperloops do not threaten the notion of an effective procedure Mathematical Theory and Computational Practice	2010-07-28	Paper
SAD computers and two versions of the Church-Turing thesis The British Journal for the Philosophy of Science	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

Research outcomes over time

This page was built for person: Tim Button