scientific article; zbMATH DE number 3933065

MaRDI QIDQ3708015zbMATH OpenFDO

Authors Josef Mlček

Publication date 1985

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

zbMATH Keywords

ASTinitial modelsstrong indiscerniblesultrapowers

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15)

Recommendations

• Automorphisms and constructions of models of set theory
• Automorphism groups of numbered sets
• scientific article; zbMATH DE number 3914321
• Publication:4729786
• Automorphisms of models of set theory and extensions of NFU
• scientific article; zbMATH DE number 2144534
• The natural numbers in constructive set theory
• On all Sorts of Automorphisms
• Automorphisms of the lattice of recursively enumerable sets
• On automorphisms of arbitrary mathematical systems

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 Q3708015)