Linear model theory for Lipschitz structures
Archive for Mathematical Logic 53 (7-8):897-927 (2014)
Abstract
I study definability and types in the linear fragment of continuous logic. Linear variants of several definability theorems such as Beth, Svenonus and Herbrand are proved. At the end, a partial study of the theories of probability algebras, probability algebras with an aperiodic automorphism and AL-spaces is given.DOI
10.1007/s00153-014-0395-6
My notes
Similar books and articles
Model-theory of vector-spaces over unspecified fields.David Pierce - 2009 - Archive for Mathematical Logic 48 (5):421-436.
New Foundations for Physical Geometry: The Theory of Linear Structures.Tim Maudlin - 2014 - Oxford, England: Oxford University Press.
The forth part of the back and forth map in countable homogeneous structures.S. J. McLeish - 1997 - Journal of Symbolic Logic 62 (3):873-890.
A Łoś type theorem for linear metric formulas.Seyed-Mohammad Bagheri - 2010 - Mathematical Logic Quarterly 56 (1):78-84.
The Norton-type lipschitz-indeterministic systems and elastic phenomena: Indeterminism as an artefact of infinite idealizations.Alexandre Korolev - unknown
The logic of integration.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2009 - Archive for Mathematical Logic 48 (5):465-492.
Resplendent models and $${\Sigma_1^1}$$ -definability with an oracle.Andrey Bovykin - 2008 - Archive for Mathematical Logic 47 (6):607-623.
Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson - 2012 - Notre Dame Journal of Formal Logic 53 (1):113-132.
Review: G. L. Cherlin, The Model-Companion of a Class of Structures; L. Lipshitz, D. Saracino, The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements; Angus Macintyre, Model-Completeness for Sheaves of Structures. [REVIEW]Stephen D. Comer - 1983 - Journal of Symbolic Logic 48 (2):496-496.
Model theory of the regularity and reflection schemes.Ali Enayat & Shahram Mohsenipour - 2008 - Archive for Mathematical Logic 47 (5):447-464.
The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
Using d-separation to calculate zero partial correlations in linear models with correlated errors.Peter Spirtes, Thomas Richardson, Christopher Meek, Richard Scheines & Clark Glymour - unknown
Preliminary Considerations on a Possible Quantum Model of Consciousness Interfaced with a non Lipschitz Chaotic Dynamics of Neural Activity.Elio Conte - 2012 - Journal of Consciousness Exploration and Research 3 (10):905-921.
Analytics
Added to PP
2014-08-26
Downloads
21 (#543,995)
6 months
1 (#455,463)
2014-08-26
Downloads
21 (#543,995)
6 months
1 (#455,463)
Historical graph of downloads
Citations of this work
Maximality of linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2018 - Mathematical Logic Quarterly 64 (3):185-191.
References found in this work
A Łoś type theorem for linear metric formulas.Seyed-Mohammad Bagheri - 2010 - Mathematical Logic Quarterly 56 (1):78-84.
Definable subgroups of measure algebras.Alexander Berenstein - 2006 - Mathematical Logic Quarterly 52 (4):367-374.
Preservation theorems in linear continuous logic.Seyed-Mohammad Bagheri & Roghieh Safari - 2014 - Mathematical Logic Quarterly 60 (3):168-176.