Extendability of Functions on Models of ZFFin

DOI10.1002/MALQ.19880340406MaRDI QIDQ3798655zbMATH OpenOpenAlexFDO

Authors Antonín Sochor

Publication date 1988

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19880340406

zbMATH Keywords

alternative set theorymodels of \(ZF_{Fin}\)operation Exrecursively saturated modelsresplendent modelsrevealed endomorphic universesaturated modelultrapower

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Models of arithmetic and set theory (03C62) Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 176207
• Finite extensions and the number of countable models
• On the structure of Ext(A,Z) in ZFC⁺
• Representability of functions in finite models. Arithmetical theories
• Generic extensions of models of ZFC
• On cofinal extensions of models of arithmetic
• scientific article; zbMATH DE number 5038454
• scientific article; zbMATH DE number 1302491
• Ultrafilter extensions of models
• Finitization procedures and finite model property

Cited in

(4)

• Suitable extender models. II: Beyond -huge
• scientific article; zbMATH DE number 4142027 (Why is no real title available?)
• scientific article; zbMATH DE number 3557789 (Why is no real title available?)
• Episodes in model-theoretic xenology: rationals as positive integers in \textsf{R}\(^\sharp\)

This page was built for publication: Extendability of Functions on Models of ZFFin

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