Elementary submodels of parametrizable models

MaRDI QIDQ5294751zbMATH OpenFDO

Authors Andrei S. Morozov

Publication date 26 July 2007

Full work available at URL https://eudml.org/doc/53167, http://www.emis.de/journals/SMZ/2006/03/595.htm

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

elementary submodelhereditarily finite superstructureparametrizable modelself-parametrizable model

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57)

Recommendations

• scientific article; zbMATH DE number 427681
• The real line in elementary submodels of set theory
• Submodels and definable points in models of Peano arithmetic
• Parametric groups of definable automorphisms of strongly constructive models
• scientific article; zbMATH DE number 1192201

Cited in

(5)

• Existence of saturated structures
• Parametric groups of definable automorphisms of strongly constructive models
• scientific article; zbMATH DE number 4039865 (Why is no real title available?)
• Elementary pairs of models
• Nonpresentability of some structures of analysis in hereditarily finite superstructures

This page was built for publication: Elementary submodels of parametrizable models

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