The following pages link to Domenico Zambella (Q494637):
Displaying 18 items.
- Elementary classes of finite VC-dimension (Q494638) (← links)
- On the proofs of arithmetical completeness for interpretability logic (Q689212) (← links)
- Generic expansions of countable models (Q691128) (← links)
- Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\) (Q1333315) (← links)
- Algebraic methods and bounded formulas (Q1377552) (← links)
- End extensions of models of linearly bounded arithmetic (Q1377910) (← links)
- A note on recursive models of set theories (Q1409311) (← links)
- Computational randomness and lowness (Q2758053) (← links)
- Krull dimension of types in a class of first-order theories (Q3008277) (← links)
- A viewpoint on amalgamation classes (Q3083896) (← links)
- (Q3816978) (← links)
- Foundation versus induction in Kripke-Platek set theory (Q4254688) (← links)
- Forcing in Finite Structures (Q4351930) (← links)
- RAMSEY’S COHEIRS (Q5070475) (← links)
- The eal truth (Q5179272) (← links)
- On the diamenter of Lascar strong types (after Ludomir Newelski) (Q5224699) (← links)
- Notes on polynomially bounded arithmetic (Q5687325) (← links)
- Continuous logic in a classical setting (Q6520044) (← links)
