Fields with pseudo-exponentiation
Boris Zilber · 2000
Abstract onlyNot checked
Theoretical Computer Science
Filters1 filter applied
569 papersQuestions on this topic
On properties of theories which preclude the existence of universal models
Mirna Džamonja, Saharon Shelah · Ann. Pure Appl. Logic 139 No. 1-3 (2006) 280--302 · 2000
Abstract onlyNot checked
On perfectly meager sets
Tomek Bartoszynski · 2000
Abstract onlyNot checked
A combinatorial characterization of second category subsets of X^ω
Apoloniusz Tyszka · Journal of Natural Geometry 18 (2000), pp.125-130 · 2000
Abstract onlyNot checked
The non-commutative Specker phenomenon in the uncountable case
Katsuya Eda, Saharon Shelah · J. Algebra 252 No. 1 (2002) 22--26 · 2000
Abstract onlyNot checked
On ultraproducts of Boolean Algebras and irr
Saharon Shelah · Arch. Math. Logic 42 No. 6 (2003) 569--581 · 2000
Abstract onlyNot checked
The strict order property and generic automorphisms
Hirotaka Kikyo, Saharon Shelah · J. Symbolic Logic 67 No. 1 (2002) 214--216 · 2000
Abstract onlyNot checked
Weak reflection at the successor of singular
Mirna Džamonja, Saharon Shelah · J. London Math. Soc. (2) 67 No. 1 (2003) 1--15 · 2000
Abstract onlyNot checked
A simple maximality principle
Joel David Hamkins · 2000
Abstract onlyNot checked
No bound for the first fixed point
Moti Gitik · 2000
Abstract onlyNot checked
Absolutely rigid systems and absolutely indecomposable groups
Paul C. Eklof, Saharon Shelah · in: {Abelian groups and modules (Dublin, 1998)} (1999) 257--268 · 2000
Abstract onlyNot checked
More Jonsson algebras
Saharon Shelah · Arch. Math. Logic 42 No. 1 (2003) 1--44 · 2000
Abstract onlyNot checked
The relative consistency of g<cf(Sym(omega))
Heike Mildenberger, Saharon Shelah · J. Symbolic Logic 67 No. 1 (2002) 297--314 · 2000
Abstract onlyNot checked
A Power Function with A Fixed Finite Gap Everywhere
Carmi Merimovich · 2000
Abstract onlyNot checked
Proper forcing and $L({\mathbb R})$
Itay Neeman, Jindrich Zapletal · 2000
Abstract onlyNot checked
Extender Based Radin Forcing
Carmi Merimovich · 2000
Abstract onlyNot checked
Constructing Boolean algebras for cardinal invariants
Saharon Shelah · Algebra Universalis 45 No. 4 (2001) 353--373 · 2000
Abstract onlyNot checked
Consistently there is no non trivial ccc forcing notion with the Sacks or Laver property
Saharon Shelah · Combinatorica 21 No. 2 (2001) 309--319 · 2000
Abstract onlyNot checked
Spectra of the Gamma-invariant of uniform modules
Saharon Shelah, Jan Trlifaj · J. Pure Appl. Algebra 162 No. 2-3 (2001) 367--379 · 2000
Abstract onlyNot checked
Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic
Matthias Baaz, Richard Zach · Clote, Peter G., and Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Fischbachau, Germany, August 21-26, 2000. Proceedings, pp. 187-201. Springer, Berlin, 2000 · 2000
Abstract onlyNot checked