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

Access Full Article

top

 Access to full text

 Full (PDF)

How to cite

top

• MLA
• BibTeX
• RIS

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

Citations in EuDML Documents

top

1. Stefano Baratella, Karp's interpolation theorem for some classes of infinitary languages
2. Ruggero Ferro, Strong Maehara and Takeuti type interpolation theorems for $L_{k,k}^{2+}$
3. Ruggero Ferro, $\lambda$-satisfiability, $\lambda$-consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for $L_{k,k}$ with $k$ a strong limit cardinal of cofinality $\lambda$
4. Ruggero Ferro, Strong Maehara and Takeuti type interpolation theorems for $L_{k,k}^{2+}$

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.

Language to use for this widget. български (bg) čeština (cs) Deutsch (de) ελληνικά (el) English (en) español (es) français (fr) italiano (it) lietuvių kalba (lt) polski (pl) português (pt) română (ro) русский (ru) slovenčina (sk)

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

Number of notes per page 5 10 15 20

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.

OK