DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES

DOI10.1017/S1755020318000230OpenAlexW3153373781MaRDI QIDQ5024503

Sean C. Ebels-Duggan

Publication date: 26 January 2022

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

Full work available at URL: https://doi.org/10.1017/s1755020318000230

zbMATH Keywords

second-order logiccardinalityabstraction principlesneo-logicismCantor's theorem

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16)

Related Items

TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Neo-Fregeanism: an embarrassment of riches
• Some criteria for acceptable abstraction
• The Arché papers on the mathematics of abstraction
• How Bertrand Russell discovered his paradox
• Constructing Cantorian counterexamples
• Finitude and Hume's principle
• On quasi-amorphous sets
• Frege meets Dedekind: A neologicist treatment of real analysis
• Abstraction principles and the classification of second-order equivalence relations
• Conservativeness, Stability, and Abstraction
• Notions of Invariance for Abstraction Principles
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• New V, ZF and Abstraction†
• On The Consistency of Second-Order Contextual Definitions
• Forcing for Mathematicians
• Is Hume's principle analytic?