Logique du premier ordre avec quantificateur cardinalisé

Daniel Lacombe

Séminaire Bourbaki (1966-1968)

  • Volume: 10, page 237-260
  • ISSN: 0303-1179

How to cite

top

Lacombe, Daniel. "Logique du premier ordre avec quantificateur cardinalisé." Séminaire Bourbaki 10 (1966-1968): 237-260. <http://eudml.org/doc/109729>.

@article{Lacombe1966-1968,
author = {Lacombe, Daniel},
journal = {Séminaire Bourbaki},
keywords = {general logic},
language = {fre},
pages = {237-260},
publisher = {Société Mathématique de France},
title = {Logique du premier ordre avec quantificateur cardinalisé},
url = {http://eudml.org/doc/109729},
volume = {10},
year = {1966-1968},
}

TY - JOUR
AU - Lacombe, Daniel
TI - Logique du premier ordre avec quantificateur cardinalisé
JO - Séminaire Bourbaki
PY - 1966-1968
PB - Société Mathématique de France
VL - 10
SP - 237
EP - 260
LA - fre
KW - general logic
UR - http://eudml.org/doc/109729
ER -

References

top
  1. [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. Zbl0166.26002
  2. [2] H.J. Keisler - First order properties of pairs of cardinals, Bull. Amer. Math. Soc., 72 n° 1 (janvo 1966), p. 141-144. Zbl0143.26001MR183637
  3. [3] H.J. Keisler - Weakly well-ordered models, Notices Amer. Math. Soc., Avril 1967, 67T - 286, p. 414. 
  4. [4] R. Mac Dowell and E. Specker - Modelle der Arithmetik, Infinitistic methods (Proc. Symposium Warsaw 1959), Pergamon Press, 1961, p. 257-263. Zbl0126.01103MR152447
  5. [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 . Zbl0163.24801MR210573
  6. [6] A. Mostowski - On a generalization of quantifiers, Fund. Math., 44 (1957), p. 12-36 . Zbl0078.24401MR89816
  7. [7] L. Henkin - Some remarks on infinitely long formulas, Infinitistic methods (Proc. Symposium Warsaw 1959), Pergamon Press, 1961, p. 167-183. Zbl0121.25308MR143691

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.