A note on an alleged proof of the relative consistency of P=NP with PA
Ralf Schindler · 2000
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
586 papersQuestions on this topic
Continuous images of sets of reals
Tomek Bartoszynski, Saharon Shelah · Topology Appl. 116 No. 2 (2001) 243--253 · 2000
Abstract onlyNot checked
The Karp complexity of unstable classes
Michael C. Laskowski, Saharon Shelah · Arch. Math. Logic 40 No. 2 (2001) 69--88 · 2000
Abstract onlyNot checked
On the consistency of the definable tree property on \aleph_1
Amir Leshem · 2000
Abstract onlyNot checked
On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment
N. C. A. da Costa, F. A. Doria · 2000
Abstract onlyNot checked
Quantified propositional Goedel logics
Matthias Baaz, Agata Ciabattoni, Richard Zach · Michel Parigot, Andrei Voronkov (Eds.): Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000. Lecture Notes in Computer Science, Vol. 1955, Springer, 2000. pp. 240-256 · 2000
Abstract onlyNot checked
A Note on Extensions of Infinitary Logic
Saharon Shelah, Jouko Väänänen · Arch. Math. Logic 44 No. 1 (2005) 63--69 · 2000
Abstract onlyNot checked
Superatomic Boolean Algebras: maximal rigidity
Saharon Shelah · in: {Set theory (Piscataway, NJ, 1999)} (2002) 107--128 · 2000
Abstract onlyNot checked
A space with only Borel subsets
Saharon Shelah · Period. Math. Hungar. 40 No. 2 (2000) 81--84 · 2000
Abstract onlyNot checked
How many Turing degrees are there?
Randall Dougherty, Alexander S. Kechris · 2000
Abstract onlyNot checked
The splitting number can be smaller than the matrix chaos number
Heike Mildenberger, Saharon Shelah · Fund. Math. 171 No. 2 (2002) 167--176 · 2000
Abstract onlyNot checked
Classification theory for theories with NIP - a modest beginning
Saharon Shelah · Sci. Math. Jpn. 59 No. 2 (2004) 265--316 · 2000
Abstract onlyNot checked
On Gaps under GCH Type Assumptions
M. Gitik · 2000
Abstract onlyNot checked
On nice equivalence relations on 2^λ
Saharon Shelah · Arch. Math. Logic 43 No. 1 (2004) 31--64 · 2000
Abstract onlyNot checked
The automorphism tower problem revisited
Winfried Just, Saharon Shelah, Simon Thomas · Advances in Mathematics, 148(1999):243-265 · 2000
Abstract onlyNot checked
An introduction to o-minimal structures
Mario J. Edmundo · 2000
Abstract onlyNot checked
Some Nasty Reflexive Groups
Ruediger Goebel, Saharon Shelah · Math. Z. 237 No. 3 (2001) 547--559 · 2000
Abstract onlyNot checked
Decompositions of Reflexive Modules
Ruediger Goebel, Saharon Shelah · Arch. Math. (Basel) 76 No. 3 (2001) 166--181 · 2000
Abstract onlyNot checked
Forcing Isomorphism II
Michael C. Laskowski, Saharon Shelah · Journal of Symbolic Logic, 61(1996):1305--1320 · 2000
Abstract onlyNot checked
Topology of Diophantine Sets: Remarks on Mazur's Conjectures
Gunther Cornelissen, Karim Zahidi · 2000
Abstract onlyNot checked