Results for 'J. Myhill'

961 found
Order:
  1.  13
    Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.
  2.  37
    Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):310-317.
  3.  73
    Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
  4.  30
    Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.
  5. Choice Implies Excluded Middle.N. D. Goodman & J. Myhill - 1975 - Zeitschrift Fur Mathematische Logik Und Grundlaaen der Mathematik 24:461.
     
    Export citation  
     
    Bookmark   14 citations  
  6.  17
    Constructive definition of certain analytic sets of numbers.P. Lorenzen & J. Myhill - 1959 - Journal of Symbolic Logic 24 (1):37-49.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  4
    Constructive Definition of Certain Analytic Sets of Numbers.P. Lorenzen & J. Myhill - 1968 - Journal of Symbolic Logic 33 (2):295-295.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  15
    On the Original Gentzen Consistency Proof for Number Theory.Paul Bernays, A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  9.  31
    Errett Bishop. Foundations of constructive analysis. McGraw-Hill Book Company, New York, San Francisco, St. Louis, Toronto, London, and Sydney, 1967, xiii + 370 pp. - Errett Bishop. Mathematics as a numerical language. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 53–71. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  24
    Review: Errett Bishop, Foundations of Constructive Analysis; Errett Bishop, A. Kino, J. Myhill, R. E. Vesley, Mathematics as a Numerical Language. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  19
    Review: J. Myhill, J. C. Shepherdson, Effective Operations on Partial Recursive Functions. [REVIEW]J. C. E. Dekker - 1957 - Journal of Symbolic Logic 22 (3):303-303.
  12.  18
    Myhill's work in recursion theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
    In this paper we discuss the following contributions to recursion theory made by John Myhill: two sets are recursively isomorphic iff they are one-one equivalent; two sets are recursively isomorphic iff they are recursively equivalent and their complements are also recursively equivalent; every two creative sets are recursively isomorphic; the recursive analogue of the Cantor–Bernstein theorem; the notion of a combinatorial function and its use in the theory of recursive equivalence types.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  18
    Note on a system of Myhill.J. C. Shepherdson - 1956 - Journal of Symbolic Logic 21 (3):261-264.
  14.  31
    Myhill J. and Shepherdson J. C.. Effective operations on partial recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, vol. 1 , pp. 310–317. [REVIEW]J. C. E. Dekker - 1957 - Journal of Symbolic Logic 22 (3):303-303.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  12
    Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  16.  11
    Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  17.  6
    Myhill John. Constructive set theory.R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  26
    John Myhill. Recursive equivalence types and combinatorial functions. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 46–55. [REVIEW]J. C. E. Dekker - 1966 - Journal of Symbolic Logic 31 (3):510-511.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  9
    Review: John Myhill, Recursive Equivalence Types and Combinatorial Functions. [REVIEW]J. C. E. Dekker - 1966 - Journal of Symbolic Logic 31 (3):510-511.
  20.  9
    John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 , pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 , pp. 1–28. [REVIEW]R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
  21.  9
    Review: J. Myhill, Category Methods in Recursion Theory. [REVIEW]S. B. Cooper - 1973 - Journal of Symbolic Logic 38 (4):654-654.
  22.  4
    P. Lorenzen and J. Myhill. Constructive definition of certain analytic sets of numbers. The journal of symbolic logic, vol. 24 no. 1 , pp. 37–49.A. Nerode - 1968 - Journal of Symbolic Logic 33 (2):295.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  17
    Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 47–52. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
  24. Review: P. Lorenzen, J. Myhill, Constructive Definition of Certain Analytic Sets of Numbers. [REVIEW]A. Nerode - 1968 - Journal of Symbolic Logic 33 (2):295-295.
  25.  19
    David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 339–361. [REVIEW]Helmut Pfeiffer - 1973 - Journal of Symbolic Logic 38 (2):334-335.
  26.  22
    Review: David Isles, A. Kino, J. Myhill, R. E. Vesley, Regular Ordinals and Normal Forms. [REVIEW]Helmut Pfeiffer - 1973 - Journal of Symbolic Logic 38 (2):334-335.
  27.  39
    A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45. [REVIEW]James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  15
    Review: R. E. Vesley, A. Kino, J. Myhill, A Palatable Substitute for Kripke's Schema. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  17
    R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 197–207. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
  30.  24
    Per Martin-Löf. The definition of random sequences. Information and control, vol. 9 , pp. 602–619. - Per Martin-Löf. The literature on von Mises' Kollectivs revisited. Theoria, vol. 35 , pp. 12–37. - Per Martin-Löf. On the notion of randomness. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo, N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 73–78. [REVIEW]Robert A. DiPaola - 1975 - Journal of Symbolic Logic 40 (3):450-452.
  31.  11
    Review: Per Martin-Lof, The Definition of Random Sequences; Per Martin-Lof, The Literature on von Mises' Kollectivs Revisited; Per Martin-Lof, A. Kino, J. Myhill, R. E. Vesley, On the Notion of Randomness. [REVIEW]Robert A. DiPaola - 1975 - Journal of Symbolic Logic 40 (3):450-452.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  27
    Charles Parsons. On a number theoretic choice schema and its relation to induction. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 459–473. - Charles Parsons. Review of the foregoing. Zentralblatt für Mathematik and ihre Grenzgebiete, vol. 202 , pp. 12–13. - Charles Parsons. On n-quantifier induction. The journal of symbolic logic, vol. 37 , pp. 466–482. [REVIEW]Helmut Schwichtenberg - 1974 - Journal of Symbolic Logic 39 (2):342.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  15
    Review: Charles Parsons, A. Kino, J. Myhill, R. E. Vesley, On a Number Theoretic Choice Schema and its Relation to Induction; Charles Parsons, Review of the Foregoing; Charles Parsons, On $n$-Quantifier Induction. [REVIEW]Helmut Schwichtenberg - 1974 - Journal of Symbolic Logic 39 (2):342-342.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  11
    J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 , pp. 357–373.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):84-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  27
    J. C. E. Dekker and J. Myhill. Recursive equivalence types. University of California publications in mathematics, n.s. vol. 3 no. 3 , pp. 67–214. - J. C. E. Dekker. Congruences in isols with a finite modulus. Mathematische Zeitschrift, vol. 70 , pp. 113–124. - J. Myhill. Recursive equivalence types and combinatorial functions. Bulletin of the American Mathematical Society, vol. 64 , pp. 373–376. - J. C. E. Dekker. The factorial function for isols. Mathematische Zeitschrift, vol. 70 , pp. 250–262. - J. C. E. Dekker and J. Myhill. The divisibility of isols by powers of primes. Mathematische Zeitschrift, vol. 73 . pp. 127–133. - J. C. E. Dekker. An expository account of isols. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 189–200. [REVIEW]Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.
  36.  6
    Review: J. C. E. Dekker, J. Myhill, Some Theorems on Classes of Recursively Enumerable Sets. [REVIEW]Martin Davis - 1962 - Journal of Symbolic Logic 27 (1):84-84.
  37.  6
    Myhill J.. Problems arising in the formalization of intensional logic. Logique et analyse, n.s. vol. 1 , pp. 74–83.Bede Rundle - 1972 - Journal of Symbolic Logic 37 (1):180-180.
  38.  19
    J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 , pp. 357–373. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):84-85.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  5
    Myhill J.. Category methods in recursion theory. Pacific journal of mathematics, vol. 11 , pp. 1479–1486.S. B. Cooper - 1973 - Journal of Symbolic Logic 38 (4):654-654.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  10
    Myhill J. R.. Three contributions to recursive function theory. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 50–59. [REVIEW]Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):176-177.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  5
    Review: J. R. Myhill, Three Contributions to Recursive Function Theory. [REVIEW]Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):176-177.
  42.  14
    Dekker J. C. E. and Myhill J.. Some theorems on classes of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 89 , pp. 25–59. [REVIEW]Martin Davis - 1962 - Journal of Symbolic Logic 27 (1):84-84.
  43.  6
    Sustainable medicine: whistle-blowing on 21st-century medical practice.Sarah Myhill - 2015 - White River Junction, Vermont: Chelsea Green Publishing.
    Sustainable Medicine is based on the premise that twenty-first century Western medicine--driven by vested interests--is failing to address the root causes of disease. Symptom-suppressing medication and "polypharmacy" have resulted in an escalation of disease and a system of so-called "health care," which more closely resembles "disease care." In this essential book, Dr. Sarah Myhill aims to empower people to heal themselves by addressing the underlying causes of their illness. She presents a logical progression from identifying symptoms, to understanding the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  27
    Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
  45.  9
    Variations on a theme of Bernays.John Myhill - 1963 - Notre Dame Journal of Formal Logic 4 (4):274-282.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  7
    Philosophy of Nature.John Myhill - 1950 - Philosophy and Phenomenological Research 11 (2):268-271.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  9
    The Mathematical Basis of the Arts.John Myhill - 1950 - Philosophy and Phenomenological Research 11 (1):109-113.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  7
    The Limits of Science.John R. Myhill - 1949 - Philosophy and Phenomenological Research 9 (4):749-753.
  49.  6
    Constructive Formalism. Essays on the Foundations of Mathematics.John Myhill - 1953 - Journal of Symbolic Logic 18 (3):258-260.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  8
    The Limits of Science. Outline of Logic and the Methodology of the Exact Sciences.John R. Myhill - 1949 - Journal of Symbolic Logic 14 (2):119-125.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 961