A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC

DOI10.1017/S1755020320000301OpenAlexW3081331081MaRDI QIDQ6041339

Benjamin Siskind, Paolo Mancosu, Stewart Shapiro

Publication date: 26 May 2023

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

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

zbMATH Keywords

higher-order logicsecond-order logicthe axiom of choice

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25) Higher-order logic (03B16)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equivalents of the axiom of choice. 2nd ed
• Zum Eliminationsproblem der mathematischen Logik
• Two Consequences of Determinacy Consistent with Choice
• The Axiom of Choice in Second‐Order Predicate Logic
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• Set Theory
• New V, ZF and Abstraction†
• Neologicist Foundations: Inconsistent Abstraction Principles and Part-Whole
• Zermelo and Set Theory

This page was built for publication: A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC