The following pages link to Sauro Tulipani (Q793010):
Displayed 34 items.
- On the size of congruence lattices for models of theories with definability of congruences (Q793011) (← links)
- A use of the method of interpretations for decidability or undecidability of measure spaces (Q1053671) (← links)
- (Q1080847) (redirect page) (← links)
- Horn sentences excluding a prime (Q1080848) (← links)
- On a conjecture of Bergstra and Tucker (Q1124321) (← links)
- On classes of algebras with the definability of congruences (Q1171587) (← links)
- Forcing infinito generalizzato in teoria dei modelli (Q1246529) (← links)
- The Hanf number for classes of algebras whose largest congruence is always finitely generated (Q1259582) (← links)
- Decidability of the existential theory of infinite terms with subterm relation (Q1314267) (← links)
- Simplification rules for the coherent probability assessment problem (Q1601897) (← links)
- Quantifier elimination for infinite terms (Q1812980) (← links)
- \(\Sigma_ 1^ 1\)-completeness of a fragment of the theory of trees with subtree relation (Q1893143) (← links)
- Proprieta metamatematiche di alcune classi di algebre (Q2557274) (← links)
- (Q2711325) (← links)
- (Q2784604) (← links)
- (Q3037401) (← links)
- (Q3043115) (← links)
- (Q3523489) (← links)
- On the Universal Theory of Classes of Finite Models (Q3671138) (← links)
- (Q3691799) (← links)
- Horn Sentences of Small Size in Identity Theory (Q3760503) (← links)
- (Q3889318) (← links)
- (Q3895445) (← links)
- (Q3895971) (← links)
- Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field (Q3927215) (← links)
- (Q4078010) (← links)
- (Q4087249) (← links)
- (Q4137161) (← links)
- Some model theory for monotone quantifiers (Q4141237) (← links)
- (Q4271920) (← links)
- (Q4513449) (← links)
- An algorithm to determine, for any prime <i>p</i>, a polynomial-sized Horn sentence which expresses “The cardinality is not <i>p</i>” (Q4723703) (← links)
- (Q4728229) (← links)
- (Q4771404) (← links)