AGAINST CUMULATIVE TYPE THEORY

DOI10.1017/S1755020321000435MaRDI QIDQ5046602

Tim Button, Robert Trueman

Publication date: 8 November 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.04582

zbMATH Keywords

set theoryabsolute generalityFregean semanticscumulative type theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Type theory (03B38)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Godel's Unpublished Papers on Foundations of Mathematics†
• Believing the axioms. I
• Cumulative Higher-Order Logic as a Foundation for Set Theory
• Philosophy and Model Theory
• The Many and the One
• Properties and Propositions
• Conceptions of Set and the Foundations of Mathematics
• Nominalism Through De‐Nominalization
• Modal Logic as Metaphysics