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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,089
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Continuous Model Theory.Chen Chung Chang - 1966 - Princeton: Princeton University Press.
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.
Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.

Add more references

Citations of this work BETA

Maximality of Linear Continuous Logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2018 - Mathematical Logic Quarterly 64 (3):185-191.

Add more citations

Similar books and articles

Model-Theory of Vector-Spaces Over Unspecified Fields.David Pierce - 2009 - Archive for Mathematical Logic 48 (5):421-436.
A Łoś Type Theorem for Linear Metric Formulas.Seyed-Mohammad Bagheri - 2010 - Mathematical Logic Quarterly 56 (1):78-84.
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.
Model Theory of the Regularity and Reflection Schemes.Ali Enayat & Shahram Mohsenipour - 2008 - Archive for Mathematical Logic 47 (5):447-464.
Ranked Partial Structures.Timothy J. Carlson - 2003 - Journal of Symbolic Logic 68 (4):1109-1144.

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 )

How can I increase my downloads?

Downloads

My notes