- Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.details
|
|
Boolean combinations of r.e. open sets.Louise Hay - 1976 - Journal of Symbolic Logic 41 (1):235-238.details
|
|
Dominical categories: recursion theory without elements.Robert A. di Paola & Alex Heller - 1987 - Journal of Symbolic Logic 52 (3):594-635.details
|
|
Anti-Complex Sets and Reducibilities with Tiny Use.Johanna N. Y. Franklin, Noam Greenberg, Frank Stephan & Guohua Wu - 2013 - Journal of Symbolic Logic 78 (4):1307-1327.details
|
|
Inductive Inference and Unsolvability.Leonard M. Adleman & M. Blum - 1991 - Journal of Symbolic Logic 56 (3):891-900.details
|
|
Experimental logics and Π3 0 theories.Petr Hájek - 1977 - Journal of Symbolic Logic 42 (4):515-522.details
|
|
On subcreative sets and S-reducibility.John T. Gill & Paul H. Morris - 1974 - Journal of Symbolic Logic 39 (4):669-677.details
|
|
Demuth’s path to randomness.Antonín Kučera, André Nies & Christopher P. Porter - 2015 - Bulletin of Symbolic Logic 21 (3):270-305.details
|
|
Squeezing arguments.P. Smith - 2011 - Analysis 71 (1):22-30.details
|
|
Field’s logic of truth.Vann McGee - 2010 - Philosophical Studies 147 (3):421-432.details
|
|
(1 other version)Bounds in the Turing reducibility of functions.Karol Habart & K. Habart - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):423-430.details
|
|
(1 other version)Der Iterierte Limes Rekursiver Funktionen und Die Arithmetische Hierarchie.B. Goetze, R. Klette & D. Gillo - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (16-17):265-272.details
|
|
(1 other version)An Absolutely Independent Set of ΣO01-Sentences.John Myhill - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):107-109.details
|
|
(2 other versions)Some Notions of Reducibility and Productiveness.A. H. Lachlan - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (1):17-44.details
|
|
(1 other version)The Vectorized Grzegorczyk Hierarchy.Steven S. Muchnick - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):441-480.details
|
|
(1 other version)Completely Autoreducible Degrees.Carl G. Jockusch & Michael S. Paterson - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):571-575.details
|
|
(1 other version)Arithmetical Reducibilities I.Alan L. Selman - 1971 - Mathematical Logic Quarterly 17 (1):335-350.details
|
|
(1 other version)Arithmetical Reducibilities II.Alan L. Selman - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):83-92.details
|
|
(1 other version)Arithmetische Operatoren.Klaus Wagner - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):553-570.details
|
|
(1 other version)The degrees of bi-immune sets.Carl G. Jockusch - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):135-140.details
|
|
Definability of Recursively Enumerable Sets in Abstract Computational Complexity Theory.Robert E. Byerly - 1984 - Mathematical Logic Quarterly 30 (32-34):499-503.details
|
|
(1 other version)Properly Σ2 Enumeration Degrees.S. B. Cooper & C. S. Copestake - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (6):491-522.details
|
|
(1 other version)Reducibility Relationships Between Decision Problems for System Functions.M. B. Thuraisingham - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):305-312.details
|
|
Axiomatizing semantic theories of truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.details
|
|
Computable Abelian groups.Alexander G. Melnikov - 2014 - Bulletin of Symbolic Logic 20 (3):315-356,.details
|
|
Meeting of the Association for Symbolic Logic, Chicago, 1989.Kenneth Manders - 1990 - Journal of Symbolic Logic 55 (1):436-445.details
|
|
Louis Joly as a Platonist Painter?Roger Pouivet - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 337--341.details
|
|
Is Turing's Thesis the Consequence of a More General Physical Principle?Matthew P. Szudzik - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 714--722.details
|
|
The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.details
|
|
Splitting properties of {$n$}-c.e. enumeration degrees.I. Sh Kalimullin - 2002 - Journal of Symbolic Logic 67 (2):537-546.details
|
|
Every polynomial-time 1-degree collapses if and only if P = PSPACE.Stephen A. Fenner, Stuart A. Kurtz & James S. Royer - 2004 - Journal of Symbolic Logic 69 (3):713-741.details
|
|
The nonalgorithmic mind.Roger Penrose - 1990 - Behavioral and Brain Sciences 13 (4):692-705.details
|
|
The pretender's new clothes.Tim Smithers - 1990 - Behavioral and Brain Sciences 13 (4):683-684.details
|
|
The thinker dreams of being an emperor.M. M. Taylor - 1990 - Behavioral and Brain Sciences 13 (4):685-686.details
|
|
Between Turing and quantum mechanics there is body to be found.Francisco J. Varela - 1990 - Behavioral and Brain Sciences 13 (4):687-688.details
|
|
Penrose's grand unified mystery.David Waltz & James Pustejovsky - 1990 - Behavioral and Brain Sciences 13 (4):688-690.details
|
|
Quantum AI.Rudi Lutz - 1990 - Behavioral and Brain Sciences 13 (4):672-673.details
|
|
The discomforts of dualism.Bruce MacLennan - 1990 - Behavioral and Brain Sciences 13 (4):673-674.details
|
|
Uncertainty about quantum mechanics.Mark S. Madsen - 1990 - Behavioral and Brain Sciences 13 (4):674-675.details
|
|
Gödel redux.Alexis Manaster-Ramer, Walter J. Savitch & Wlodek Zadrozny - 1990 - Behavioral and Brain Sciences 13 (4):675-676.details
|
|
Computation and consciousness.Drew McDermott - 1990 - Behavioral and Brain Sciences 13 (4):676-678.details
|
|
The powers of machines and minds.Chris Mortensen - 1990 - Behavioral and Brain Sciences 13 (4):678-679.details
|
|
Steadfast intentions.Keith K. Niall - 1990 - Behavioral and Brain Sciences 13 (4):679-680.details
|
|
Systematic, unconscious thought is the place to anchor quantum mechanics in the mind.Thomas Roeper - 1990 - Behavioral and Brain Sciences 13 (4):681-682.details
|
|
Seeing truth or just seeming true?Adina Roskies - 1990 - Behavioral and Brain Sciences 13 (4):682-683.details
|
|
Computations over abstract categories of representation.Roy Eagleson - 1990 - Behavioral and Brain Sciences 13 (4):661-662.details
|
|
Don't ask Plato about the emperor's mind.Alan Gamham - 1990 - Behavioral and Brain Sciences 13 (4):664-665.details
|
|
Strong AI and the problem of “second-order” algorithms.Gerd Gigerenzer - 1990 - Behavioral and Brain Sciences 13 (4):663-664.details
|
|
Where is the material of the emperor's mind?David L. Gilden & Joseph S. Lappin - 1990 - Behavioral and Brain Sciences 13 (4):665-666.details
|
|
Why you'll never know whether Roger Penrose is a computer.Clark Glymour & Kevin Kelly - 1990 - Behavioral and Brain Sciences 13 (4):666-667.details
|
|