scientific article; zbMATH DE number 4185598

MaRDI QIDQ5750855zbMATH OpenFDO

Authors Jiří Sgall

Publication date 1990

zbMATH Keywords

alternative set theoryaxiom of constructibilityaxioms of choice for systems of classesdegrees of constructibilitydependent choiceforcinggenericindependencesecond-order arithmetic

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 37882
• scientific article; zbMATH DE number 3893190
• scientific article; zbMATH DE number 37881
• Interpretations of the alternative set theory
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS

Cited in

(6)

• Stranger things about forcing without AC.
• scientific article; zbMATH DE number 3841843 (Why is no real title available?)
• Spector forcing
• On the Mathematical Content of the Theory of Classes KM
• scientific article; zbMATH DE number 37881 (Why is no real title available?)
• scientific article; zbMATH DE number 37882 (Why is no real title available?)

This page was built for publication:

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