scientific article; zbMATH DE number 37881

MaRDI QIDQ3990239zbMATH OpenFDO

Authors Jiří Sgall

Publication date 28 June 1992

Full work available at URL https://eudml.org/doc/20341

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

alternative set theoryaxiom of constructibilityforcinggeneric extensionsiterated forcingsymmetric extensions

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)

Recommendations

• scientific article; zbMATH DE number 37882
• Publication:5750855
• On expandability of models of Peano arithmetic to models of the alternative set theory

Cited in

(9)

• Interpretations of the alternative set theory
• Forcing and antifoundation
• Forcing with the anti-foundation axiom
• scientific article; zbMATH DE number 4023270 (Why is no real title available?)
• scientific article; zbMATH DE number 37882 (Why is no real title available?)
• On expandability of models of Peano arithmetic to models of the alternative set theory
• scientific article; zbMATH DE number 3999896 (Why is no real title available?)
• Forcing under Anti‐Foundation Axiom: An expression of the stalks
• scientific article; zbMATH DE number 4185598 (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 Q3990239)