A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC

DOI10.1017/S1755020320000301MaRDI QIDQ6041339zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• Equivalents of the axiom of choice. 2nd ed
• scientific article; zbMATH DE number 3737612 (Why is no real title available?)
• scientific article; zbMATH DE number 3782930 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 3222088 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• Neologicist foundations: inconsistent abstraction principles and part-whole
• New V, ZF and Abstraction†
• Set Theory
• The Axiom of Choice in Second‐Order Predicate Logic
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• Two Consequences of Determinacy Consistent with Choice
• Zermelo and Set Theory
• Zum Eliminationsproblem der mathematischen Logik

Cited in

(3)

• A NORMAL FORM THEOREM FOR SECOND-ORDER CLASSICAL LOGIC WITH AN AXIOM OF CHOICE
• Infinity, choice, and Hume's principle
• Absolute generality and revision theory

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

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