Ultrafilters with property (s)
Arnold W. Miller · 2003
Abstract onlyNot checked
Theoretical Computer Science
Filters1 filter applied
486 papersQuestions on this topic
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
The theory of Liouville functions
Pascal Koiran · 2002
Abstract onlyNot checked
The power set function
Moti Gitik · Proceedings of the ICM, Beijing 2002, vol. 1, 507--513 · 2002
Abstract onlyNot checked
Eine vollstaendige Formalisierung der Aristotelischen Notwendigkeitssyllogistik
Holger Brenner · Zur modernen Deutung der Aristotelischen Logik, Band VIII: Beitraege zum Satz vom Widersprich und zur Aristotelischen Praedikationstheorie, Hildesheim-Zuerich-New York 2000 · 2002
Abstract onlyNot checked
On lambda'-sets
Arnold W. Miller · 2002
Abstract onlyNot checked
On iterated forcing at successors of regular cardinals
Todd Eisworth · 2002
Abstract onlyNot checked
Some notes concerning the homogeneity of Boolean algebras and Boolean spaces
Stefan Geschke, Saharon Shelah · Topology Appl. 133 No. 3 (2003) 241--253 · 2002
Abstract onlyNot checked
Supertask Computation
Joel David Hamkins · Proceedings of the Foundations of the Formal Sciences III, Trends in Logic, Kluwer Academic Publishers, 2001 · 2002
Abstract onlyNot checked