14 found
Order:
  1. Computable Boolean Algebras.Julia F. Knight & Michael Stob - 2000 - Journal of Symbolic Logic 65 (4):1605-1623.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  46
    Extrapolating Human Probability Judgment.Daniel Osherson, Edward E. Smith, Tracy S. Myers, Eldar Shafir & Michael Stob - 1994 - Theory and Decision 36 (2):103-129.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  3.  4
    Splitting Theorems in Recursion Theory.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 65 (1):1-106.
    A splitting of an r.e. set A is a pair A1, A2 of disjoint r.e. sets such that A1 A2 = A. Theorems about splittings have played an important role in recursion theory. One of the main reasons for this is that a splitting of A is a decomposition of A in both the lattice, , of recursively enumerable sets and in the uppersemilattice, R, of recursively enumerable degrees . Thus splitting theor ems have been used to obtain results about (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  4. A Universal Inductive Inference Machine.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1991 - Journal of Symbolic Logic 56 (2):661-672.
    A paradigm of scientific discovery is defined within a first-order logical framework. It is shown that within this paradigm there exists a formal scientist that is Turing computable and universal in the sense that it solves every problem that any scientist can solve. It is also shown that universal scientists exist for no regular logics that extend first-order logic and satisfy the Löwenheim-Skolem condition.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  9
    Default Probability.Daniel N. Osherson, Joshua Stern, Ormond Wilkie, Michael Stob & Edward E. Smith - 1991 - Cognitive Science 15 (2):251-269.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  6.  21
    Wtt-Degrees and T-Degrees of R.E. Sets.Michael Stob - 1983 - Journal of Symbolic Logic 48 (4):921-930.
    We use some simple facts about the wtt-degrees of r.e. sets together with a construction to answer some questions concerning the join and meet operators in the r.e. degrees. The construction is that of an r.e. Turing degree a with just one wtt-degree in a such that a is the join of a minimal pair of r.e. degrees. We hope to illustrate the usefulness of studying the stronger reducibility orderings of r.e. sets for providing information about Turing reducibility.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  7.  3
    The Intervals of the Lattice of Recursively Enumerable Sets Determined by Major Subsets.Wolfgang Maass & Michael Stob - 1983 - Annals of Pure and Applied Logic 24 (2):189-212.
  8.  6
    Friedberg Splittings of Recursively Enumerable Sets.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 59 (3):175-199.
    A splitting A1A2 = A of an r.e. set A is called a Friedberg splitting if for any r.e. set W with W — A not r.e., W — Ai≠0 for I = 1,2. In an earlier paper, the authors investigated Friedberg splittings of maximal sets and showed that they formed an orbit with very interesting degree-theoretical properties. In the present paper we continue our investigations, this time analyzing Friedberg splittings and in particular their orbits and degrees for various classes (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  9.  20
    Mechanical Learners Pay a Price for Bayesianism.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1988 - Journal of Symbolic Logic 53 (4):1245-1251.
  10.  6
    Index Sets and Degrees of Unsolvability.Michael Stob - 1982 - Journal of Symbolic Logic 47 (2):241-248.
  11.  6
    Ideal Learning Machines.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1982 - Cognitive Science 6 (3):277-290.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  3
    Wolf Robert S.. A Tour Through Mathematical Logic, The Carus Mathematical Monographs, Number 30. The Mathematical Association of America, Washington, DC, 2005, Xv+ 397 Pp. [REVIEW]Michael Stob - 2006 - Bulletin of Symbolic Logic 12 (1):141-142.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13.  2
    Mechanical Learners Pay a Price for Bayesianism.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1988 - Journal of Symbolic Logic 53 (4):1245-1251.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Major Subsets and the Lattice of Recursively Enumerable Sets.Michael Stob - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 107.