论文信息 - Fondements de la logique positive

Fondements de la logique positive

We revisit the foundations of positive model theory, introducing h-inductive sentences . These allow a considerably simplified presentation of positive model theory, as well as a characterisation of Hausdorffcats by an amalgamation property of their h -inductive theory.

Bruno Poizat | Itay Ben-Yaacov | B. Poizat | Itay Ben-Yaacov

[1] B. Jónsson. Universal relational systems , 1956 .

[2] H. Jerome Keisler,et al. Theory of Models with Generalized Atomic Formulas , 1960, J. Symb. Log..

[3] Anand Pillay,et al. Forking in the category of existentially closed structures , 2000 .

[4] Itay Ben-Yaacov,et al. Positive Model Theory and Compact Abstract Theories , 2003, J. Math. Log..

[5] Jerzy Łoś,et al. On the extending of models (IV) , 1955 .

[6] A. Tarski,et al. Arithmetical extensions of relational systems , 1958 .

[7] Bjarni Jónsson,et al. Homogeneous Universal Relational Systems. , 1960 .

[8] R. Vaught,et al. Homogeneous Universal Models , 1962 .

[9] Itay Ben-Yaacov,et al. Simplicity in Compact Abstract Theories , 2003, J. Math. Log..

[10] Itay Ben-Yaacov. Thickness, and a categoric view of type-space functors , 2003 .

[11] Wilfrid Hodges,et al. Model Theory: The existential case , 1993 .

[12] Itay Ben-Yaacov. Uncountable dense categoricity in cats , 2005, J. Symb. Log..

[13] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[14] Klaus Kaiser. ÜBER EINE VERALLGEMEINERUNG DER ROBINSONSCHEN MODELLVERVOLLSTÄNDIGUNG I , 1969 .

[15] M. Makkai,et al. First order categorical logic , 1977 .

[16] D. Monk,et al. Representation theory for polyadic algebras , 1963 .