Seq-consistency property and interpolation theorems

Ruggero Ferro

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

  • Volume: 70, page 133-145
  • ISSN: 0041-8994

How to cite

top

Ferro, Ruggero. "Seq-consistency property and interpolation theorems." Rendiconti del Seminario Matematico della Università di Padova 70 (1983): 133-145. <http://eudml.org/doc/107913>.

@article{Ferro1983,
author = {Ferro, Ruggero},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
keywords = {interpolation; infinitary logic; consistency; omega-satisfiability},
language = {eng},
pages = {133-145},
publisher = {Seminario Matematico of the University of Padua},
title = {Seq-consistency property and interpolation theorems},
url = {http://eudml.org/doc/107913},
volume = {70},
year = {1983},
}

TY - JOUR
AU - Ferro, Ruggero
TI - Seq-consistency property and interpolation theorems
JO - Rendiconti del Seminario Matematico della Università di Padova
PY - 1983
PB - Seminario Matematico of the University of Padua
VL - 70
SP - 133
EP - 145
LA - eng
KW - interpolation; infinitary logic; consistency; omega-satisfiability
UR - http://eudml.org/doc/107913
ER -

References

top
  1. [1] A. Baldo, Le tecniche delle proprietà di consistenza nelle logiche L2-k,k rispetto alla nozione di ω-soddisfacibilità e un teorema forte di interpolazione per L2+k, k, Dissertation University of Padova Italy (1981). 
  2. [2] E. Cunningham, Chain models: applications of consistency properties and back-and-forth techniques in infinite-quantifier languages, Infinitary Logic: in memorial Carol Karp, Springer-Verlag, Berlin, 1975. MR476485
  3. [3] 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, Vol. 55 (1976), pp. 121-141. Zbl0365.02006MR460065
  4. [4] R. Ferro, Interpolation theorems for L2+k, k, JSL, Vol. 53 (1978), pp. 535-549. Zbl0397.03019MR503791
  5. [5] R. Ferro, An analysis of Karp's interpolation theorem and the notion of consistency property, Rend. Sem. Mat. Univ. Padova, Vol. 65 (1981), pp. 111-118. Zbl0485.03014MR653287
  6. [6] R. Ferro, ω-satisfiability, ω-consistency property, and the downward Lowenheim Skolem theorem for Lk, k, Rend. Sem. Mat. Univ. Padova, Vol. 66 (1981), pp. 7-19. Zbl0531.03018
  7. [7] C.R. Karp, Infinite quantifier languages and ω-chains of models, Porceedings of the Tarski Symposium, American Mathematical Society, Providence, 1974. Zbl0308.02016
  8. [8] S. Maehara - G. Takeuti, Two interpolation theorems for a positive second order predicate calculus, JSL, Vol. 36 (1971), pp. 262-270. Zbl0278.02013MR307876

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.