A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC
From MaRDI portal
Publication:6041339
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
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