Zambella, Domenico
VIAF ID: 1920398 ( Personal )
Permalink: http://viaf.org/viaf/1920398
Preferred Forms
- 200 _ | ‡a Zambella ‡b Domenico
- 100 1 _ ‡a Zambella, Domenico (sparse)
-
-
- 100 1 _ ‡a Zambella, Domenico
- 100 1 _ ‡a Zambella, Domenico
- 100 1 _ ‡a Zambella, Domenico
Works
Title | Sources |
---|---|
Algebraic and definable closure in free groups | |
Algebraic methods and bounded formulas | |
Clôture algébrique et définissable dans les groupes libres. | |
Forcing in finite structures | |
Logic Colloquium 2004, 2007: | |
On forcing in bounded arithmetic | |
On sequences with simple initial segments | |
On the proofs of arithmetical completeness for interpretability logic | |
Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing IDElta0+EXP |