- Effectively and Noneffectively Nowhere Simple Sets.Valentina S. Harizanov - 1996 - Mathematical Logic Quarterly 42 (1):241-248.details
|
|
Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):419-422.details
|
|
Analytic determinacy and 0#. [REVIEW]Leo Harrington - 1978 - Journal of Symbolic Logic 43 (4):685 - 693.details
|
|
Nonrecursive tilings of the plane. I.William Hanf - 1974 - Journal of Symbolic Logic 39 (2):283-285.details
|
|
Tarskian and Kripkean truth.Volker Halbach - 1997 - Journal of Philosophical Logic 26 (1):69-80.details
|
|
Possible-worlds semantics for modal notions conceived as predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.details
|
|
Presburger arithmetic with unary predicates is Π11 complete.Joseph Y. Halpern - 1991 - Journal of Symbolic Logic 56 (2):637 - 642.details
|
|
Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.details
|
|
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
|
|
The word problem for cancellation semigroups with zero.Yuri Gurevich & Harry R. Lewis - 1984 - Journal of Symbolic Logic 49 (1):184-191.details
|
|
Definability in models of set theory.David Guaspari - 1980 - Journal of Symbolic Logic 45 (1):9-19.details
|
|
A note on the Kondo-Addison theorem.David Guaspari - 1974 - Journal of Symbolic Logic 39 (3):567-570.details
|
|
Two episodes in the unification of logic and topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.details
|
|
Asymptotic conditional probabilities: The non-unary case.Adam J. Grove, Joseph Y. Halpern & Daphne Koller - 1996 - Journal of Symbolic Logic 61 (1):250-276.details
|
|
Index sets in Ershov's hierarchy.Jacques Grassin - 1974 - Journal of Symbolic Logic 39 (1):97-104.details
|
|
Hanf number for Scott sentences of computable structures.S. S. Goncharov, J. F. Knight & I. Souldatos - 2018 - Archive for Mathematical Logic 57 (7-8):889-907.details
|
|
Ambiguities in “the algorithmic level”.Alvin I. Goldman - 1987 - Behavioral and Brain Sciences 10 (3):484-485.details
|
|
Unentscheidbarkeitsgrade Rekursiver Funktionen.Bernhard Goetze - 1974 - Mathematical Logic Quarterly 20 (8-12):189-191.details
|
|
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
|
|
Die Struktur des Halbverbandes der Effektiven Numerierungen.Bernhard Goetze - 1974 - Mathematical Logic Quarterly 20 (8-12):183-188.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
|
|
The study of cognition and instructional design: Mutual nurturance.Robert Glaser - 1987 - Behavioral and Brain Sciences 10 (3):483-484.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
|
|
On subcreative sets and S-reducibility.John T. Gill & Paul H. Morris - 1974 - Journal of Symbolic Logic 39 (4):669-677.details
|
|
Strong AI and the problem of “second-order” algorithms.Gerd Gigerenzer - 1990 - Behavioral and Brain Sciences 13 (4):663-664.details
|
|
Alan Turing and the foundations of computable analysis.Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (3):394-430.details
|
|
Vagueness and Formal Fuzzy Logic: Some Criticisms.Giangiacomo Gerla - 2017 - Logic and Logical Philosophy 26 (4).details
|
|
Turing L -machines and recursive computability for L -maps.Giangiacomo Gerla - 1989 - Studia Logica 48 (2):179 - 192.details
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
The degrees of conditional problems.Su Gao - 1994 - Journal of Symbolic Logic 59 (1):166-181.details
|
|
The automorphism group and definability of the jump operator in the $$\omega $$ ω -enumeration degrees.Hristo Ganchev & Andrey C. Sariev - 2021 - Archive for Mathematical Logic 60 (7):909-925.details
|
|
Don't ask Plato about the emperor's mind.Alan Gamham - 1990 - Behavioral and Brain Sciences 13 (4):664-665.details
|
|
Robust separations in inductive inference.Mark Fulk - 2011 - Journal of Symbolic Logic 76 (2):368 - 376.details
|
|
Borel sets and hyperdegrees.Harvey M. Friedman - 1973 - Journal of Symbolic Logic 38 (3):405-409.details
|
|
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
|
|
How to compute antiderivatives.Chris Freiling - 1995 - Bulletin of Symbolic Logic 1 (3):279-316.details
|
|
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
|
|
Schnorr trivial sets and truth-table reducibility.Johanna N. Y. Franklin & Frank Stephan - 2010 - Journal of Symbolic Logic 75 (2):501-521.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
|
|
On Σ1 1 equivalence relations over the natural numbers.Ekaterina B. Fokina & Sy-David Friedman - 2012 - Mathematical Logic Quarterly 58 (1-2):113-124.details
|
|
Isomorphism relations on computable structures.Ekaterina B. Fokina, Sy-David Friedman, Valentina Harizanov, Julia F. Knight, Charles Mccoy & Antonio Montalbán - 2012 - Journal of Symbolic Logic 77 (1):122-132.details
|
|
Elementary Formal Systems for Hyperarithmetical Relations.Melvin Fitting - 1978 - Mathematical Logic Quarterly 24 (1‐6):25-30.details
|
|
Elementary Formal Systems for Hyperarithmetical Relations.Melvin Fitting - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):25-30.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
|
|
A revenge-immune solution to the semantic paradoxes.Hartry Field - 2003 - Journal of Philosophical Logic 32 (2):139-177.details
|
|
The complexity of learning SUBSEQ(A).Stephen Fenner, William Gasarch & Brian Postow - 2009 - Journal of Symbolic Logic 74 (3):939-975.details
|
|
Almost weakly 2-generic sets.Stephen A. Fenner - 1994 - Journal of Symbolic Logic 59 (3):868-887.details
|
|
The strong homogeneity conjecture.L. Feiner - 1970 - Journal of Symbolic Logic 35 (3):375-377.details
|
|
Hiearchies of Boolean algebras.Lawrence Feiner - 1970 - Journal of Symbolic Logic 35 (3):365-374.details
|
|
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
|
|