Yet Another Single Law for Lattices
William McCune, Ranganathan Padmanabhan, Robert Veroff · 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
488 papersQuestions on this topic
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
Banach spaces and groups - order properties and universal models
Saharon Shelah, Alex Usvyatsov · Israel J. Math. 152 (2006) 245--270 · 2003
Abstract onlyNot checked
Martin's Axiom and Maximal Orthogonal Families
Saharon Shelah · Real Anal. Exchange 28 No. 2 (2002/03) 477--480 · 2002
Abstract onlyNot checked
Hypercomputation: computing more than the Turing machine
Toby Ord · 2002
Abstract onlyNot checked
Cardinal arithmetic and Woodin cardinals
Ralf Schindler · 2002
Abstract onlyNot checked
A class of strong diamond principles
Joel David Hamkins · 2002
Abstract onlyNot checked
A partition theorem for scattered order types
Peter Komjath, Saharon Shelah · Combin. Probab. Comput. 12 No. 5-6 (2003) 621--626 · 2002
Abstract onlyNot checked
Strongly meager sets of size continuum
Tomek Bartoszynski, Saharon Shelah · Arch. Math. Logic 42 No. 8 (2003) 769--779 · 2002
Abstract onlyNot checked
The Future of Set Theory
Saharon Shelah · Haim Judah (editor), Set Theory of the Reals. Israel Mathematical Conference Proceedings, vol. 6, Proceedings of the Winter Institute held at Bar-Ilan University, Ramat Gan, January 1991 · 2002
Abstract onlyNot checked
Infinite Time Turing Machines: Supertask Computation
Joel David Hamkins · Minds and Machines, vol. 12, no. 4, pp. 521--539, 2002. (special issue devoted to hypercomputation) · 2002
Abstract onlyNot checked
A simple proof of Σ^1_3 correctness of K
Ralf Schindler · 2002
Abstract onlyNot checked
Logical Dreams
Saharon Shelah · Bull. Amer. Math. Soc. (N.S.) 40 No. 2 (2003) 203--228 · 2002
Abstract onlyNot checked