Study of an identity
Patrick Dehornoy · 2001
Abstract onlyNot checked
Theoretical Computer Science
Filters1 filter applied
489 papersQuestions on this topic
Definability of initial segments
Saharon Shelah, Akito Tsuboi · Notre Dame J. Formal Logic 43 No. 2 (2002) 65--73 (2003) · 2001
Abstract onlyNot checked
On the complexity of Hamel bases of infinite dimensional Banach spaces
Lorenz Halbeisen · Colloquium Mathematicum 89 (2001) 133-134 · 2001
Abstract onlyNot checked
You Can Enter Cantor's Paradise
Saharon Shelah · in: {Paul ErdH{o}s and his mathematics, II (Budapest, 1999)} (2002) 555--564 · 2001
Abstract onlyNot checked
Potential isomorphism and semi-proper trees
Alex Hellsten, Tapani Hyttinen, Saharon Shelah · Fund. Math. 175 No. 2 (2002) 127--142 · 2001
Abstract onlyNot checked
Vive la difference III
Saharon Shelah · Israel J. Math. 166 (2008) 61--96 · 2001
Abstract onlyNot checked
Weak Diamond
Saharon Shelah · Sci. Math. Jpn. 55 No. 3 (2002) 531--538 · 2001
Abstract onlyNot checked
Sets and Their Sizes
Fred M. Katz · 2001
Abstract onlyNot checked
On the lattice of cotorsion theories
Rüdiger Göbel, Saharon Shelah, Simone Wallutis · J. Algebra 238 No. 1 (2001) 292--313 · 2001
Abstract onlyNot checked
On embedding models of arithmetic of cardinality aleph_1 into reduced powers
Juliette Kennedy, Saharon Shelah · Fund. Math. 176 No. 1 (2003) 17--24 · 2001
Abstract onlyNot checked
Some ugly aleph_1-free abelian groups
Saharon Shelah, Lutz Strüngmann · Rocky Mountain J. Math. 32 No. 4 (2002) 1617--1626 · 2001
Abstract onlyNot checked
Evasion and prediction IV: Fragments of constant prediction
Joerg Brendle, Saharon Shelah · Arch. Math. Logic 42 No. 4 (2003) 349--360 · 2001
Abstract onlyNot checked
A Taxonomy of C-systems
W. A. Carnielli, J. Marcos · In: "Paraconsistency: The Logical Way to the Inconsistent", Proceedings of the II World Congress on Paraconsistency (WCP'2000), Marcel Dekker, 2001 · 2001
Abstract onlyNot checked
Almost-free E-rings of cardinality aleph_1
Rüdiger Göbel, Saharon Shelah, Lutz Strüngmann · Canad. J. Math. 55 No. 4 (2003) 750--765 · 2001
Abstract onlyNot checked
Uniformity in the Mordell-Lang conjecture
Thomas Scanlon · 2001
Abstract onlyNot checked
On needed reals
Heike Mildenberger, Saharon Shelah · Shelah [MdSh:725] · 2001
Abstract onlyNot checked
O-minimal cohomology and definably compact definable groups
Mario J. Edmundo · 2001
Abstract onlyNot checked
Characterizing automorphism groups of ordered abelian groups
Rüdiger Göbel, Saharon Shelah · Bull. London Math. Soc. 35 No. 3 (2003) 289--292 · 2001
Abstract onlyNot checked
Remarks on small sets of reals
Tomek Bartoszynski · 2001
Abstract onlyNot checked
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
Richard Zach · 2001
Abstract onlyNot checked