Model theoretic properties of the Urysohn sphere

&
Annals of Pure and Applied Logic 167 (1):49-72 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.09.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
A problem for information-theoretic semantics.Jose L. Zalabardo - 1995 - Synthese 105 (1):1-29.
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
12 (#1,058,801)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Independence in generic incidence structures.Gabriel Conant & Alex Kruckman - 2019 - Journal of Symbolic Logic 84 (2):750-780.
An axiomatic approach to free amalgamation.Gabriel Conant - 2017 - Journal of Symbolic Logic 82 (2):648-671.
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.

Add more citations

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.

Add more references