24 results
A TOPOMETRIC EFFROS THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 02 February 2023, pp. 1-11
-
- Article
-
- You have access
- HTML
- Export citation
RECONSTRUCTION OF NON- $\aleph _0$ -CATEGORICAL THEORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 13 September 2021, pp. 159-187
- Print publication:
- March 2022
-
- Article
- Export citation
A METRIC VERSION OF SCHLICHTING’S THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 07 September 2020, pp. 1607-1613
- Print publication:
- December 2020
-
- Article
- Export citation
RECONSTRUCTION OF SEPARABLY CATEGORICAL METRIC STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 26 January 2016, pp. 216-224
- Print publication:
- March 2016
-
- Article
- Export citation
Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825–838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras II: model theory. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477–505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras III: elementary equivalence and II1factors. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609–628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The theory of tracial von Neumann algebras does not have a model companion. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000–1004.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 425-427
- Print publication:
- December 2015
-
- Article
- Export citation
GREY SUBSETS OF POLISH SPACES
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1379-1397
- Print publication:
- December 2015
-
- Article
- Export citation
FRAÏSSÉ LIMITS OF METRIC STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 100-115
- Print publication:
- March 2015
-
- Article
- Export citation
MODEL THEORETIC STABILITY AND DEFINABILITY OF TYPES, AFTER A. GROTHENDIECK
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. 491-496
- Print publication:
- December 2014
-
- Article
- Export citation
MODEL THEORETIC PROPERTIES OF METRIC VALUED FIELDS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 18 August 2014, pp. 655-675
- Print publication:
- September 2014
-
- Article
- Export citation
ALMOST INDISCERNIBLE SEQUENCES AND CONVERGENCE OF CANONICAL BASES
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 25 June 2014, pp. 460-484
- Print publication:
- June 2014
-
- Article
- Export citation
AN INDEPENDENCE THEOREM FOR NTP2 THEORIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 135-153
- Print publication:
- March 2014
-
- Article
- Export citation
Stability and stable groups in continuous logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1111-1136
- Print publication:
- September 2010
-
- Article
- Export citation
Definability of groups in ℵ0-stable metric structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 817-840
- Print publication:
- September 2010
-
- Article
- Export citation
A proof of completeness for continuous first-order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-190
- Print publication:
- March 2010
-
- Article
- Export citation
Model theory for metric structures
-
-
- Book:
- Model Theory with Applications to Algebra and Analysis
- Published online:
- 04 August 2010
- Print publication:
- 22 May 2008, pp 315-427
-
- Chapter
- Export citation
Fondements de la logique positive
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1141-1162
- Print publication:
- December 2007
-
- Article
- Export citation
On supersimplicity and lovely pairs of cats
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 763-776
- Print publication:
- September 2006
-
- Article
- Export citation
Uncountable dense categoricity in cats
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 829-860
- Print publication:
- September 2005
-
- Article
- Export citation
Compactness and Independence in Non First Order Frameworks
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 28-50
- Print publication:
- March 2005
-
- Article
- Export citation
Lovely pairs of models: the non first order case
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-662
- Print publication:
- September 2004
-
- Article
- Export citation