Available identifiers
zbMath Open ferro.ruggero Wikidata Q61475816 Scholia Q61475816 MaRDI QID Q582285
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 https://portal.mardi4nfdi.de/entity/Q3121330 2019-03-15 Paper Non Standard Regular Finite Set Theory 1996-02-20 Paper A theory of sets with the negation of the axiom of infinity 1995-03-05 Paper Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) 1992-09-27 Paper Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\) 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\) 1988-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3818311 1987-01-01 Paper A note on the notion much bigger 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3808052 1984-01-01 Paper Seq-consistency property and interpolation theorems 1983-01-01 Paper \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\) 1982-01-01 Paper An analysis of Karp's interpolation theorem and the notion of k- consistency property 1981-01-01 Paper Interpolation theorems for L k,k 2+ 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 1977-01-01 Paper Limits to some interpolation theorems 1976-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4405205 1973-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4100054 1972-01-01 Paper
Research outcomes over time
This page was built for person: Ruggero Ferro
