Extendability of Functions on Models of ZFFin

DOI10.1002/MALQ.19880340406zbMath0653.03036OpenAlexW2007552619MaRDI QIDQ3798655

A. 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

ultrapowersaturated modelresplendent modelsrecursively saturated modelsalternative set theorymodels of \(ZF_{Fin}\)operation Exrevealed endomorphic universe

Mathematics Subject Classification ID

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

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