Model theoretic properties of the Urysohn sphere
Annals of Pure and Applied Logic 167 (1):49-72 (2016)
Abstract
This article has no associated abstract. (fix it)DOI
10.1016/j.apal.2015.09.003
My notes
Similar books and articles
Versions of Normality and Some Weak Forms of the Axiom of Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (3):367-382.
The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.
Logical consequence: A defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.
Model theoretic results for infinitely deep languages.Maaret Karttunen - 1983 - Studia Logica 42 (2-3):223 - 241.
Classifying model-theoretic properties.Chris J. Conidis - 2008 - Journal of Symbolic Logic 73 (3):885-905.
Ramseyfication and theoretical content.Joseph Melia & Juha Saatsi - 2006 - British Journal for the Philosophy of Science 57 (3):561-585.
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.Tommaso Cortonesi, Enrico Marchioni & Franco Montagna - 2011 - Notre Dame Journal of Formal Logic 52 (4):339-379.
On the first-order expressibility of lattice properties related to unicoherence in continua.Paul Bankston - 2011 - Archive for Mathematical Logic 50 (3-4):503-512.
Saturated models of universal theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.
The Model-Theoretic Argument: Another Turn of the Screw. [REVIEW]Manuel García-Carpintero - 1996 - Erkenntnis 44 (3):305-316.
Effective Borel degrees of some topological functions.Guido Gherardi - 2006 - Mathematical Logic Quarterly 52 (6):625-642.
A model-theoretic characterisation of clique width.Achim Blumensath - 2006 - Annals of Pure and Applied Logic 142 (1):321-350.
Vector space semantics: A model-theoretic analysis of locative prepositions. [REVIEW]Joost Zwarts & Yoad Winter - 2000 - Journal of Logic, Language and Information 9 (2):169-211.
Cardinal coefficients associated to certain orders on ideals.Piotr Borodulin-Nadzieja & Barnabás Farkas - 2012 - Archive for Mathematical Logic 51 (1-2):187-202.
Analytics
Added to PP
2016-02-04
Downloads
7 (#1,045,962)
6 months
1 (#455,463)
2016-02-04
Downloads
7 (#1,045,962)
6 months
1 (#455,463)
Historical graph of downloads
Citations of this work
An axiomatic approach to free amalgamation.Gabriel Conant - 2017 - Journal of Symbolic Logic 82 (2):648-671.
Independence in generic incidence structures.Gabriel Conant & Alex Kruckman - 2019 - Journal of Symbolic Logic 84 (2):750-780.
Neostability in countable homogeneous metric spaces.Gabriel Conant - 2017 - Annals of Pure and Applied Logic 168 (7):1442-1471.
Distance structures for generalized metric spaces.Gabriel Conant - 2017 - Annals of Pure and Applied Logic 168 (3):622-650.
References found in this work
A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
Toward classifying unstable theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.
Thorn-forking in continuous logic.Clifton Ealy & Isaac Goldbring - 2012 - Journal of Symbolic Logic 77 (1):63-93.
