Search results for 'Carl G. Jockusch Jr' (try it on Scholar)

1000+ found
Order:
  1. M. Lerman (1985). Jockusch Carl G. Jr., and Posner David B.. Double Jumps of Minimal Degrees. Journal of Symbolic Logic 50 (2):550-552.
  2. C. A. Herzog, Cade Jr, A. Caliendo, J. S. Cameron, A. Cantone, G. Capasso, D. Carl, J. A. Castillo-Lugo, R. Cestaro & M. Chelamcharla (2005). Herrera-Acosta, J., 19. In Alan F. Blackwell & David MacKay (eds.), Power. Cambridge University Press. pp. 171.
    No categories
     
    Export citation  
     
    My bibliography  
  3. C. T. Chong (1999). Computability, Enumerability, Unsolvability, Directions in Recursion Theory, Edited by Cooper S. B., Slaman T. A., and Wainer S. S., London Mathematical Society Lecture Note Series, No. 224, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, Vii + 347 Pp.Harrington Leo and Soare Robert I., Dynamic Properties of Computably Enumerable Sets, Pp. 105–121.Herrmann Eberhard, On the ∀∃-Theory of the Factor Lattice by the Major Subset Relation, Pp. 139–166.Lerman Manuel, Embeddings Into the Recursively Enumerable Degrees, Pp. 185–204.Yi Xiaoding, Extension of Embeddings on the Recursively Enumerable Degrees Modulo the Cappable Degrees, Pp. 313–331.Nies André, Relativization of Structures Arising From Computability Theory. Pp. 219–232.Ambos-Spies Klaus, Resource-Bounded Genericity. Pp. 1–59.Downey Rod, Jockusch Carl G., and Stob Michael. Array Nonrecursive Degrees and Genericity, Pp. 93–104.Kumabe Masahiro, Degrees of Generic Sets, Pp. 167–183.Arslanov Marat M., Lemp. [REVIEW] Journal of Symbolic Logic 64 (3):1362-1365.
  4. Stefano de Martino, K. Aslihan Yener, Harry A. Hoffner Jr & Simrit Dhesi (2003). Recent Developments in Hittite Archaeology and History: Papers in Memory of Hans G. Guterbock. Journal of the American Oriental Society 123 (4):922.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  13
    David Estlund, Gerald C. MacCallum Jr, Marcus G. Singer & Rex Martin (1995). Legislative Intent and Other Essays on Law, Politics and Morality. Philosophical Review 104 (4):605.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  6.  11
    Richard G. Heck Jr (1998). That There Might Be Vague Objects (So Far as Concerns Logic). The Monist 81 (2):274 - 296.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  18
    Richard G. Heck Jr (1997). Finitude and Hume's Principle. Journal of Philosophical Logic 26 (6):589 - 617.
    The paper formulates and proves a strengthening of 'Frege's Theorem', which states that axioms for second-order arithmetic are derivable in second-order logic from Hume's Principle, which itself says that the number of Fs is the same as the number of Gs just in case the Fs and Gs are equinumerous. The improvement consists in restricting this claim to finite concepts, so that nothing is claimed about the circumstances under which infinite concepts have the same number. 'Finite Hume's Principle' also suffices (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  7
    Richard G. Heck Jr & Robert May (2011). The Composition of Thoughts. Noûs 45 (1):126 - 166.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  11
    Richard G. Heck Jr (2004). Truth and Disquotation. Synthese 142 (3):317 - 352.
    Hartry Field has suggested that we should adopt at least a methodological deflationism: "[W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions... are needed". I argue here that we do not need to be methodological deflationists. More precisely, I argue that we have no need for a disquotational truth-predicate; that (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  4
    Lee C. Archie & B. G. Hurdle Jr (1978). A Self-Directed Graduate Seminar. Metaphilosophy 9 (1):86–94.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  11.  4
    Richard G. Heck Jr (2011). Ramified Frege Arithmetic. Journal of Philosophical Logic 40 (6):715 - 735.
    Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege's definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  3
    Rayme Engel & M. G. Yoes Jr (1996). Exponentiating Entities by Necessity. Australasian Journal of Philosophy 74 (2):293 – 304.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  13.  11
    Vassiliki Betty Smocovitis (2006). Keeping Up with Dobzhansky: G. Ledyard Stebbins, Jr., Plant Evolution, and the Evolutionary Synthesis. History and Philosophy of the Life Sciences 28 (1):9 - 47.
    This paper explores the complex relationship between the plant evolutionist G. Ledyard Stebbins and the animal evolutionist Theodosius Dobzhansky. The manner in which the plant evolution was brought into line, synthesized, or rendered consistent with the understanding of animal evolution (and especially insect evolution) is explored, especially as it culminated with the publication of Stebbins's 1950 book Variation and Evolution in Plants. The paper explores the multi-directional traffic of influence between Stebbins and Dobzhansky, but also their social and professional networks (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  14. Carl G. Jockusch Jr & Alexandra Shlapentokh (1995). Weak Presentations of Computable Fields. Journal of Symbolic Logic 60 (1):199 - 208.
    It is shown that for any computable field K and any r.e. degree a there is an r.e. set A of degree a and a field F ≅ K with underlying set A such that the field operations of F (including subtraction and division) are extendible to (total) recursive functions. Further, it is shown that if a and b are r.e. degrees with b ≤ a, there is a 1-1 recursive function $f: \mathbb{Q} \rightarrow \omega$ such that f(Q) ∈ a, (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15. Carl G. Jockusch Jr (1969). The Degrees of Hyperhyperimmune Sets. Journal of Symbolic Logic 34 (3):489-493.
  16.  11
    Carl G. Jockusch Jr & James C. Owings Jr (1990). Weakly Semirecursive Sets. Journal of Symbolic Logic 55 (2):637-644.
    We introduce the notion of "semi-r.e." for subsets of ω, a generalization of "semirecursive" and of "r.e.", and the notion of "weakly semirecursive", a generalization of "semi-r.e.". We show that A is weakly semirecursive iff, for any n numbers x 1 ,...,x n , knowing how many of these numbers belong to A is equivalent to knowing which of these numbers belong to A. It is shown that there exist weakly semirecursive sets that are neither semi-r.e. nor co-semi-r.e. On the (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  17. Carl G. Jockusch Jr (1968). Uniformly Introreducible Sets. Journal of Symbolic Logic 33 (4):521-536.
  18.  22
    Carl G. Jockusch Jr (1972). Ramsey's Theorem and Recursion Theory. Journal of Symbolic Logic 37 (2):268-280.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  19.  8
    Carl G. Jockusch Jr & David B. Posner (1978). Double Jumps of Minimal Degrees. Journal of Symbolic Logic 43 (4):715 - 724.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  20.  28
    Valentina S. Harizanov, Carl G. Jockusch Jr & Julia F. Knight (2009). Chains and Antichains in Partial Orderings. Archive for Mathematical Logic 48 (1):39-53.
    We study the complexity of infinite chains and antichains in computable partial orderings. We show that there is a computable partial ordering which has an infinite chain but none that is ${\Sigma _{1}^{1}}$ or ${\Pi _{1}^{1}}$ , and also obtain the analogous result for antichains. On the other hand, we show that every computable partial ordering which has an infinite chain must have an infinite chain that is the difference of two ${\Pi _{1}^{1}}$ sets. Our main result is that there (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  19
    Vassiliki Betty Smocovitis (1999). Living with Your Biographical Subject: Special Problems of Distance, Privacy and Trust in the Biography of G. Ledyard Stebbins Jr. Journal of the History of Biology 32 (3):421 - 438.
    This paper explores the special problems encountered by the biographer of a living scientific subject. In particular, it explores the complex of problems that emerges from the intense interpersonal dynamic involving issues of distance, privacy and trust. It also explores methodological problems having to do with oral history interviews and other supporting documentation. It draws on the personal experience of the author and the biographical subject of G. Ledyard Stebbins Jr., the botanist, geneticist and evolutionist. It also offers prescriptives and (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  22. Carl G. Jockusch Jr (2001). In Memoriam: Joseph R. Shoenfield, 1927-2000. Bulletin of Symbolic Logic 7 (3):393-396.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  23.  15
    Carl G. Jockusch Jr & Richard A. Shore (1984). Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers. Journal of Symbolic Logic 49 (4):1205 - 1236.
  24.  23
    Carl G. Jockusch Jr & Robert I. Soare (1994). Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. Journal of Symbolic Logic 59 (4):1121 - 1138.
    We show, roughly speaking, that it requires ω iterations of the Turing jump to decode nontrivial information from Boolean algebras in an isomorphism invariant fashion. More precisely, if α is a recursive ordinal, A is a countable structure with finite signature, and d is a degree, we say that A has αth-jump degree d if d is the least degree which is the αth jump of some degree c such there is an isomorphic copy of A with universe ω in (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  25.  13
    Tamara Hummel & Carl G. Jockusch Jr (1999). Generalized Cohesiveness. Journal of Symbolic Logic 64 (2):489-516.
    We study some generalized notions of cohesiveness which arise naturally in connection with effective versions of Ramsey's Theorem. An infinite set A of natural numbers is n-cohesive (respectively, n-r-cohesive) if A is almost homogeneous for every computably enumerable (respectively, computable) 2-coloring of the n-element sets of natural numbers. (Thus the 1-cohesive and 1-r-cohesive sets coincide with the cohesive and r-cohesive sets, respectively.) We consider the degrees of unsolvability and arithmetical definability levels of n-cohesive and n-r-cohesive sets. For example, we show (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  26.  8
    Carl G. Jockusch Jr & Theodore A. Slaman (1993). On the Σ2-Theory of the Upper Semilattice of Turing Degrees. Journal of Symbolic Logic 58 (1):193 - 204.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  5
    Joan Feigenbaum, Haim Gaifman, Jean-Yves Girard, C. Ward Henson, Denis Hirschfeldt, Carl G. Jockusch Jr, Saul Kripke, Salma Kuhlmann, John C. Mitchell & Ernest Schimmerling (2001). 2001 Annual Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 7 (3):420-435.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  15
    Carl G. Jockusch Jr & Robert I. Soare (1973). Encodability of Kleene's O. Journal of Symbolic Logic 38 (3):437 - 440.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  5
    Carl G. Jockusch Jr (1973). An Application of ∑04 Determinancy to the Degrees of Unsolvability. Journal of Symbolic Logic 38 (2):293 - 294.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  8
    Carl G. Jockusch Jr (1974). Π01 Classes and Boolean Combinations of Recursively Enumerable Sets. Journal of Symbolic Logic 39 (1):95 - 96.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  5
    Rod Downey & Carl G. Jockusch Jr (1999). Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank. Journal of Symbolic Logic 64 (1):45-52.
    We show that there is a computable Boolean algebra B and a computably enumerable ideal I of B such that the quotient algebra B/I is of Cantor-Bendixson rank 1 and is not isomorphic to any computable Boolean algebra. This extends a result of L. Feiner and is deduced from Feiner's result even though Feiner's construction yields a Boolean algebra of infinite Cantor-Bendixson rank.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  32.  7
    Carl G. Jockusch Jr, Joseph S. Ullian & Robert B. Barrett Jr (1972). Meeting of the Association for Symbolic Logic: St. Louis 1972. Journal of Symbolic Logic 37 (4):775-782.
  33.  7
    Tamara J. Hummel & Carl G. Jockusch Jr (2001). Ramsey's Theorem for Computably Enumerable Colorings. Journal of Symbolic Logic 66 (2):873-880.
    It is shown that for each computably enumerable set P of n-element subsets of ω there is an infinite Π 0 n set $A \subseteq \omega$ such that either all n-element subsets of A are in P or no n-element subsets of A are in P. An analogous result is obtained with the requirement that A be Π 0 n replaced by the requirement that the jump of A be computable from 0 (n) . These results are best possible in (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  34.  7
    Nicholas Goodman, Harold T. Hodes, Carl G. Jockusch Jr & Kenneth McAloon (1988). Annual Meeting of the Association for Symbolic Logic, New York City, December 1987. Journal of Symbolic Logic 53 (4):1287 - 1299.
  35.  2
    Carl G. Jockusch Jr, Richard Laver, Donald Monk, Jan Mycielski & Jon Pearce (1984). Annual Meeting of the Association for Symbolic Logic: Denver, 1983. Journal of Symbolic Logic 49 (2):674 - 682.
  36.  7
    Carl G. Jockusch Jr & Robert I. Soare (1971). A Minimal Pair of Π0 1 Classes. Journal of Symbolic Logic 36 (1):66 - 78.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  37.  5
    Carl G. Jockusch Jr, Robert I. Soare, William Tait & Gaisi Takeuti (1978). Meeting of the Association for Symbolic Logic: Chicago, 1977. Journal of Symbolic Logic 43 (3):614 - 619.
  38.  3
    Carl G. Jockusch Jr & Robert I. Soare (1973). Post's Problem and His Hypersimple Set. Journal of Symbolic Logic 38 (3):446 - 452.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  39. Carl G. Jockusch Jr (1996). A Letter From. In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters.
    No categories
     
    Export citation  
     
    My bibliography  
  40. Carl G. Jockusch Jr (2005). Free Sets and Reverse Mathematics. In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 104.
     
    Export citation  
     
    My bibliography  
  41. R. Shore, T. Slaman & Carl G. Jockusch Jr (2001). REVIEWS-Defining the Turing Jump. Bulletin of Symbolic Logic 7 (1):73-74.
     
    Export citation  
     
    My bibliography  
  42. Carl G. Hempel, Donald Davidson & Nicholas Rescher (eds.) (1970). Essays in Honor of Carl G. Hempel. Dordrecht: D. Reidel.
    Reminiscences of Peter, by P. Oppenheim.--Natural kinds, by W. V. Quine.--Inductive independence and the paradoxes of confirmation, by J. Hintikka.--Partial entailment as a basis for inductive logic, by W. C. Salmon.--Are there non-deductive logics?, by W. Sellars.--Statistical explanation vs. statistical inference, by R. C. Jeffre--Newcomb's problem and two principles of choice, by R. Nozick.--The meaning of time, by A. Grünbaum.--Lawfulness as mind-dependent, by N. Rescher.--Events and their descriptions: some considerations, by J. Kim.--The individuation of events, by D. Davidson.--On properties, by (...)
     
    Export citation  
     
    My bibliography   36 citations  
  43.  95
    G. Hempel Carl (2001). The Philosophy of Carl G. Hempel: Studies in Science, Explanation, and Rationality. Oxford University Press.
    Editor James Fetzer presents an analytical and historical introduction and a comprehensive bibliography together with selections of many of Carl G. Hempel's most important studies to give students and scholars an ideal opportunity to appreciate the enduring contributions of one of the most influential philosophers of science of the 20th century.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  44.  42
    H. Fetzer James (ed.) (2000). Science, Explanation, and Rationality: Aspects of the Philosophy of Carl G. Hempel. Oxford University Press.
    Carl G. Hempel exerted greater influence upon philosophers of science than any other figure during the 20th century. In this far-reaching collection, distinguished philosophers contribute valuable studies that illuminate and clarify the central problems to which Hempel was devoted. The essays enhance our understanding of the development of logical empiricism as the major intellectual influence for scientifically-oriented philosophers and philosophically-minded scientists of the 20th century.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  45.  81
    Wesley C. Salmon (1999). The Spirit of Logical Empiricism: Carl G. Hempel's Role in Twentieth-Century Philosophy of Science. Philosophy of Science 66 (3):333-350.
    In this paper, I discuss the key role played by Carl G. Hempel's work on theoretical realism and scientific explanation in effecting a crucial philosophical transition between the beginning and the end of the twentieth century. At the beginning of the century, the dominant view was that science is incapable of furnishing explanations of natural phenomena; at the end, explanation is widely viewed as an important, if not the primary, goal of science. In addition to its intellectual benefits, this (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  46.  43
    Nicholas Rescher (ed.) (1969). Essays in Honor of Carl G. Hempel. Reidel.
    ... sentence in the system has one of a finite or infinite set of N. Rescher et at. (eds.), Essays in Honor of Carl G. Hempel. ...
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  47. N. Rescher (1970). Publications (1934-1969) by Carl G. Hempel. In Carl G. Hempel, Donald Davidson & Nicholas Rescher (eds.), Essays in Honor of Carl G. Hempel. Dordrecht: D. Reidel. pp. 27--266.
    No categories
     
    Export citation  
     
    My bibliography  
  48.  1
    Carl G. Vaught (1970). Two Concepts of God1: CARL G. VAUGHT. Religious Studies 6 (3):221-228.
    Genuine religion always involves the worship of what is genuinely ultimate. Religion, worship, and ultimate reality are thus indissolubly related. The task of reflective thought in this domain is to distinguish what is sound from what is spurious in religion; to characterise the meaning of religious devotion; and to attempt to articulate the nature of the ultimate reality to which men's worship is directed.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Carl Gustav Hempel, Nicholas Rescher & Donald Davidson (1970). Essays in Honor of Carl G. Hempel. A Tribute on the Occasion of His Sixty-Fifth Birthday. Essays by Donald Davidson [and Others] Edited by Nicholas Rescher. --. [REVIEW] D. Reidel.
    No categories
     
    Export citation  
     
    My bibliography  
  50. Carl Gustav Hempel, Wilhelm Karl Essler, Hilary Putnam & Wolfgang Stegmüller (1985). Epistemology, Methodology, and Philosophy of Science Essays in Honour of Carl G. Hempel on the Occasion of His 80th Birthday, January 8th, 1985. [REVIEW]
    No categories
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000