- Definability via enumerations.Ivan N. Soskov - 1989 - Journal of Symbolic Logic 54 (2):428-440.details
|
|
(1 other version)Some Quotient Lattices of the Medvedev Lattice.Andrea Sorbi - 1991 - Mathematical Logic Quarterly 37 (9‐12):167-182.details
|
|
Measure independent Gödel speed‐ups and the relative difficulty of recognizing sets.Martin K. Solomon - 1993 - Mathematical Logic Quarterly 39 (1):384-392.details
|
|
Constructive order types on cuts.Robert I. Soare - 1969 - Journal of Symbolic Logic 34 (2):285-289.details
|
|
Computational complexity, speedable and levelable sets.Robert I. Soare - 1977 - Journal of Symbolic Logic 42 (4):545-563.details
|
|
A note on degrees of subsets.Robert I. Soare - 1969 - Journal of Symbolic Logic 34 (2):256.details
|
|
A note on the number of zeros of polynomials and exponential polynomials.C. Smorynski - 1977 - Journal of Symbolic Logic 42 (1):99-106.details
|
|
The pretender's new clothes.Tim Smithers - 1990 - Behavioral and Brain Sciences 13 (4):683-684.details
|
|
Squeezing arguments.P. Smith - 2011 - Analysis 71 (1):22-30.details
|
|
Effective aspects of profinite groups.Rick L. Smith - 1981 - Journal of Symbolic Logic 46 (4):851-863.details
|
|
Σn sets which are Δn-incomparable.Richard A. Shore - 1974 - Journal of Symbolic Logic 39 (2):295 - 304.details
|
|
Controlling the dependence degree of a recursive enumerable vector space.Richard A. Shore - 1978 - Journal of Symbolic Logic 43 (1):13-22.details
|
|
Conjectures and questions from Gerald Sacks's Degrees of Unsolvability.Richard A. Shore - 1997 - Archive for Mathematical Logic 36 (4-5):233-253.details
|
|
Annual meeting of the association for symbolic logic, Los Angeles, 1989.Richard A. Shore - 1990 - Journal of Symbolic Logic 55 (1):372-386.details
|
|
Defining integers.Alexandra Shlapentokh - 2011 - Bulletin of Symbolic Logic 17 (2):230-251.details
|
|
(1 other version)Minimum models of analysis.J. R. Shilleto - 1972 - Journal of Symbolic Logic 37 (1):48-54.details
|
|
(1 other version)Π 1 1 relations and paths through.Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight & Richard A. Shore - 2004 - Journal of Symbolic Logic 69 (2):585-611.details
|
|
Recursiveness of ω‐Operations.Victor L. Selivanov - 1994 - Mathematical Logic Quarterly 40 (2):204-206.details
|
|
Relativized Halting Problems.Alan L. Selman - 1974 - Mathematical Logic Quarterly 20 (13-18):193-198.details
|
|
(2 other versions)Arithmetical Reducibilities II.Alan L. Selman - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):83-92.details
|
|
Levels of research.Colleen Seifert & Donald A. Norman - 1987 - Behavioral and Brain Sciences 10 (3):490-492.details
|
|
On the Structure of the Medvedev Lattice.Sebastiaan A. Terwijn - 2008 - Journal of Symbolic Logic 73 (2):543 - 558.details
|
|
The index set {e: We ≡1X}.E. Herrmann - 1986 - Journal of Symbolic Logic 51 (1):110-116.details
|
|
(1 other version)Indexmengen Rekursiver Reeller Zahlen.Wolfgang Schade - 1979 - Mathematical Logic Quarterly 25 (7‐12):103-110.details
|
|
Decidability and ℵ0-categoricity of theories of partially ordered sets.James H. Schmerl - 1980 - Journal of Symbolic Logic 45 (3):585 - 611.details
|
|
(1 other version)A Free‐Variable Theory of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):147-157.details
|
|
Reducibilities in two models for combinatory logic.Luis E. Sanchis - 1979 - Journal of Symbolic Logic 44 (2):221-234.details
|
|
Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscriptdetails
|
|
R. e. presented linear orders.Dev Kumar Roy - 1983 - Journal of Symbolic Logic 48 (2):369-376.details
|
|
(1 other version)Linear Order Types of Nonrecursive Presentability.Dev Kumar Roy - 1985 - Mathematical Logic Quarterly 31 (31-34):495-501.details
|
|
Truth in all of certain well‐founded countable models arising in set theory.John W. Rosenthal - 1975 - Mathematical Logic Quarterly 21 (1):97-106.details
|
|
Seeing truth or just seeming true?Adina Roskies - 1990 - Behavioral and Brain Sciences 13 (4):682-683.details
|
|
Simple and hyperhypersimple vector spaces.Allen Retzlaff - 1978 - Journal of Symbolic Logic 43 (2):260-269.details
|
|
(1 other version)Direct Summands of Recursively Enumerable Vector Spaces.Allen Retzlaff - 1979 - Mathematical Logic Quarterly 25 (19‐24):363-372.details
|
|
Recursion theory on orderings. II.J. B. Remmel - 1980 - Journal of Symbolic Logic 45 (2):317-333.details
|
|
On R.e. And CO-R.E. Vector spaces with nonextendible bases.J. Remmel - 1980 - Journal of Symbolic Logic 45 (1):20-34.details
|
|
CO‐Simple Higher‐Order Indecomposable Isols.Jeffery B. Remmel & Alfred B. Manaster - 1980 - Mathematical Logic Quarterly 26 (14-18):279-288.details
|
|
Ways and means.Adam V. Reed - 1987 - Behavioral and Brain Sciences 10 (3):488-489.details
|
|
A note on uniform density in weak arithmetical theories.Duccio Pianigiani & Andrea Sorbi - 2020 - Archive for Mathematical Logic 60 (1):211-225.details
|
|
The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with $$\omega $$-stable theories.Mikhail Peretyat’kin - forthcoming - Archive for Mathematical Logic:1-12.details
|
|
The emperor's old hat.Don Perlis - 1990 - Behavioral and Brain Sciences 13 (4):680-681.details
|
|
The nonalgorithmic mind.Roger Penrose - 1990 - Behavioral and Brain Sciences 13 (4):692-705.details
|
|
On Algorithms, Effective Procedures, and Their Definitions.Philippos Papayannopoulos - 2023 - Philosophia Mathematica 31 (3):291-329.details
|
|
On advancing simple hypotheses.Daniel N. Osherson & Scott Weinstein - 1990 - Philosophy of Science 57 (2):266-277.details
|
|
Ideal Learning Machines.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1982 - Cognitive Science 6 (3):277-290.details
|
|
(1 other version)A universal inductive inference machine.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1991 - Journal of Symbolic Logic 56 (2):661-672.details
|
|
(1 other version)Some remarks on ω-powers of enumerated sets and their applications to ω-operations.Andrzej Orlicki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):149-161.details
|
|
(1 other version)On Constructively Non‐Morphisms of Enumerated Sets and Constructive Non‐Reducibility of Enumerations.Andrzej Orlicki - 1987 - Mathematical Logic Quarterly 33 (6):485-496.details
|
|
(1 other version)On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations.Andrzej Orlicki - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):485-496.details
|
|
Splittings of effectively speedable sets and effectively levelable sets.Roland S. H. Omanadze - 2004 - Journal of Symbolic Logic 69 (1):143-158.details
|
|