Model theoretic forcing in analysis

&
Annals of Pure and Applied Logic 158 (3):163-174 (2009)
  Copy   BIBTEX

Abstract

We present a framework for model theoretic forcing in a non first order context, and present some applications of this framework to Banach space theory

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2007.10.011

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,601

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

Model theoretic forcing in analysis.Itaï Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Fraïssé sequences: category-theoretic approach to universal homogeneous structures.Wiesław Kubiś - 2014 - Annals of Pure and Applied Logic 165 (11):1755-1811.
Formalizing forcing arguments in subsystems of second-order arithmetic.Jeremy Avigad - 1996 - Annals of Pure and Applied Logic 82 (2):165-191.
Model-theoretic forcing in logic with a generalized quantifier.Kim B. Bruce - 1978 - Annals of Mathematical Logic 13 (3):225.
ℵ 0 ‐categorical Banach spaces contain ℓp or c 0.Karim Khanaki - 2021 - Mathematical Logic Quarterly 67 (4):469-488.
Erratum to: “Some model-theoretic results in the algebraic theory of quadratic forms” [Ann. Pure Appl. Logic 112 (2–3) (2001) 189–223]. [REVIEW]Vincent Astier - 2009 - Annals of Pure and Applied Logic 160 (1):127-128.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
The ⁎-variation of the Banach–Mazur game and forcing axioms.Yasuo Yoshinobu - 2017 - Annals of Pure and Applied Logic 168 (6):1335-1359.
Forcing in nonstandard analysis.Masanao Ozawa - 1994 - Annals of Pure and Applied Logic 68 (3):263-297.
Some applications of mixed support iterations.John Krueger - 2009 - Annals of Pure and Applied Logic 158 (1-2):40-57.

Analytics

Added to PP
2013-11-23

Downloads
43 (#556,740)

6 months
11 (#282,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Omitting types in logic of metric structures.Ilijas Farah & Menachem Magidor - 2018 - Journal of Mathematical Logic 18 (2):1850006.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
An invitation to model theory and c*-algebras.Martino Lupini - 2019 - Bulletin of Symbolic Logic 25 (1):34-100.
Polish G-spaces and continuous logic.A. Ivanov & B. Majcher-Iwanow - 2017 - Annals of Pure and Applied Logic 168 (4):749-775.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references