Ruggero Ferro

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 L_k,k²⁺ 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

Research outcomes over time

This page was built for person: Ruggero Ferro