Sauro Tulipani

Available identifiers

zbMath Open tulipani.sauroMaRDI QIDQ793010

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3523489	2008-09-03	Paper
Simplification rules for the coherent probability assessment problem	2002-06-27	Paper
Computational aspects of probability logics	2002-04-24	Paper
Complexity of fuzzy probability logics	2001-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4513449	2000-11-15	Paper
\(\Sigma_ 1^ 1\)-completeness of a fragment of the theory of trees with subtree relation	1995-09-28	Paper
Decidability of the existential theory of infinite terms with subterm relation	1994-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4271920	1993-12-12	Paper
Quantifier elimination for infinite terms	1992-06-25	Paper
On a conjecture of Bergstra and Tucker	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4728229	1987-01-01	Paper
Horn sentences excluding a prime	1986-01-01	Paper
Horn Sentences of Small Size in Identity Theory	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3691799	1985-01-01	Paper
An algorithm to determine, for any prime p, a polynomial-sized Horn sentence which expresses “The cardinality is not p”	1985-01-01	Paper
On the Universal Theory of Classes of Finite Models	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3037401	1983-01-01	Paper
On the size of congruence lattices for models of theories with definability of congruences	1983-01-01	Paper
A use of the method of interpretations for decidability or undecidability of measure spaces	1982-01-01	Paper
On classes of algebras with the definability of congruences	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3043115	1982-01-01	Paper
Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3895445	1980-01-01	Paper
The Hanf number for classes of algebras whose largest congruence is always finitely generated	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3889318	1979-01-01	Paper
Forcing infinito generalizzato in teoria dei modelli	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3895971	1978-01-01	Paper
Some model theory for monotone quantifiers	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4137161	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4078010	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4771404	1974-01-01	Paper
Proprieta metamatematiche di alcune classi di algebre	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4087249	1971-01-01	Paper

Research outcomes over time

This page was built for person: Sauro Tulipani