A Łoś type theorem for linear metric formulas

Mathematical Logic Quarterly 56 (1):78-84 (2010)
  Copy   BIBTEX

Abstract

We define an ultraproduct of metric structures based on a maximal probability charge and prove a variant of Łoś theorem for linear metric formulas. We also consider iterated ultraproducts

Categories

Keywords

Reprint years

DOI

10.1002/malq.200810037

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Dynamic topological logic of metric spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi Della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
An Undecidable Linear Order That Is $n$-Decidable for All $n$.John Chisholm & Michael Moses - 1998 - Notre Dame Journal of Formal Logic 39 (4):519-526.
Lambda calculus and intuitionistic linear logic.Simona Ronchi della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Computable and continuous partial homomorphisms on metric partial algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
Definability of groups in ℵ₀-stable metric structures.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):817-840.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
Automated theorem proving for łukasiewicz logics.Gordon Beavers - 1993 - Studia Logica 52 (2):183 - 195.
Finite powers of strong measure zero sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
A Logic for Metric and Topology.Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):795 - 828.
Borel complexity and computability of the Hahn–Banach Theorem.Vasco Brattka - 2008 - Archive for Mathematical Logic 46 (7-8):547-564.

Analytics

Added to PP
2013-12-01

Downloads
41 (#369,691)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Linear model theory for Lipschitz structures.Seyed-Mohammad Bagheri - 2014 - Archive for Mathematical Logic 53 (7-8):897-927.
Preservation theorems in linear continuous logic.Seyed-Mohammad Bagheri & Roghieh Safari - 2014 - Mathematical Logic Quarterly 60 (3):168-176.

Add more citations

References found in this work

No references found.

Add more references