Choice principles in hyperuniverses

DOI10.1016/0168-0072(95)00009-7zbMath0857.03032OpenAlexW1997235108WikidataQ126351221 ScholiaQ126351221MaRDI QIDQ1919525

Furio Honsell, Marco Forti

Publication date: 11 March 1997

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

Full work available at URL: https://doi.org/10.1016/0168-0072(95)00009-7

zbMATH Keywords

consistencyselection principleordering principlehyperuniverseschoice principlesgeneralized positive comprehension principlegeneralized positive formulae

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25)

Related Items

Choice principles in hyperuniverses, Inconsistency of the Axiom of Choice with the positive theory, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000, A topological set theory implied by ZF and GPK⁺_∞, Addendum and corrigendum: ``Choice principle in hyperuniverses, On the Consistency of a Positive Theory

Cites Work

• Solving reflexive domain equations in a category of complete metric spaces
• A general construction of hyperuniverses
• Choice principles in hyperuniverses
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• The status of the axiom of choice in set theory with a universal set
• Orderability form selections: Another solution to the orderability problem
• The consistency problem for positive comprehension principles
• Processes and the denotational semantics of concurrency
• Processes and hyperuniverses
• New Foundations for Mathematical Logic
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• The axiom of choice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item