Elementary submodels of parametrizable models

zbMATH Open1115.03032MaRDI QIDQ5294751FDOQ5294751

Authors: Andrei S. Morozov 

Publication date: 26 July 2007

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

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

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

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)

Cited In (5)

• Existence of saturated structures
• Parametric groups of definable automorphisms of strongly constructive models
• Title not available (Why is that?)
• 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)