×
Poizat, Bruno

Some perverse effects of positivity. (Quelques effets pervers de la positivité.) (French) Zbl 1226.03047

Ann. Pure Appl. Logic 161, No. 6, 812-816 (2010).
Summary: La logique positive a été introduite au début de ce troisième millénaire par Itaï Ben Yaacov (voir [I. Ben Yaacov et B. Poizat, J. Symb. Log. 72, No. 4, 1141–1162 (2007; Zbl 1139.03022)]), qui y a été conduit par une nécessité interne à la théorie des modèles. Dans ce contexte de validité du théorème de compacité, l’absence de négation provoque des situations inhabituelles, comme celle des structures infinies qui ont une extension élémentaire maximale, que nous étudions ici.

Cited in 4 Documents

MSC:

03C95 Abstract model theory
03C07 Basic properties of first-order languages and structures
03C52 Properties of classes of models

Keywords:

positive logic; elementary extension; inductive theory; compactness theorem; infinite structure

Citations:

Zbl 1139.03022
Cite Review PDF
Full Text: DOI

References:

[1] Ben Yaacov, Itaï; Poizat, Bruno, Fondements de la Logique Positive, The Journal of Symbolic Logic, 72, 1141-1162 (2007) · Zbl 1139.03022
[2] Pillay, Anand; Poizat, Bruno, Corps et chirurgie, The Journal of Symbolic Logic, 60, 528-533 (1995) · Zbl 0827.03022
[3] Poizat, Bruno, Théories instables, The Journal of Symbolic Logic, 46, 513-522 (1981) · Zbl 0473.03027
[4] Bruno Poizat, 2006, A la recherche de la structure intrinsèque de l’univers, Teoriia modelei v Kazaxstane, Sbornik naucnyx rabot posviaçennyx pamiati A.D. Taimanova, Eco Study, Almaty, 339-388; Bruno Poizat, 2006, A la recherche de la structure intrinsèque de l’univers, Teoriia modelei v Kazaxstane, Sbornik naucnyx rabot posviaçennyx pamiati A.D. Taimanova, Eco Study, Almaty, 339-388
[5] Poizat, Bruno, Univers positifs, The Journal of Symbolic Logic, 71, 969-976 (2006) · Zbl 1110.03022
[6] Reineke, Joachim, Minimale Grüppen, Zeitschrift für Mathematisches Logik, 21, 357-359 (1975) · Zbl 0312.02045
[7] Wagner, Frank Olaf, Minimal Fields, The Journal of Symbolic Logic, 65, 1833-1835 (2000) · Zbl 1039.03030
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.