Results for 'Carl G. Jockusch Jr'

1000+ found
Order:
  1. Jockusch Carl G. Jr., and Posner David B.. Double Jumps of Minimal Degrees.M. Lerman - 1985 - Journal of Symbolic Logic 50 (2):550-552.
  2. Herrera-Acosta, J., 19.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 - In Alan F. Blackwell & David MacKay (eds.), Power. Cambridge University Press. pp. 171.
    No categories
     
    Export citation  
     
    My bibliography  
  3. 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]C. T. Chong - 1999 - Journal of Symbolic Logic 64 (3):1362-1365.
  4. Recent Developments in Hittite Archaeology and History: Papers in Memory of Hans G. Guterbock.Stefano de Martino, K. Aslihan Yener, Harry A. Hoffner Jr & Simrit Dhesi - 2003 - Journal of the American Oriental Society 123 (4):922.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  15
    Legislative Intent and Other Essays on Law, Politics and Morality.David Estlund, Gerald C. MacCallum Jr, Marcus G. Singer & Rex Martin - 1995 - Philosophical Review 104 (4):605.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  6.  21
    Finitude and Hume's Principle.Richard G. Heck Jr - 1997 - 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  
  7.  12
    Truth and Disquotation.Richard G. Heck Jr - 2004 - 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  
  8.  4
    A Self-Directed Graduate Seminar.Lee C. Archie & B. G. Hurdle Jr - 1978 - Metaphilosophy 9 (1):86–94.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9.  4
    Ramified Frege Arithmetic.Richard G. Heck Jr - 2011 - 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  
  10.  4
    Exponentiating Entities by Necessity.Rayme Engel & M. G. Yoes Jr - 1996 - Australasian Journal of Philosophy 74 (2):293 – 304.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11.  11
    Keeping Up with Dobzhansky: G. Ledyard Stebbins, Jr., Plant Evolution, and the Evolutionary Synthesis.Vassiliki Betty Smocovitis - 2006 - 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   3 citations  
  12. Weak Presentations of Computable Fields.Carl G. Jockusch Jr & Alexandra Shlapentokh - 1995 - 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  
  13. The Degrees of Hyperhyperimmune Sets.Carl G. Jockusch Jr - 1969 - Journal of Symbolic Logic 34 (3):489-493.
  14.  11
    Weakly Semirecursive Sets.Carl G. Jockusch Jr & James C. Owings Jr - 1990 - 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  
  15. Uniformly Introreducible Sets.Carl G. Jockusch Jr - 1968 - Journal of Symbolic Logic 33 (4):521-536.
  16.  15
    Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers.Carl G. Jockusch Jr & Richard A. Shore - 1984 - Journal of Symbolic Logic 49 (4):1205 - 1236.
  17.  23
    Ramsey's Theorem and Recursion Theory.Carl G. Jockusch Jr - 1972 - Journal of Symbolic Logic 37 (2):268-280.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  18.  8
    Double Jumps of Minimal Degrees.Carl G. Jockusch Jr & David B. Posner - 1978 - Journal of Symbolic Logic 43 (4):715 - 724.
  19. In Memoriam: Joseph R. Shoenfield, 1927-2000.Carl G. Jockusch Jr - 2001 - Bulletin of Symbolic Logic 7 (3):393-396.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  20.  21
    Living with Your Biographical Subject: Special Problems of Distance, Privacy and Trust in the Biography of G. Ledyard Stebbins Jr.Vassiliki Betty Smocovitis - 1999 - 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 (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  21.  28
    Chains and Antichains in Partial Orderings.Valentina S. Harizanov, Carl G. Jockusch Jr & Julia F. Knight - 2009 - 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  
  22.  23
    Boolean Algebras, Stone Spaces, and the Iterated Turing Jump.Carl G. Jockusch Jr & Robert I. Soare - 1994 - 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   2 citations  
  23.  13
    Generalized Cohesiveness.Tamara Hummel & Carl G. Jockusch Jr - 1999 - 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  
  24.  7
    2001 Annual Meeting of the Association for Symbolic Logic.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 - Bulletin of Symbolic Logic 7 (3):420-435.
  25.  8
    On the Σ2-Theory of the Upper Semilattice of Turing Degrees.Carl G. Jockusch Jr & Theodore A. Slaman - 1993 - Journal of Symbolic Logic 58 (1):193 - 204.
  26.  15
    Encodability of Kleene's O.Carl G. Jockusch Jr & Robert I. Soare - 1973 - Journal of Symbolic Logic 38 (3):437 - 440.
  27.  5
    An Application of ∑04 Determinancy to the Degrees of Unsolvability.Carl G. Jockusch Jr - 1973 - Journal of Symbolic Logic 38 (2):293 - 294.
  28.  8
    Π01 Classes and Boolean Combinations of Recursively Enumerable Sets.Carl G. Jockusch Jr - 1974 - Journal of Symbolic Logic 39 (1):95 - 96.
  29.  8
    Meeting of the Association for Symbolic Logic: St. Louis 1972.Carl G. Jockusch Jr, Joseph S. Ullian & Robert B. Barrett Jr - 1972 - Journal of Symbolic Logic 37 (4):775-782.
  30.  3
    Post's Problem and His Hypersimple Set.Carl G. Jockusch Jr & Robert I. Soare - 1973 - Journal of Symbolic Logic 38 (3):446 - 452.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  7
    Ramsey's Theorem for Computably Enumerable Colorings.Tamara J. Hummel & Carl G. Jockusch Jr - 2001 - 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 (8 more)  
     
    Export citation  
     
    My bibliography  
  32.  5
    Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank.Rod Downey & Carl G. Jockusch Jr - 1999 - 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  
  33.  7
    Annual Meeting of the Association for Symbolic Logic, New York City, December 1987.Nicholas Goodman, Harold T. Hodes, Carl G. Jockusch Jr & Kenneth McAloon - 1988 - Journal of Symbolic Logic 53 (4):1287 - 1299.
  34.  7
    A Minimal Pair of Π0 1 Classes.Carl G. Jockusch Jr & Robert I. Soare - 1971 - Journal of Symbolic Logic 36 (1):66 - 78.
  35.  2
    Annual Meeting of the Association for Symbolic Logic: Denver, 1983.Carl G. Jockusch Jr, Richard Laver, Donald Monk, Jan Mycielski & Jon Pearce - 1984 - Journal of Symbolic Logic 49 (2):674 - 682.
  36.  5
    Meeting of the Association for Symbolic Logic: Chicago, 1977.Carl G. Jockusch Jr, Robert I. Soare, William Tait & Gaisi Takeuti - 1978 - Journal of Symbolic Logic 43 (3):614 - 619.
  37. A Letter From.Carl G. Jockusch Jr - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters.
    No categories
     
    Export citation  
     
    My bibliography  
  38. Free Sets and Reverse Mathematics.Carl G. Jockusch Jr - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 104.
  39. REVIEWS-Defining the Turing Jump.R. Shore, T. Slaman & Carl G. Jockusch Jr - 2001 - Bulletin of Symbolic Logic 7 (1):73-74.
  40. Essays in Honor of Carl G. Hempel.Carl G. Hempel, Donald Davidson & Nicholas Rescher (eds.) - 1970 - 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  
  41.  96
    The Philosophy of Carl G. Hempel: Studies in Science, Explanation, and Rationality.G. Hempel Carl - 2001 - 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  
  42.  45
    Science, Explanation, and Rationality: Aspects of the Philosophy of Carl G. Hempel.H. Fetzer James (ed.) - 2000 - 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  
  43.  84
    The Spirit of Logical Empiricism: Carl G. Hempel's Role in Twentieth-Century Philosophy of Science.Wesley C. Salmon - 1999 - 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  
  44.  47
    Essays in Honor of Carl G. Hempel.Nicholas Rescher (ed.) - 1969 - 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  
  45. Publications (1934-1969) by Carl G. Hempel.N. Rescher - 1970 - 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  
  46.  1
    Two Concepts of God1: CARL G. VAUGHT.Carl G. Vaught - 1970 - 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  
  47. The Philosophy of Carl G. Hempel: Studies in Science, Explanation, and Rationality.H. Fetzer James (ed.) - 2001 - Oup Usa.
    Hempel was one of the most influential philosophers of science in the 20th century, along with Thomas Kuhn and Sir Karl Popper. His work defined the central problems of the field and its proper methods of investigation. By presenting an analytical and historical introduction and a comprehensive bibliography together with a selection of many of Carl G. Hempel's most important studies, this volume provides an ideal opportunity for students and scholars to appreciate the enduring contributions of one of the (...)
    No categories
     
    Export citation  
     
    My bibliography  
  48. The Philosophy of Carl G. Hempel.G. Hempel Carl & H. Fetzer James - 2002 - Mind 111 (443):683-687.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  49. 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]Carl Gustav Hempel, Nicholas Rescher & Donald Davidson - 1970 - D. Reidel.
    No categories
     
    Export citation  
     
    My bibliography  
  50. Epistemology, Methodology, and Philosophy of Science Essays in Honour of Carl G. Hempel on the Occasion of His 80th Birthday, January 8th, 1985. [REVIEW]Carl Gustav Hempel, Wilhelm Karl Essler, Hilary Putnam & Wolfgang Stegmüller - 1985
    No categories
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000