Addendum and corrigendum: ``Choice principle in hyperuniverses

DOI10.1016/S0168-0072(97)00079-1MaRDI QIDQ1295374zbMATH OpenOpenAlexFDO

Authors Marco Forti, Furio Honsell

Publication date 8 November 1999

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

Full work available at URL https://doi.org/10.1016/s0168-0072(97)00079-1

zbMATH Keywords

axiom of choicechoice and orderinghyperuniverses

Mathematics Subject Classification ID

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

Review text

The authors note that Lemma 5 of their paper [Ann. Pure Appl. Logic 77, No. 1, 35-52 (1996; Zbl 0857.03032)] contains an error. They observe that the Axiom of Choice fails in all \(\kappa\)-hyperuniverses for uncountable \(\kappa\). Other adjustments to the earlier paper are given.

Recommendations

• Corrigendum to ``Generalized Martin's axiom and Souslin's hypothesis for higher cardinals
• Erratum to: ``Localizing the axioms
• Choice principles in hyperuniverses
• A correction to ``A non-implication between fragments of Martin's axiom related to a property which comes from Aronszajn trees
• Erratum to ``Hyperfinite and standard unifications for physical theories

Cites work

• A general construction of hyperuniverses
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
• Choice principles in hyperuniverses

Cited in

(4)

• Corrigendum to ``Generalized Martin's axiom and Souslin's hypothesis for higher cardinals
• Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\)
• A topological set theory implied by \(\text{ZF}\) and \(\text{GPK}^+_\infty\)
• Erratum to: ``Localizing the axioms

This page was built for publication: Addendum and corrigendum: ``Choice principle in hyperuniverses

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