The following pages link to Carlo Toffalori (Q190304):
Displaying 50 items.
- Characterization of NIP theories by ordered graph-indiscernibles (Q450958) (← links)
- Some model theory of modules over Bézout domains. The width (Q479280) (← links)
- On the decidability of the theory of modules over the ring of algebraic integers (Q529159) (← links)
- The torsion-free part of the Ziegler spectrum of the Klein four group (Q533997) (← links)
- Definable one dimensional structures in o-minimal theories (Q607861) (← links)
- Definable structures in o-minimal theories: one dimensional types (Q607862) (← links)
- Higher homotopy of groups definable in o-minimal structures (Q616515) (← links)
- Invariance results for definable extensions of groups (Q627428) (← links)
- Types directed by constants (Q636336) (← links)
- Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\) (Q636389) (← links)
- Minimal first-order structures (Q639691) (← links)
- On differentially closed ordered fields (Q640880) (← links)
- Rank and dimension in difference-differential fields (Q654014) (← links)
- On the undecidability of some classes of abelian-by-finite groups (Q688804) (← links)
- Unidimensional modules: Uniqueness of maximal non-modular submodels (Q688806) (← links)
- 1-ary functions and the f.c.p (Q752696) (← links)
- Classification theory for abelian groups with an endomorphism (Q757352) (← links)
- Quantifier elimination in ordered abelian groups (Q763703) (← links)
- Stability for pairs of equivalence relations (Q804568) (← links)
- Categoricity, amalgamation, and tameness (Q839925) (← links)
- Small profinite groups and rings (Q858721) (← links)
- Decidability of the theory of modules over commutative valuation domains (Q866569) (← links)
- Classification theory for a 1-ary function (Q910399) (← links)
- The nonstandard quantum plane (Q958488) (← links)
- A representation of convex semilinear sets (Q987186) (← links)
- Relative Vaught's conjecture for some meager groups (Q998142) (← links)
- Supersimplicity and quadratic extensions (Q1005928) (← links)
- The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure (Q1012323) (← links)
- Towards the decidability of the theory of modules over finite commutative rings (Q1023048) (← links)
- Mild manifolds and a non-standard Riemann existence theorem (Q1030518) (← links)
- Compact domination for groups definable in linear o-minimal structures (Q1031827) (← links)
- Regular separably closed rings (Q1079608) (← links)
- \(\omega\)-stable structures of small CB-rank (Q1097874) (← links)
- Dalle teorie \(p\)-\(\aleph _ 0\)-categoriche a quelle \(\aleph _ 0\)- categoriche: un passo intermedio. (From \(p\)-\(\aleph _ 0\)-categorical to \(\aleph _ 0\)-categorical theories: an intermediate stage) (Q1099166) (← links)
- Cantor-Bendixson spectra of \(\omega\)-stable theories (Q1106837) (← links)
- The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable (Q1128174) (← links)
- The decision problem for \(\mathbf Z C(p^3)\)-lattices with \(p\) prime (Q1128176) (← links)
- Geometrical model theory (Q1129849) (← links)
- Strutture esistenzialmente complete per certe classi di anelli (Q1164042) (← links)
- Groups of dimension two and three over o-minimal structures (Q1182480) (← links)
- Classifying pairs of equivalence relations (Q1182704) (← links)
- The Boolean spectrum of an o-minimal theory (Q1262301) (← links)
- Normal elementary maps (Q1267139) (← links)
- Differential Galois theory. I (Q1280730) (← links)
- On the elementarity of some classes of abelian-by-infinite groups (Q1288963) (← links)
- (Q1304547) (redirect page) (← links)
- Strongly determined types (Q1304548) (← links)
- Groups definable in local fields and pseudo-finite fields (Q1320034) (← links)
- A further glance at classifiable 1-ary functions (Q1332500) (← links)
- Meager forking (Q1341317) (← links)