POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES-Reference-Cited by-同舟云学术

POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES

Published:2003-05 Issue:01 Volume:03 Page:85-118
ISSN:0219-0613
Container-title:Journal of Mathematical Logic
language:en
Short-container-title:J. Math. Log.

Author:

BEN-YAACOV ITAY¹

Affiliation:

1. Équipe de Logique Mathématique, UFR de Mathématiques (case 7012), Université Paris 7, 2 place Jussieu, 75251 Paris Cedex 05, France

Abstract

We develop positive model theory, which is a non first order analogue of classical model theory where compactness is kept at the expense of negation. The analogue of a first order theory in this framework is a compact abstract theory: several equivalent yet conceptually different presentations of this notion are given. We prove in particular that Banach and Hilbert spaces are compact abstract theories, and in fact very well-behaved as such.

Publisher

World Scientific Pub Co Pte Lt

Subject

Logic

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0219061303000212

Reference2 articles.

1. Categoricity for abstract classes with amalgamation

Cited by 44 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DIVIDING LINES BETWEEN POSITIVE THEORIES;The Journal of Symbolic Logic;2023-12-06

2. ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS;The Journal of Symbolic Logic;2023-07-05

3. Bilinear spaces over a fixed field are simple unstable;Annals of Pure and Applied Logic;2023-06

4. NSOP-LIKE INDEPENDENCE IN AECATS;The Journal of Symbolic Logic;2022-12-12

5. Kim-independence in positive logic;Model Theory;2022-06-24