On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure

Mathematical Logic Quarterly 43 (1):134-142 (1997)
  Copy   BIBTEX

Abstract

In the first part of this paper we let M be a stable homogeneous model and we prove a nonstructure theorem for the class of all elementary submodels of M, assuming that M is ‘unsuperstable’ and has Skolem functions. In the second part we assume that M is an unstable homogeneous model of large cardinality and we prove a nonstructure theorem for the class of all elementary submodels of M

Categories

Keywords

Reprint years

DOI

10.1002/malq.19970430115

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure.Tapani Hyttinen & Saharon Shelah - 1998 - Mathematical Logic Quarterly 44 (3):354-358.
Main gap for locally saturated elementary submodels of a homogeneous structure.Tapani Hyttinen & Saharon Shelah - 2001 - Journal of Symbolic Logic 66 (3):1286-1302.
A rank for the class of elementary submodels of a superstable homogeneous model.Tapani Hyttinen & Olivier Lessmann - 2002 - Journal of Symbolic Logic 67 (4):1469-1482.
Finiteness of U-rank implies simplicity in homogeneous structures.Tapani Hyttinen - 2003 - Mathematical Logic Quarterly 49 (6):576.
Finitely generated submodels of an uncountably categorical homogeneous structure.Tapani Hyttinen - 2004 - Mathematical Logic Quarterly 50 (1):77.
Potential isomorphism of elementary substructures of a strictly stable homogeneous model.Sy-David Friedman, Tapani Hyttinen & Agatha C. Walczak-Typke - 2011 - Journal of Symbolic Logic 76 (3):987 - 1004.
Ab initio generic structures which are superstable but not ω-stable.Koichiro Ikeda - 2012 - Archive for Mathematical Logic 51 (1):203-211.
Adding Modality to Ontic Structuralism: An Exploration and Critique.Stathis Psillos - unknown
Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B.Tapani Hyttinen & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (4):1260-1272.
Constructing strongly equivalent nonisomorphic models for unsuperstable theories, part C.Tapani Hyttinen & Saharon Shelah - 1999 - Journal of Symbolic Logic 64 (2):634-642.
On superstable generic structures.Koichiro Ikeda & Hirotaka Kikyo - 2012 - Archive for Mathematical Logic 51 (5-6):591-600.
Remarks on Structure Theorems for -Saturated Models.Tapani Hyttinen - 1995 - Notre Dame Journal of Formal Logic 36 (2):269-278.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.
Generalizing Morley's Theorem.Tapani Hyttinen - 1998 - Mathematical Logic Quarterly 44 (2):176-184.

Analytics

Added to PP
2014-01-16

Downloads
7 (#1,356,784)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the reducibility of isomorphism relations.Tapani Hyttinen & Miguel Moreno - 2017 - Mathematical Logic Quarterly 63 (3-4):175-192.

Add more citations

References found in this work

Set theory.Thomas Jech - 1981 - Journal of Symbolic Logic.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.

Add more references