An axiomatic approach to rank in model theory
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Constructing ω-stable structures: model completeness.John T. Baldwin &Kitty Holland -2004 -Annals of Pure and Applied Logic 125 (1-3):159-172.
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.
Classification theory, Proceedings of the U.S.-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15–19, 1985, edited by Baldwin J. T., Lecture notes in mathematics, vol. 1292, Springer-Verlag, Berlin etc. 1987, vi + 500 pp. [REVIEW]John B. Goode -1990 -Journal of Symbolic Logic 55 (2):878-881.
Atomic models higher up.Jessica Millar &Gerald E. Sacks -2008 -Annals of Pure and Applied Logic 155 (3):225-241.
John T. Baldwin, "Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism." Reviewed by.Katalin Bimbó -2020 -Philosophy in Review 40 (1):1-3.
The theories of Baldwin–Shi hypergraphs and their atomic models.Danul K. Gunatilleka -2021 -Archive for Mathematical Logic 60 (7):879-908.
Superrosiness and dense pairs of geometric structures.Gareth J. Boxall -2023 -Archive for Mathematical Logic 63 (1):203-209.
William B. Easton. Powers of regular cardinals. Annals of mathematical logic, vol. 1 no. 2 , pp. 139–178. - J. R. Shoenfield. Unramified forcing. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 357–381. [REVIEW]J. Barkley Rosser -1975 -Journal of Symbolic Logic 40 (3):460-461.
Ordinal definability in the rank hierarchy.John W. Dawson -1973 -Annals of Mathematical Logic 6 (1):1.
Analytics
Added to PP
2014-01-17
Downloads
16 (#1,290,848)
6 months
5 (#854,518)
2014-01-17
Downloads
16 (#1,290,848)
6 months
5 (#854,518)
Historical graph of downloads
How can I increase my downloads?Author's Profile
Citations of this work
The equality S1 = D = R.Rami Grossberg,Alexei Kolesnikov,Ivan Tomašić &Monica Van Dieren -2003 -Mathematical Logic Quarterly 49 (2):115-128.
References found in this work
Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler -1970 -Annals of Mathematical Logic 1 (1):1-93.
Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht &A. Mostowski -1966 -Journal of Symbolic Logic 31 (4):644-645.
Denumerable Models of Complete Theories.R. L. Vaught,Lars Svenonius,Erwin Engeler &Gebhard Fukrken -1970 -Journal of Symbolic Logic 35 (2):342-344.
Uniqueness and characterization of prime models over sets for totally transcendental first-order theories.Saharon Shelah -1972 -Journal of Symbolic Logic 37 (1):107-113.
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.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-nwt9g uwo