Notre Dame Journal of Formal Logic 48 (1):33-48 (2007)
| Abstract |
We define some variations of the Scott rank for countable models and obtain some inequalities involving the ranks. For mono-unary algebras we prove that the game rank of any subtree does not exceed the game rank of the whole model. However, similar questions about linear orders remain unresolved
|
| Keywords | isomorphism relation Scott rank mono-unary algebras |
| Categories | (categorize this paper) |
| DOI | 10.1305/ndjfl/1172787543 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,379
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - math.unt.edu (no proxy)
- projecteuclid.org (no proxy)
- projecteuclid.org [2] (no proxy)
- math.unt.edu [2] (no proxy)
- projecteuclid.org [3] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
A Complete L Ω1ω-Sentence Characterizing ℵ1.Julia F. Knight - 1977 - Journal of Symbolic Logic 42 (1):59-62.
Some Dichotomy Theorems for Isomorphism Relations of Countable Models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.
Some Dichotomy Theorems for Isomorphism Relations of Countable Models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.
Citations of this work BETA
An Introduction to the Scott Complexity of Countable Structures and a Survey of Recent Results.Matthew Harrison-Trainor - 2022 - Bulletin of Symbolic Logic 28 (1):71-103.
Similar books and articles
The Complexity of Classification Problems for Models of Arithmetic.Samuel Coskey & Roman Kossak - 2010 - Bulletin of Symbolic Logic 16 (3):345-358.
Theories with a Finite Number of Countable Models.Robert E. Woodrow - 1978 - Journal of Symbolic Logic 43 (3):442-455.
A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models.Robert E. Woodrow - 1976 - Journal of Symbolic Logic 41 (3):672-680.
End Extensions and Numbers of Countable Models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
On Countable Simple Unidimensional Theories.Anand Pillay - 2003 - Journal of Symbolic Logic 68 (4):1377-1384.
Order Types of Ordinals in Models of Set Theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
On Automorphism Groups of Countable Structures.Su Gao - 1998 - Journal of Symbolic Logic 63 (3):891-896.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
On Scott and Karp Trees of Uncountable Models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Countable Models of Trivial Theories Which Admit Finite Coding.James Loveys & Predrag Tanović - 1996 - Journal of Symbolic Logic 61 (4):1279-1286.
Some Dichotomy Theorems for Isomorphism Relations of Countable Models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.
Locally Countable Models of Σ1-Separation.Fred G. Abramson - 1981 - Journal of Symbolic Logic 46 (1):96 - 100.
Rich Models.Michael H. Albert & Rami P. Grossberg - 1990 - Journal of Symbolic Logic 55 (3):1292-1298.
Analytics
Added to PP index
2010-08-24
Total views
30 ( #383,514 of 2,519,678 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,678 )
2010-08-24
Total views
30 ( #383,514 of 2,519,678 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,678 )
How can I increase my downloads?
Downloads
