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.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s00153-014-0395-6 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
A Łoś Type Theorem for Linear Metric Formulas.Seyed-Mohammad Bagheri - 2010 - Mathematical Logic Quarterly 56 (1):78-84.
Preservation Theorems in Linear Continuous Logic.Seyed-Mohammad Bagheri & Roghieh Safari - 2014 - Mathematical Logic Quarterly 60 (3):168-176.
Definable Subgroups of Measure Algebras.Alexander Berenstein - 2006 - Mathematical Logic Quarterly 52 (4):367-374.
Citations of this work BETA
Maximality of Linear Continuous Logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2018 - Mathematical Logic Quarterly 64 (3):185-191.
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 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 index
2014-08-26
Total views
20 ( #527,994 of 2,440,215 )
Recent downloads (6 months)
1 ( #432,124 of 2,440,215 )
2014-08-26
Total views
20 ( #527,994 of 2,440,215 )
Recent downloads (6 months)
1 ( #432,124 of 2,440,215 )
How can I increase my downloads?
Downloads
