Reflection principles and second-order choice principles with urelements

DOI10.1016/J.APAL.2021.103073OpenAlexW4200460484MaRDI QIDQ2668001

Bokai Yao

Publication date: 3 March 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2021.103073

zbMATH Keywords

set theoryreflection principlessecond-order choice principlesset theory with urelements

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Other set-theoretic hypotheses and axioms (03E65) Axiom of choice and related propositions (03E25)

Related Items (1)

Reflective mereology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Independence results for class forms of the axiom of choice
• BI-INTERPRETATION IN WEAK SET THEORIES
• Admissible Sets and Structures
• The axiom of choice

This page was built for publication: Reflection principles and second-order choice principles with urelements