Omitting types in logic of metric structures

&
Journal of Mathematical Logic 18 (2):1850006 (2018)
  Copy   BIBTEX

Abstract

This paper is about omitting types in logic of metric structures introduced by Ben Yaacov, Berenstein, Henson and Usvyatsov. While a complete type is omissible in some model of a countable complete...

Categories

Keywords

Reprint years

DOI

10.1142/s021906131850006x

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

Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
Omitting types in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
A note on countable complete theories having three isomorphism types of countable models.Robert E. Woodrow - 1976 - Journal of Symbolic Logic 41 (3):672-680.
Models Omitting Given Complete Types.Akito Tsuboi - 2008 - Notre Dame Journal of Formal Logic 49 (4):393-399.
Types directed by constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.
On the strong Martin conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
On the Strong Martin Conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
An Omitting Types Theorem for Sheaves over Topological Spaces.Andreas Brunner & Francisco Miraglia - 2004 - Logic Journal of the IGPL 12 (6):525-548.
An omitting types theorem for saturated structures.A. D. Greif & M. C. Laskowski - 1993 - Annals of Pure and Applied Logic 62 (2):113-118.
Degree spectra of prime models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430-442.
Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.

Analytics

Added to PP
2018-06-19

Downloads
19 (#753,814)

6 months
10 (#219,185)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Two applications of topology to model theory.Christopher J. Eagle, Clovis Hamel & Franklin D. Tall - 2021 - Annals of Pure and Applied Logic 172 (5):102907.
An invitation to model theory and c*-algebras.Martino Lupini - 2019 - Bulletin of Symbolic Logic 25 (1):34-100.
Model-Theoretic Properties of Dynamics on the Cantor Set.Christopher J. Eagle & Alan Getz - 2022 - Notre Dame Journal of Formal Logic 63 (3):357-371.

Add more citations

References found in this work

Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.
Model theoretic forcing in analysis.Itaï Ben Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Omitting uncountable types and the strength of [0,1]-valued logics.Xavier Caicedo & José N. Iovino - 2014 - Annals of Pure and Applied Logic 165 (6):1169-1200.

View all 10 references / Add more references