American Mathematical Society (2009)
Authors | |
Abstract |
CHAPTER 1 Combinatorial Geometries and Infinitary Logics In this chapter we
introduce two of the key concepts that are used throughout the text. ...
|
Keywords | Completeness theorem Model theory |
Categories | (categorize this paper) |
Buy this book | $58.00 new $86.50 used Amazon page |
Call number | QA9.67.B35 2009 |
ISBN(s) | 9780821848937 0821848933 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Symmetry and the Union of Saturated Models in Superstable Abstract Elementary Classes.M. M. VanDieren - 2016 - Annals of Pure and Applied Logic 167 (4):395-407.
Category-Theoretic Aspects of Abstract Elementary Classes.Michael J. Lieberman - 2011 - Annals of Pure and Applied Logic 162 (11):903-915.
The Stability Spectrum for Classes of Atomic Models.John T. Baldwin & Saharon Shelah - 2012 - Journal of Mathematical Logic 12 (1):1250001-.
Iterated Elementary Embeddings and the Model Theory of Infinitary Logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.
Computable Categoricity for Pseudo-Exponential Fields of Sizeℵ1.Jesse Johnson - 2014 - Annals of Pure and Applied Logic 165 (7-8):1301-1317.
View all 6 citations / Add more citations
Similar books and articles
Decidability and ℵ0-Categoricity of Theories of Partially Ordered Sets.James H. Schmerl - 1980 - Journal of Symbolic Logic 45 (3):585 - 611.
Systematization of Finite Many-Valued Logics Through the Method of Tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
An Analytic Completeness Theorem for Logics with Probability Quantifiers.Douglas N. Hoover - 1987 - Journal of Symbolic Logic 52 (3):802-816.
Notes on Quasiminimality and Excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.
Categoricity and Indefinite Extensibility.James Walmsley - 2002 - Proceedings of the Aristotelian Society 102 (3):217–235.
Some Results on Permutation Group Isomorphism and Categoricity.Anand Pillay & Mark D. Schlatter - 2002 - Journal of Symbolic Logic 67 (3):910-914.
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard W. Kaye - 2007 - Cambridge University Press.
A Finite Model Theorem for the Propositional Μ-Calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.
Analytics
Added to PP index
2009-09-15
Total views
8 ( #1,006,486 of 2,506,511 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,511 )
2009-09-15
Total views
8 ( #1,006,486 of 2,506,511 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,511 )
How can I increase my downloads?
Downloads