Definable closure in randomizations

, &
Annals of Pure and Applied Logic 166 (3):325-341 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2014.11.005

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

On algebraic closure in pseudofinite fields.Özlem Beyarslan & Ehud Hrushovski - 2012 - Journal of Symbolic Logic 77 (4):1057-1066.
A Note on Defining Transcendentals in Function Fields.Arno Fehm & Wulf-Dieter Geyer - 2009 - Journal of Symbolic Logic 74 (4):1206 - 1210.
Ordinal analysis of non-monotone-definable inductive definitions.Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
Definable Operators on Hilbert Spaces.Isaac Goldbring - 2012 - Notre Dame Journal of Formal Logic 53 (2):193-201.
Some characterization and preservation theorems in modal logic.Tin Perkov - 2012 - Annals of Pure and Applied Logic 163 (12):1928-1939.
On properties of (weakly) small groups.Cédric Milliet - 2012 - Journal of Symbolic Logic 77 (1):94-110.
Definable homomorphisms of abelian groups in o-minimal structures.Ya'acov Peterzil & Sergei Starchenko - 1999 - Annals of Pure and Applied Logic 101 (1):1-27.
Defining transcendentals in function fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
An approximate Herbrand’s theorem and definable functions in metric structures.Isaac Goldbring - 2012 - Mathematical Logic Quarterly 58 (3):208-216.
Cell decompositions of C-minimal structures.Deirdre Haskell & Dugald Macpherson - 1994 - Annals of Pure and Applied Logic 66 (2):113-162.
On a hierarchy involving transitive closure logic and existential second-order quantification.R. Gault & I. Stewart - 2001 - Logic Journal of the IGPL 9 (6):769-780.
On the operations definable in terms of the complementation and the closure.Stanis law Wronski - 1986 - Bulletin of the Section of Logic 15 (3):117-121.
On the operations definable in terms of the complementation and the closure.Stanislaw Wronski - 1986 - Bulletin of the Section of Logic 15 (3):117-121.
A remark on divisibility of definable groups.Mário J. Edmundo - 2005 - Mathematical Logic Quarterly 51 (6):639-641.
A weakly definable type which is not definable.James H. Schmerl - 1993 - Archive for Mathematical Logic 32 (6):463-468.

Analytics

Added to PP
2015-08-28

Downloads
15 (#923,100)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Independence in randomizations.Uri Andrews, Isaac Goldbring & H. Jerome Keisler - 2019 - Journal of Mathematical Logic 19 (1):1950005.
Definable connectedness of randomizations of groups.Alexander Berenstein & Jorge Daniel Muñoz - 2021 - Archive for Mathematical Logic 60 (7):1019-1041.
Automorphism groups of randomized structures.Tomás Ibarlucía - 2017 - Journal of Symbolic Logic 82 (3):1150-1179.

Add more citations

References found in this work

Thorn-forking in continuous logic.Clifton Ealy & Isaac Goldbring - 2012 - Journal of Symbolic Logic 77 (1):63-93.
Pseudofinite and Pseudocompact Metric Structures.Isaac Goldbring & Vinicius Cifú Lopes - 2015 - Notre Dame Journal of Formal Logic 56 (3):493-510.
Definable Operators on Hilbert Spaces.Isaac Goldbring - 2012 - Notre Dame Journal of Formal Logic 53 (2):193-201.

Add more references