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
https://portal.mardi4nfdi.de/entity/Q2784604	2002-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q2711325	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
On the size of congruence lattices for models of theories with definability of congruences	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3037401	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sauro Tulipani