AGAINST CUMULATIVE TYPE THEORY

DOI10.1017/S1755020321000435MaRDI QIDQ5046602FDOQ5046602

Authors: 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

Recommendations

• Cumulative versus noncumulative ramified types
• scientific article; zbMATH DE number 3313431
• scientific article; zbMATH DE number 3853032
• Cumulative Higher-Order Logic as a Foundation for Set Theory
• scientific article; zbMATH DE number 4037856

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

• The Frege reader. Selected philosophical writings. Edited by Michael Beaney
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nominalism Through De‐Nominalization
• Modal Logic as Metaphysics
• Believing the axioms. I
• Philosophy and model theory
• The Many and the One
• Title not available (Why is that?)
• Title not available (Why is that?)
• Conceptions of Set and the Foundations of Mathematics
• Gödel's unpublished papers on foundations of mathematics
• Must we believe in set theory?
• Cumulative Higher-Order Logic as a Foundation for Set Theory
• Properties and Propositions

Cited In (1)

• Against Cumulative Type Theory

This page was built for publication: AGAINST CUMULATIVE TYPE THEORY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5046602)