The theory of Liouville functions
Pascal Koiran · 2002
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
569 papersQuestions on this topic
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
Quantum Logic in Intuitionistic Perspective
Bob Coecke · Studia Logica 70, 411-440 (2002) · 2002
Abstract onlyNot checked
Relating decision and search algorithms for rational points on curves of higher genus
Minhyong Kim · 2002
Abstract onlyNot checked
Generic left-separated spaces and calibers
Istvan Juhász, Saharon Shelah · Topology Appl. 132 No. 2 (2003) 103--108 · 2002
Abstract onlyNot checked
F-structures and integral points on semiabelian varieties over finite fields
Rahim Moosa, Thomas Scanlon · 2002
Abstract onlyNot checked
Duality and the pcf theory
Saharon Shelah, Jindrich Zapletal · Math. Res. Lett. 9 No. 5-6 (2002) 585--595 · 2002
Abstract onlyNot checked
Sharps and the Σ^1_3 correctness of K
Ralf Schindler · 2002
Abstract onlyNot checked
Finite subgraphs of uncountably chromatic graphs
Péter Komjáth, Saharon Shelah · J. Graph Theory 49 No. 1 (2005) 28--38 · 2002
Abstract onlyNot checked
Almost free groups and Ehrenfeucht-Fra\"ıssé games for successors of singular cardinals
Saharon Shelah, Pauli Väisänen · Ann. Pure Appl. Logic 118 No. 1-2 (2002) 147--173 · 2002
Abstract onlyNot checked
Consistency Without Cut Elimination
Kai Bruennler, Alessio Guglielmi · 2002
Abstract onlyNot checked
Propositional Manifolds
Joseph Kouneiher · 2002
Abstract onlyNot checked
P^f is not equal to NP^f for almost all f
Joel David Hamkins, Philip D. Welch · 2002
Abstract onlyNot checked
Beware of the Gödel- Wette paradox
Alexander S. Yessenin-Volpin, Christer Hennix · 2002
Abstract onlyNot checked
Simple Homogeneous Models
Steven Buechler, Olivier Lessmann · 2002
Abstract onlyNot checked