- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On theories T categorical in |T|
Journal of Symbolic Logic 35 (1):73-82 (1970)
Abstract
Morley conjectured that if an infinite first-order theory T is categorical in the power |T| > ℵ0, then it has a model of power < |T| Here we affirm this conjecture for the case |T|ℵ0=|T|.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Kueker's conjecture for superstable theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (3):930-934.
On the number of nonisomorphic models of size |t|.Ambar Chowdhury - 1994 - Journal of Symbolic Logic 59 (1):41 - 59.
Uncountable theories that are categorical in a higher power.Michael Chris Laskowski - 1988 - Journal of Symbolic Logic 53 (2):512-530.
Model completeness for trivial, uncountably categorical theories of Morley rank 1.Alfred Dolich, Michael C. Laskowski & Alexander Raichev - 2006 - Archive for Mathematical Logic 45 (8):931-945.
T-f-toposes For Lukasiewicz's Infinite-valued Logics.V. Vasyukov - 1988 - Bulletin of the Section of Logic 17 (3-4):182-187.
Fusion over Sublanguages.Assaf Hasson & Martin Hils - 2006 - Journal of Symbolic Logic 71 (2):361 - 398.
Generic variations of models of T.Andreas Baudisch - 2002 - Journal of Symbolic Logic 67 (3):1025-1038.
Model Companions of Theories with an Automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Analytics
Added to PP
2009-01-28
Downloads
11 (#351,772)
6 months
6 (#1,472,471)
2009-01-28
Downloads
11 (#351,772)
6 months
6 (#1,472,471)
Historical graph of downloads
Citations of this work
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory.Saharon Shelah - 1971 - Annals of Mathematical Logic 3 (3):271-362.
An axiomatic approach to rank in model theory.J. T. Baldwin - 1974 - Annals of Mathematical Logic 7 (2-3):295-324.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-xdvnm uwo