On the questions P ?= NP $\cap$ co-NP and NP ?= co-NP for infinite time Turing machines
Vinay Deolalikar · 2003
Abstract onlyNot checked
Theoretical Computer Science
Filters2 filters applied
Status
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
486 papersQuestions on this topic
Orthomodular Lattices and Quantales
Leopoldo Roman · 2003
Abstract onlyNot checked
Theorie De Galois Des Equations Differentielles
L. Saidane · 2003
Abstract onlyNot checked
Classification of semi-algebraic $p$-adic sets up to semi-algebraic bijection
Raf Cluckers · J. Reine Angew. Math. 540 (2001), 105--114 · 2003
Abstract onlyNot checked
Homogeneously Souslin sets in small inner models
Peter Koepke, Ralf Schindler · 2003
Abstract onlyNot checked
Complexity and ordinary life, and some mathematics in both
Stephen Semmes · 2003
Abstract onlyNot checked
The elementary theory of Dedekind cuts in polynomially bounded structures
Marcus Tressl · 2003
Abstract onlyNot checked
Proper forcing and rectangular Ramsey theorems
Jindrich Zapletal · 2003
Abstract onlyNot checked
On relatively analytic and Borel subsets
Arnold W. Miller · 2003
Abstract onlyNot checked
Classical Recapture
Andrew Aberdein · 2003
Abstract onlyNot checked
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