Itay Ben-Yaacov

16 papers Journal 16
YearRankTypeTitle / Venue / Authors
2010 J jnl
A proof of completeness for continuous first-order logic.
J. Symb. Log.
Arthur Paul Pedersen, Itay Ben-Yaacov
2009 J jnl
Model theoretic forcing in analysis.
Ann. Pure Appl. Log.
Itay Ben-Yaacov, José Iovino
2006 J jnl
On supersimplicity and lovely pairs of cats.
J. Symb. Log.
Itay Ben-Yaacov
2005 J jnl
Compactness and independence in non first order frameworks.
Bull. Symb. Log.
Itay Ben-Yaacov
2005 J jnl
Uncountable dense categoricity in cats.
J. Symb. Log.
Itay Ben-Yaacov
2004 J jnl
Constructing an Almost hyperdefinable Group.
J. Math. Log.
Itay Ben-Yaacov, Ivan Tomasic, Frank O. Wagner
2004 J jnl
Imaginaries in Hilbert spaces.
Arch. Math. Log.
Itay Ben-Yaacov, Alexander Berenstein
2004 J jnl
Lovely pairs of models: the non first order case.
J. Symb. Log.
Itay Ben-Yaacov
2004 J jnl
On almost orthogonality in simple theories.
J. Symb. Log.
Itay Ben-Yaacov, Frank O. Wagner
2003 J jnl
Discouraging results for ultraimaginary independence theory.
J. Symb. Log.
Itay Ben-Yaacov
2003 J jnl
Lovely pairs of models.
Ann. Pure Appl. Log.
Itay Ben-Yaacov, Anand Pillay, Evgueni Vassiliev
2003 J jnl
On the fine structure of the polygroup blow-up.
Arch. Math. Log.
Itay Ben-Yaacov
2003 J jnl
Positive Model Theory and Compact Abstract Theories.
J. Math. Log.
Itay Ben-Yaacov
2003 J jnl
Simplicity in Compact Abstract Theories.
J. Math. Log.
Itay Ben-Yaacov
2002 J jnl
Group Configurations and Germs in Simple Theories.
J. Symb. Log.
Itay Ben-Yaacov
2002 J jnl
The group configuration in simple theories and its applications.
Bull. Symb. Log.
Itay Ben-Yaacov, Ivan Tomasic, Frank O. Wagner