Edit Profile (opens in new tab) Ferro, Ruggero Co-Author Distance Author ID: ferro.ruggero Published as: Ferro, Ruggero; Ferro, R. Documents Indexed: 19 Publications since 1972, including 1 Book 2 Contributions as Editor · 1 Further Contribution Co-Authors: 5 Co-Authors with 5 Joint Publications 39 Co-Co-Authors all top 5 Co-Authors 14 single-authored 2 Baratella, Stefano 2 Zanardo, Alberto 1 Baratchart, Laurent 1 Bebbouchi, Rachid 1 Benoit, K. 1 Bobo-Seke 1 Bonotto, Cinzia 1 Callot, Jean-Louis 1 Cuneo, Alejandro Javier 1 Descloux, Jean 1 Diener, Marc 1 Franco de Oliveira, Augusto J. 1 Grimm, José 1 Harthong, Jacques 1 Lobry, Claude 1 Sari, Nadir 1 Sari, Tewfik 1 Valentini, Silvio 1 Van den Berg, Imme Pieter 1 Wallet, Guy all top 5 Serials 9 Rendiconti del Seminario Matematico della Università di Padova 2 Mathematical Logic Quarterly (MLQ) 1 Annali dell’Università di Ferrara. Nuova Serie. Sezione VII 1 Computing 1 The Journal of Symbolic Logic 1 Studies in Logic and the Foundations of Mathematics 1 Matematiche Complementari all top 5 Fields 19 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Ordinary differential equations (34-XX) 1 History and biography (01-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 11 Publications have been cited 29 times in 14 Documents Cited by ▼ Year ▼ Finite element approximation of electrostatic potential in one dimensional multilayer structures with quantized electronic charge. Zbl 0718.65063 Caussignac, Ph.; Zimmermann, B.; Ferro, R. 9 1990 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. Zbl 0365.02006 Ferro, Ruggero 7 1977 Interpolation theorems for \(L^{2+}_{k,k}\). Zbl 0397.03019 Ferro, Ruggero 6 1978 Seq-consistency property and interpolation theorems. Zbl 0534.03014 Ferro, Ruggero 4 1983 Logic colloquium ’88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988. Zbl 0673.00007 3 1989 A theory of sets with negation of the axiom of infinity. Zbl 0807.03031 Baratella, Stefano; Ferro, Ruggero 2 1993 Non standard regular finite set theory. Zbl 0831.03028 Baratella, Stefano; Ferro, Ruggero 2 1995 \(\omega\)-satisfiability and interpolation theorems. Zbl 0666.03029 Ferro, Ruggero 2 1987 An analysis of Karp’s interpolation theorem and the notion of k- consistency property. Zbl 0485.03014 Ferro, Ruggero 2 1981 Analyse non standard et representation du réel. Actes de l’école d’été, Oran-Les Andalouses, 8–12 September 1984. (Nonstandard analysis and representation of the reals). Zbl 0678.26010 1 1985 \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\). Zbl 0531.03018 Ferro, Ruggero 1 1982 Non standard regular finite set theory. Zbl 0831.03028 Baratella, Stefano; Ferro, Ruggero 2 1995 A theory of sets with negation of the axiom of infinity. Zbl 0807.03031 Baratella, Stefano; Ferro, Ruggero 2 1993 Finite element approximation of electrostatic potential in one dimensional multilayer structures with quantized electronic charge. Zbl 0718.65063 Caussignac, Ph.; Zimmermann, B.; Ferro, R. 9 1990 Logic colloquium ’88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988. Zbl 0673.00007 3 1989 \(\omega\)-satisfiability and interpolation theorems. Zbl 0666.03029 Ferro, Ruggero 2 1987 Analyse non standard et representation du réel. Actes de l’école d’été, Oran-Les Andalouses, 8–12 September 1984. (Nonstandard analysis and representation of the reals). Zbl 0678.26010 1 1985 Seq-consistency property and interpolation theorems. Zbl 0534.03014 Ferro, Ruggero 4 1983 \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\). Zbl 0531.03018 Ferro, Ruggero 1 1982 An analysis of Karp’s interpolation theorem and the notion of k- consistency property. Zbl 0485.03014 Ferro, Ruggero 2 1981 Interpolation theorems for \(L^{2+}_{k,k}\). Zbl 0397.03019 Ferro, Ruggero 6 1978 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. Zbl 0365.02006 Ferro, Ruggero 7 1977 all cited Publications top 5 cited Publications all top 5 Cited by 10 Authors 6 Ferro, Ruggero 1 Andreev, P. V. 1 Baratella, Stefano 1 Bolotin, Arkady 1 Gordon, Evgeniĭ Izrail’evich 1 Hrbáček, Karel 1 Karádais, Basil A. 1 Mackie, Ian 1 Omodeo, Eugenio Giovanni 1 Tzouvaras, Athanassios all top 5 Cited in 6 Serials 7 Rendiconti del Seminario Matematico della Università di Padova 2 Annals of Pure and Applied Logic 1 Fundamenta Mathematicae 1 Theoretical Computer Science 1 Mathematical Structures in Computer Science 1 Foundations of Physics Cited in 5 Fields 13 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) 1 History and biography (01-XX) 1 Functional analysis (46-XX) 1 Quantum theory (81-XX) Citations by Year