A model and its subset: the uncountable case

Annals of Pure and Applied Logic 71 (2):107-129 (1995)
  Copy   BIBTEX

Abstract

Assume Q is a definable subset of a model of T. We define a notion of Q-isolated type, generalizing an earlier definition for countable Q. This notion is absolute. For superstable T, we give some sufficient conditions for the existence of Q-atomic models. We apply this to prove some results on weak categoricity over a predicate

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(95)91363-f

Links

PhilArchive



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

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 quasi-amorphous sets.P. Creed & J. K. Truss - 2001 - Archive for Mathematical Logic 40 (8):581-596.
Model theory of the regularity and reflection schemes.Ali Enayat & Shahram Mohsenipour - 2008 - Archive for Mathematical Logic 47 (5):447-464.
Inverse problem for cuts.Renling Jin - 2007 - Logic and Analysis 1 (1):61-89.
Grigorieff Forcing on Uncountable Cardinals Does Not Add a Generic of Minimal Degree.Brooke M. Andersen & Marcia J. Groszek - 2009 - Notre Dame Journal of Formal Logic 50 (2):195-200.
Ad and patterns of singular cardinals below θ.Arthur W. Apter - 1996 - Journal of Symbolic Logic 61 (1):225-235.
A model and its subset.Ludomir Newelski - 1992 - Journal of Symbolic Logic 57 (2):644-658.
Flat Morley sequences.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (3):1261-1279.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
A dedekind finite borel set.Arnold W. Miller - 2011 - Archive for Mathematical Logic 50 (1-2):1-17.
Truth as One(s) and Many: On Lynch's Alethic Functionalism.Nikolaj Jang Lee Linding Pedersen & Douglas Edwards - 2011 - Analytic Philosophy 52 (3):213-230.
Diamond, square, and level by level equivalence.Arthur W. Apter - 2005 - Archive for Mathematical Logic 44 (3):387-395.

Analytics

Added to PP
2014-01-16

Downloads
24 (#637,523)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Finite quantifier equivalence.Carol Karp - 1965 - Journal of Symbolic Logic 36 (1):407--412.
Forking, normalization and canonical bases.Anand Pillay - 1986 - Annals of Pure and Applied Logic 32:61-81.
A model and its subset.Ludomir Newelski - 1992 - Journal of Symbolic Logic 57 (2):644-658.
Proper Forcing.Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (1):237-239.

View all 8 references / Add more references