Choice principles in hyperuniverses

DOI10.1016/0168-0072(95)00009-7MaRDI QIDQ1919525zbMATH OpenOpenAlexWikidataFDO

Authors Marco Forti, Furio Honsell

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

choice principlesconsistencygeneralized positive comprehension principlegeneralized positive formulaehyperuniversesordering principleselection principle

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3878918
• scientific article; zbMATH DE number 1107496
• The hyperuniverse program
• On the Consistency of a Positive Theory

Cites work

• A general construction of hyperuniverses
• Choice principles in hyperuniverses
• scientific article; zbMATH DE number 4019051 (Why is no real title available?)
• scientific article; zbMATH DE number 1001719 (Why is no real title available?)
• scientific article; zbMATH DE number 3859115 (Why is no real title available?)
• scientific article; zbMATH DE number 4164821 (Why is no real title available?)
• scientific article; zbMATH DE number 4070881 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 3531386 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 3448585 (Why is no real title available?)
• New Foundations for Mathematical Logic
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Orderability form selections: Another solution to the orderability problem
• Processes and hyperuniverses
• Processes and the denotational semantics of concurrency
• Solving reflexive domain equations in a category of complete metric spaces
• The axiom of choice
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• The consistency problem for positive comprehension principles
• The status of the axiom of choice in set theory with a universal set

Cited in

(8)

• Addendum and corrigendum: ``Choice principle in hyperuniverses
• Choice principles in hyperuniverses
• Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\)
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• On the Consistency of a Positive Theory
• scientific article; zbMATH DE number 1107496 (Why is no real title available?)
• A topological set theory implied by \(\text{ZF}\) and \(\text{GPK}^+_\infty\)
• Processes and hyperuniverses

This page was built for publication: Choice principles in hyperuniverses

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