Zambella, Domenico
| rdfs:label | "Zambella, Domenico" |
| schema:name | "Domenico Zambella" |
|
schema:family |
"Zambella" |
|
schema:given |
"Domenico" |
|
schema:same |
<http:/ |
|
<https:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Zambella, Domenico
Algebraic methods and bounded formulas / Domenico Zambellaschema:ProductModel
Chapters on bounded arithmetic & on provability logic / Domenico Zambellaschema:ProductModel
End extensions of models of linearly bounded arithmetic / Domenico Zambellaschema:ProductModel
Forcing in finite structures / Domenico Zambellaschema:ProductModel
Notes on polynomially bounded arithmetic / Domenico Zambellaschema:ProductModel
On forcing in bounded arithmetic / Domenico Zambellaschema:ProductModel
On sequences with simple initial segments / Domenico Zambellaschema:ProductModel
On the proofs of arithmetical completeness for interpretability logic / Domenico Zambellaschema:ProductModel
Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing IDElta0+EXP / Domenico Zambellaschema:ProductModel