Logique du premier ordre avec quantificateur cardinalisé
Séminaire Bourbaki : années 1966/67 1967/68, exposés 313-346, Séminaire Bourbaki, no. 10 (1968), Talk no. 328, 24 p.
@incollection{SB_1966-1968__10__237_0,
     author = {Lacombe, Daniel},
     title = {Logique du premier ordre avec quantificateur cardinalis\'e},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1966/67 1967/68, expos\'es 313-346},
     series = {S\'eminaire Bourbaki},
     note = {talk:328},
     pages = {237--260},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {10},
     year = {1968},
     mrnumber = {1610413},
     zbl = {0195.29902},
     language = {fr},
     url = {http://archive.numdam.org/item/SB_1966-1968__10__237_0/}
}
TY  - CHAP
AU  - Lacombe, Daniel
TI  - Logique du premier ordre avec quantificateur cardinalisé
BT  - Séminaire Bourbaki : années 1966/67 1967/68, exposés 313-346
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:328
PY  - 1968
SP  - 237
EP  - 260
IS  - 10
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/SB_1966-1968__10__237_0/
LA  - fr
ID  - SB_1966-1968__10__237_0
ER  - 
%0 Book Section
%A Lacombe, Daniel
%T Logique du premier ordre avec quantificateur cardinalisé
%B Séminaire Bourbaki : années 1966/67 1967/68, exposés 313-346
%A Collectif
%S Séminaire Bourbaki
%Z talk:328
%D 1968
%P 237-260
%N 10
%I Société mathématique de France
%U http://archive.numdam.org/item/SB_1966-1968__10__237_0/
%G fr
%F SB_1966-1968__10__237_0
Lacombe, Daniel. Logique du premier ordre avec quantificateur cardinalisé, in Séminaire Bourbaki : années 1966/67 1967/68, exposés 313-346, Séminaire Bourbaki, no. 10 (1968), Talk no. 328, 24 p. http://archive.numdam.org/item/SB_1966-1968__10__237_0/

[1] G. Fuhrken - Languages with added quantifier "there exist at least Hα", The Theory of models (Proc. Int. Symposium Berkeley 1963), North-Holland Pub. C., 1965, p. 121-131. | Zbl

[2] H.J. Keisler - First order properties of pairs of cardinals, Bull. Amer. Math. Soc., 72 n° 1 (janvo 1966), p. 141-144. | MR | Zbl

[3] H.J. Keisler - Weakly well-ordered models, Notices Amer. Math. Soc., Avril 1967, 67T - 286, p. 414.

[4] R. Mac Dowell and E. Specker - Modelle der Arithmetik, Infinitistic methods (Proc. Symposium Warsaw 1959), Pergamon Press, 1961, p. 257-263. | MR | Zbl

[5] R.L. Vaught - A Löwenheim-Skolem theorem for cardinals far apart, The theory of models (Proc. Symposium Berkeley 1963), North-Holland Pub. C., 1965, p. 390-401 . | MR | Zbl

[6] A. Mostowski - On a generalization of quantifiers, Fund. Math., 44 (1957), p. 12-36 . | MR | Zbl

[7] L. Henkin - Some remarks on infinitely long formulas, Infinitistic methods (Proc. Symposium Warsaw 1959), Pergamon Press, 1961, p. 167-183. | MR | Zbl