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

DOI10.1002/MALQ.200610045zbMATH Open1118.03026OpenAlexW2044650519MaRDI QIDQ5293198FDOQ5293198

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

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

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)

Cites Work

• Title not available (Why is that?)

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)