Linear model theory for Lipschitz structures

Archive for Mathematical Logic 53 (7-8):897-927 (2014)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-014-0395-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Consistency and interpolation in linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2023 - Archive for Mathematical Logic 62 (7):931-939.
n‐linear weakly Heyting algebras.Sergio A. Celani - 2006 - Mathematical Logic Quarterly 52 (4):404-416.
Preservation theorems in linear continuous logic.Seyed-Mohammad Bagheri & Roghieh Safari - 2014 - Mathematical Logic Quarterly 60 (3):168-176.
Linear L-Algebras and Prime Factorization.Wolfgang Rump - 2023 - Studia Logica 111 (1):57-82.
Super Linear Algebra.W. B. Vasantha Kandasamy & Florentin Smarandache - 2008 - Ann Arbor, MI, USA: ProQuest Information & Learning.
Some Model Theory For Probability Structures.George Georgescu - 2001 - Reports on Mathematical Logic:103-113.
On Löb algebras.Majid Alizadeh & Mohammad Ardeshir - 2006 - Mathematical Logic Quarterly 52 (1):95-105.
On definability in multimodal logic: On definability in multimodal logic.Joseph Y. Halpern - 2009 - Review of Symbolic Logic 2 (3):451-468.
Two-variable logic has weak, but not strong, Beth definability.Hajnal Andréka & István Németi - 2021 - Journal of Symbolic Logic 86 (2):785-800.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.

Analytics

Added to PP
2014-08-26

Downloads
31 (#503,221)

6 months
8 (#506,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Extreme types and extremal models.Seyed-Mohammad Bagheri - 2024 - Annals of Pure and Applied Logic 175 (7):103451.
Maximality of linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2018 - Mathematical Logic Quarterly 64 (3):185-191.

Add more citations

References found in this work

Continuous model theory.Chen Chung Chang - 1966 - Princeton,: Princeton University Press. Edited by H. Jerome Keisler.
Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.
Preservation theorems in linear continuous logic.Seyed-Mohammad Bagheri & Roghieh Safari - 2014 - Mathematical Logic Quarterly 60 (3):168-176.
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.

Add more references