A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures

DOI10.1002/MALQ.200610045MaRDI QIDQ5293198zbMATH OpenOpenAlexFDO

Authors S. Mohsenipour

Publication date 26 June 2007

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

models of set theoryelementary end extensionrecursively saturated modelpower-like model

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 1354136
• The space of relative orders and a generalization of Morris indicability theorem
• A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
• On decidability and axiomatizability of some ordered structures
• scientific article; zbMATH DE number 32280
• A theory of recursive dimension of ordered sets
• Definably extending partial orders in totally ordered structures
• On constructive models of theories with linear Rudin-Keisler ordering
• On constructive models of theories with linear Rudin-Keisler ordering
• Remarks on structure theorems for \(\omega_ 1\)-saturated models

Cited in

(3)

• The common order-theoretic structure of version spaces and ATMSs
• Heights of models of ZFC and the existence of end elementary extensions II
• Model theory of the inaccessibility scheme

This page was built for publication: A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures

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