- Reverse mathematics, well-quasi-orders, and Noetherian spaces.Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer & Jeroen Van der Meeren - 2016 - Archive for Mathematical Logic 55 (3):431-459.details
|
|
(1 other version)Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings.Rüsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1988 - Mathematical Logic Quarterly 34 (6):531-539.details
|
|
(1 other version)Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings.Rüsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (6):531-539.details
|
|
(1 other version)Inductive Inference and Computable One‐One Numberings.Rsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1982 - Mathematical Logic Quarterly 28 (27‐32):463-479.details
|
|
(1 other version)Inductive Inference and Computable One-One Numberings.Rsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):463-479.details
|
|
Computable de Finetti measures.Cameron E. Freer & Daniel M. Roy - 2012 - Annals of Pure and Applied Logic 163 (5):530-546.details
|
|
(1 other version)Connections between identifying functionals, standardizing operations, and computable numberings.Rüsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (9-11):145-164.details
|
|
(1 other version)Connections between identifying functionals, standardizing operations, and computable numberings.Rüsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1984 - Mathematical Logic Quarterly 30 (9‐11):145-164.details
|
|
(1 other version)Elementary Formal Systems for Hyperarithmetical Relations.Melvin Fitting - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):25-30.details
|
|
(1 other version)The First‐Order Theory of the c‐Degrees With the #‐Operation.Patrick Farrington - 1982 - Mathematical Logic Quarterly 28 (33‐38):487-493.details
|
|
(1 other version)The first‐order theory of the c‐degrees.Paddy Farrinoton - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):437-446.details
|
|
(1 other version)The First-Order Theory of thec-Degrees With the #-Operation.Patrick Farrington - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):487-493.details
|
|
(1 other version)Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (32‐33):523-528.details
|
|
(1 other version)Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (32-33):523-528.details
|
|
Reduzierbarkeit von Berechenbaren Numerierungen von P1.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (28-30):445-458.details
|
|
The evolutionary aspect of cognitive functions.J. -P. Ewert - 1987 - Behavioral and Brain Sciences 10 (3):481-483.details
|
|
The scientific induction problem: A case for case studies.K. Anders Ericsson - 1987 - Behavioral and Brain Sciences 10 (3):480-481.details
|
|
Computations over abstract categories of representation.Roy Eagleson - 1990 - Behavioral and Brain Sciences 13 (4):661-662.details
|
|
(1 other version)On Some σ‐Algebras Containing the Projective Sets I.C. A. di Prisco & Wiktor Marek - 1982 - Mathematical Logic Quarterly 28 (33‐38):525-538.details
|
|
(1 other version)On the Simplicity of Busy Beaver Sets.Robert P. Daley - 1978 - Mathematical Logic Quarterly 24 (13‐14):207-224.details
|
|
(1 other version)On the Simplicity of Busy Beaver Sets.Robert P. Daley - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (13-14):207-224.details
|
|
The algorithm/implementation distinction.Austen Clark - 1987 - Behavioral and Brain Sciences 10 (3):480-480.details
|
|
(1 other version)Sortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders.John Case - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):1-18.details
|
|
Rice and Rice-Shapiro Theorems for transfinite correction grammars.John Case & Sanjay Jain - 2011 - Mathematical Logic Quarterly 57 (5):504-516.details
|
|
(1 other version)Nondeterministic Ω‐Computations and the Analytical Hierarchy.J. Castro & F. Cucker - 1989 - Mathematical Logic Quarterly 35 (4):333-342.details
|
|
(1 other version)Nondeterministic Ω-Computations and the Analytical Hierarchy.J. Castro & F. Cucker - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):333-342.details
|
|
(1 other version)Maximal Arithmetical Reducibilities.John Case - 1974 - Mathematical Logic Quarterly 20 (13‐18):261-270.details
|
|
(1 other version)Maximal Arithmetical Reducibilities.John Case - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):261-270.details
|
|
Generality’s price: Inescapable deficiencies in machine-learned programs.John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle & James S. Royer - 2006 - Annals of Pure and Applied Logic 139 (1):303-326.details
|
|
(1 other version)Effectivizing Inseparability.John Case - 1991 - Mathematical Logic Quarterly 37 (7):97-111.details
|
|
(1 other version)Effectivizing Inseparability.John Case - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (7):97-111.details
|
|
On the Necessity of U-Shaped Learning.Lorenzo Carlucci & John Case - 2013 - Topics in Cognitive Science 5 (1):56-88.details
|
|
(1 other version)Two Impredicative Theories of Properties and Sets.Andrea Cantini - 1988 - Mathematical Logic Quarterly 34 (5):403-420.details
|
|
Paulo Freire, Mathematics and Policies that Shape Mathematics.Isabel Cafezeiro, Ricardo Kubrusly, Ivan da Costa Marques & Edwaldo Cafezeiro - 2017 - Journal of the Indian Council of Philosophical Research 34 (2):227-246.details
|
|
The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set.Egon Börger & Hans Kleine Büning - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (28-30):459-469.details
|
|
(1 other version)A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems.Egon Börger - 1979 - Mathematical Logic Quarterly 25 (7‐12):135-162.details
|
|
(1 other version)On BI‐Immune Isols.Joachim Biskup - 1976 - Mathematical Logic Quarterly 23 (31‐35):469-484.details
|
|
(1 other version)Small Π0 1 Classes.Stephen Binns - 2005 - Archive for Mathematical Logic 45 (4):393-410.details
|
|
Completeness, Compactness, Effective Dimensions.Stephen Binns - 2013 - Mathematical Logic Quarterly 59 (3):206-218.details
|
|
(1 other version)Reducibility in some categories of partial recursive operators.Caterina Bianchini & Andrea Sorbi - 1992 - Mathematical Logic Quarterly 38 (1):349-359.details
|
|
(1 other version)Reducibility in some categories of partial recursive operators.Caterina Bianchini & Andrea Sorbi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):349-359.details
|
|
(1 other version)Recursively Enumerable L‐Sets.Loredana Biacino & Giangiacomo Gerla - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):107-113.details
|
|
Expressive power of digraph solvability.Marc Bezem, Clemens Grabmayer & Michał Walicki - 2012 - Annals of Pure and Applied Logic 163 (3):200-213.details
|
|
Translating the hypergame paradox: Remarks on the set of founded elements of a relation. [REVIEW]Claudio Bernardi & Giovanna D'Agostino - 1996 - Journal of Philosophical Logic 25 (5):545 - 557.details
|
|
On the relation provable equivalence and on partitions in effectively inseparable sets.Claudio Bernardi - 1981 - Studia Logica 40 (1):29 - 37.details
|
|
(1 other version)Rekursive Algebren mit Kettenbedingungen.Walter Baur - 1974 - Mathematical Logic Quarterly 20 (1-3):37-46.details
|
|
(1 other version)On Some Properties of Recursively Enumerable Equivalence Relations.Stefano Baratella - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):261-268.details
|
|
The jump operation for structure degrees.V. Baleva - 2005 - Archive for Mathematical Logic 45 (3):249-265.details
|
|
Recursive Structures and Ershov's Hierarchy.Christopher J. Ash & Julia F. Knight - 1996 - Mathematical Logic Quarterly 42 (1):461-468.details
|
|
Implementations, algorithms, and more.John R. Anderson - 1987 - Behavioral and Brain Sciences 10 (3):498-505.details
|
|