Hilbert spaces with generic groups of automorphisms
Alexander Berenstein · 2004
Abstract onlyNot checked
Theoretical Computer Science
Filters2 filters applied
415 papersQuestions on this topic
On model completion of T_{aut}
Saharon Shelah · 2004
Abstract onlyNot checked
The depth of ultraproducts of Boolean Algebras
Saharon Shelah · Algebra Universalis 54 No. 1 (2005) 91--96 · 2004
Abstract onlyNot checked
Spectra of Monadic Second-Order Formulas with One Unary Function
Yuri Gurevich, Saharon Shelah · 2004
Abstract onlyNot checked
Dynamical properties of logical substitutions
Giovanni Panti · 2004
Abstract onlyNot checked
Generalized E-Rings
Rüdiger Göbel, Saharon Shelah, Lutz Strüngmann · in: {Rings, modules, algebras, and abelian groups} (2004) 291--306 · 2004
Abstract onlyNot checked
Continuous Fraisse Conjecture
Arnold Beckmann, Martin Goldstern, Norbert Preining · 2004
Abstract onlyNot checked
Diamond (on the regulars) can fail at any strongly unfoldable cardinal
Joel David Hamkins, Mirna Džamonja · 2004
Abstract onlyNot checked
Concerning problems about cardinal invariants on Boolean algebras
J. D. Monk · 2004
Abstract onlyNot checked
A dichotomy in classifying quantifiers for finite models
Mor Doron, Saharon Shelah · J. Symbolic Logic 70 No. 4 (2005) 1297--1324 · 2004
Abstract onlyNot checked
Is Complexity a Source of Incompleteness?
Cristian S. Calude, Helmut Juergensen · 2004
Abstract onlyNot checked
Expansions, omitting types, and standard systems
Fredrik Engström · 2004
Abstract onlyNot checked
Toward classification theory of good lambda frames and abstract elementary classes
Saharon Shelah · 2004
Abstract onlyNot checked
Hechler's theorem for the null ideal
Maxim R. Burke, Masaru Kada · Arch. Math. Logic, Vol. 43(2004), pp. 703--722. · 2004
Abstract onlyNot checked
Geometry of forking in simple theories
Assaf Peretz · 2004
Abstract onlyNot checked
Generic substitutions
Giovanni Panti · 2004
Abstract onlyNot checked
Nonreflecting stationary sets in P_kappa(lambda)
Saharon Shelah, Masahiro Shioya · Adv. Math. 199 No. 1 (2006) 185--191 · 2004
Abstract onlyNot checked
Axiomatic Theory of Algorithms: Computability and Decidability in Algorithmic Classes
Mark Burgin · 2004
Abstract onlyNot checked
A more general iterable condition ensuring aleph_1 is not collapsed
Saharon Shelah · 2004
Abstract onlyNot checked
The isomorphism problem for classes of computable fields
Wesley Calvert · Archive for Mathematical Logic 43 (2004) 327-336 · 2004
Abstract onlyNot checked