| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7036990 (Why is no real title available?) | 2019-03-15 | Paper |
Non Standard Regular Finite Set Theory
Mathematical Logic Quarterly | 1996-02-20 | Paper |
A theory of sets with the negation of the axiom of infinity
Mathematical Logic Quarterly | 1995-03-05 | Paper |
Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
Rendiconti del Seminario Matematico della Università di Padova | 1992-09-27 | Paper |
Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
Rendiconti del Seminario Matematico della Università di Padova | 1992-09-27 | Paper |
Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
Rendiconti del Seminario Matematico della Università di Padova | 1992-06-26 | Paper |
Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
Rendiconti del Seminario Matematico della Università di Padova | 1992-06-26 | Paper |
\(\lambda\)-satisfiability, \(\lambda\)-consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for \(L_{\kappa,\kappa}\) with \(\kappa\) a strong limit cardinal of cofinality \(\lambda\)
Rendiconti del Seminario Matematico della Università di Padova | 1988-01-01 | Paper |
\(\lambda\)-satisfiability, \(\lambda\)-consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for \(L_{\kappa,\kappa}\) with \(\kappa\) a strong limit cardinal of cofinality \(\lambda\)
Rendiconti del Seminario Matematico della Università di Padova | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4089539 (Why is no real title available?) | 1987-01-01 | Paper |
A note on the notion much bigger
Rendiconti del Seminario Matematico della Università di Padova | 1984-01-01 | Paper |
A note on the notion much bigger
Rendiconti del Seminario Matematico della Università di Padova | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 4077156 (Why is no real title available?) | 1984-01-01 | Paper |
Seq-consistency property and interpolation theorems
Rendiconti del Seminario Matematico della Università di Padova | 1983-01-01 | Paper |
Seq-consistency property and interpolation theorems
Rendiconti del Seminario Matematico della Università di Padova | 1983-01-01 | Paper |
\(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\)
Rendiconti del Seminario Matematico della Università di Padova | 1982-01-01 | Paper |
\(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\)
Rendiconti del Seminario Matematico della Università di Padova | 1982-01-01 | Paper |
An analysis of Karp's interpolation theorem and the notion of k- consistency property
Rendiconti del Seminario Matematico della Università di Padova | 1981-01-01 | Paper |
An analysis of Karp's interpolation theorem and the notion of k- consistency property
Rendiconti del Seminario Matematico della Università di Padova | 1981-01-01 | Paper |
Interpolation theorems for Lk,k2+
Journal of Symbolic Logic | 1978-01-01 | Paper |
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
Rendiconti del Seminario Matematico della Università di Padova | 1977-01-01 | Paper |
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
Rendiconti del Seminario Matematico della Università di Padova | 1977-01-01 | Paper |
Limits to some interpolation theorems
Rendiconti del Seminario Matematico della Università di Padova | 1976-01-01 | Paper |
Limits to some interpolation theorems
Rendiconti del Seminario Matematico della Università di Padova | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3437202 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3520373 (Why is no real title available?) | 1972-01-01 | Paper |
