Seq-consistency property and interpolation theorems

Ruggero Ferro

Displaying similar documents to “Seq-consistency property and interpolation theorems”

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

Ruggero Ferro (1981)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Karp's interpolation theorem for some classes of infinitary languages

Stefano Baratella (1989)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Limits to some interpolation theorems

Ruggero Ferro (1975)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Strong Maehara and Takeuti type interpolation theorems for $L_{k, k}^{2 +}$

Ruggero Ferro (1991)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Strong Maehara and Takeuti type interpolation theorems for $L_{k, k}^{2 +}$

Ruggero Ferro (1991)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

$ω$ -satisfiability, $ω$ -consistency property, and the downward Lowenheim Skolem theorem for $L_{k, k}$

Ruggero Ferro (1982)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

$λ$ -satisfiability, $λ$ -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 $λ$

Ruggero Ferro (1988)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Analytic Tableaux and Interpolation

Miodrag Kapetanović (2007)

Publications de l'Institut Mathématique

Similarity:

Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

Paolo Maffezioli, Eugenio Orlandelli (2019)

Bulletin of the Section of Logic

Similarity:

In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants...

Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures

Solomon Feferman (1974)

Fundamenta Mathematicae

Similarity:

An interpolation theorem for denumerably long formulas

E. Lopez-Escobar (1965)

Fundamenta Mathematicae

Similarity: