Classical Recapture
Andrew Aberdein · 2003
Abstract onlyNot checked
Theoretical Computer Science
Filters2 filters applied
489 papersQuestions on this topic
Exactly controlling the non-supercompact strongly compact cardinals
Arthur W. Apter, Joel David Hamkins · 2003
Abstract onlyNot checked
Orderings of Monomial Ideals
Matthias Aschenbrenner, Wai-Yan Pong · 2003
Abstract onlyNot checked
Core models in the presence of Woodin cardinals
Ralf Schindler · 2003
Abstract onlyNot checked
Subsets of superstable structures are weakly benign
Bektur Baizhanov, John Baldwin, Saharon Shelah · J. Symbolic Logic 70 No. 1 (2005) 142--150 · 2003
Abstract onlyNot checked
Remarks on a paper by Juhász and Kunen
Sakae Fuchino, Stefan Geschke · 2003
Abstract onlyNot checked
Note on omega-nw-nep forcing notions
Saharon Shelah · J. Appl. Anal. 11 No. 1 (2005) 1--17 · 2003
Abstract onlyNot checked
A Note on the Set-Theoretic Representation of Arbitrary Lattices
K. Dosen · 2003
Abstract onlyNot checked
There may be no Hausdorff ultrafilters
Tomek Bartoszynski, Saharon Shelah · in: {Logic Colloquium 2004} (2008) 18--32 · 2003
Abstract onlyNot checked
The Diagonal Method and Hypercomputation
Toby Ord, Tien D. Kieu · 2003
Abstract onlyNot checked
Boolos-style proofs of limitative theorems
Gyorgy Sereny · 2003
Abstract onlyNot checked
Yet Another Single Law for Lattices
William McCune, Ranganathan Padmanabhan, Robert Veroff · 2003
Abstract onlyNot checked
Hechler's theorem for the meager ideal
Tomek Bartoszynski, Masaru Kada · 2003
Abstract onlyNot checked
The gamma - Borel conjecture
Arnold W. Miller · 2003
Abstract onlyNot checked
th-Forking, Algebraic Independence and Examples of Rosy Theories
Alf Onshuus · 2003
Abstract onlyNot checked
P is not equal to NP intersect coNP for Infinite Time Turing Machines
Vinay Deolalikar, Joel David Hamkins, Ralf-Dieter Schindler · 2003
Abstract onlyNot checked
Polynomial Functions on a Central Relation
Dietmar Schweigert · 2003
Abstract onlyNot checked
Karp complexity and classes with the independence property
Michael C. Laskowski, Saharon Shelah · Annals of Pure and Applied Logic, 120 (2003), 263-283 · 2003
Abstract onlyNot checked
Ultrafilters with property (s)
Arnold W. Miller · 2003
Abstract onlyNot checked
Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann
B. Balcar, T. Jech, T. Pazák · 2003
Abstract onlyNot checked