An analysis of Karp’s interpolation theorem and the notion of k -consistency property

Ruggero Ferro

Rendiconti del Seminario Matematico della Università di Padova (1981)

  • Volume: 65, page 111-118
  • ISSN: 0041-8994

How to cite

top

Ferro, Ruggero. "An analysis of Karp’s interpolation theorem and the notion of $k$-consistency property." Rendiconti del Seminario Matematico della Università di Padova 65 (1981): 111-118. <http://eudml.org/doc/107807>.

@article{Ferro1981,
author = {Ferro, Ruggero},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
keywords = {omega-valid; consistency property; interpolation theorem},
language = {eng},
pages = {111-118},
publisher = {Seminario Matematico of the University of Padua},
title = {An analysis of Karp’s interpolation theorem and the notion of $k$-consistency property},
url = {http://eudml.org/doc/107807},
volume = {65},
year = {1981},
}

TY - JOUR
AU - Ferro, Ruggero
TI - An analysis of Karp’s interpolation theorem and the notion of $k$-consistency property
JO - Rendiconti del Seminario Matematico della Università di Padova
PY - 1981
PB - Seminario Matematico of the University of Padua
VL - 65
SP - 111
EP - 118
LA - eng
KW - omega-valid; consistency property; interpolation theorem
UR - http://eudml.org/doc/107807
ER -

References

top
  1. [1] E. Cunningham, Chain models: applications of consistency properties and back-and-forth techniques in infinite-quantifier languages, Infinitary Logic: in memoriam Carol Karp, Springer-Verlag, Berlin, 1975. MR476485
  2. [2] R. Ferro, Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality, Rend. Sem. Mat. Univ. Padova, 55 (1976), pp. 12-141. Zbl0365.02006MR460065
  3. [3] R. Ferro, Interpolation theorem for L2+k,k, JSL, 53 (1978), pp. 535-549. Zbl0397.03019MR503791
  4. [4] C.R. Karp, Infinite quantifier, languages and ω-chains of models, Proceedings of the Tarski Symposium, American Mathematical Society, Providence, 1974. Zbl0308.02016
  5. [5] J.I. Malitz, In f initary analogs of theorems from first order model theory, JSL, 36 (1971), pp. 216-228. Zbl0232.02037MR290943

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.