Order:
Disambiguations
John Myhill [72]J. Myhill [13]John R. Myhill [6]J. R. Myhill [2]
  1. Constructive Set Theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   37 citations  
  2.  20
    Creative Sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  3.  9
    Creative Sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   22 citations  
  4.  80
    Paradoxes.John Myhill - 1984 - Synthese 60 (1):129 - 143.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  5. Remarks on the Language of Physics.John Myhill - 1963 - Philosophy of Science 30 (4):305-306.
    A notation for the language of physics is given, and a system of axioms constructed. It is argued that from the standpoint of a 'realistic' ontology our method is preferable to Carnap's 'coordinate languages.' The primitive ideas are the part-whole relation μ and the set H of coordinate systems. Only such statements are intended in the axioms as are non-controversial; i.e. no open cosmological questions are prejudged.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  6.  64
    Some Remarks on the Notion of Proof.John Myhill - 1960 - Journal of Philosophy 57 (14):461-471.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  7.  15
    Some Properties of Intuitionistic Zermelo-Frankel Set Theory.John Myhill - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 206--231.
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  8.  9
    Implication and Analysis in Classical Frege Structures.Robert C. Flagg & John Myhill - 1987 - Annals of Pure and Applied Logic 34 (1):33-85.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  9.  17
    Effective Operations on Partial Recursive Functions.J. Myhill & J. C. Shepherdson - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):310-317.
  10.  17
    Problems Arising in the Formalization of Intensional Logic.John Myhill - 1958 - Logique Et Analyse 1 (1):78-83.
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  11.  20
    Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  10
    Intuitionism and Proof Theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam: North-Holland Pub. Co..
    Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  13.  6
    Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  14.  17
    Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (3-6):93-96.
  15.  48
    Some Philosophical Implications of Mathematical Logic: I. Three Classes of Ideas.John Myhill - 1952 - Review of Metaphysics 6 (2):165 - 198.
  16.  16
    An Absolutely Independent Set of ΣO01-Sentences.John Myhill - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):107-109.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  4
    Effective Operations on Partial Recursive Functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.
  18.  15
    The Invalidity of Markoff's Schema.John Myhill - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (23):359-360.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Levels of Implication.John Myhill - 1975 - In Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.), The Logical Enterprise. Yale University Press. pp. 179--185.
     
    Export citation  
     
    My bibliography   5 citations  
  20. A Refutation of an Unjustified Attack on the Axiom of Reducibility.John Myhill - 1979 - In Bertrand Russell & George Washington Roberts (eds.), Bertrand Russell Memorial Volume. Humanities Press. pp. 81--90.
     
    Export citation  
     
    My bibliography   4 citations  
  21.  11
    Retort to Mr. Benes.John Myhill - 1954 - Philosophical Studies 5 (3):47-48.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  8
    On the Interpretation of the Sign '⊃'.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):60-62.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  23.  13
    Gödel's Proof. [REVIEW]John Myhill - 1961 - Journal of Philosophy 58 (8):209-218.
  24. The Undefinability of the Set of Natural Numbers in the Ramified Principia.John Myhill - 1974 - In George Nakhnikian (ed.), Bertrand Russell's Philosophy. [London]Duckworth. pp. 19--27.
     
    Export citation  
     
    My bibliography   3 citations  
  25.  6
    Constructive Definition of Certain Analytic Sets of Numbers.P. Lorenzen & J. Myhill - 1959 - Journal of Symbolic Logic 24 (1):37-49.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  26. Recursive Equivalence Types and Combinatorial Functions.John Myhill - 1966 - Journal of Symbolic Logic 31 (3):510-511.
  27.  5
    On the Interpretation of the Sign `$\Supset$'.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):60 - 62.
  28.  2
    A System Which Can Define its Own Truth.John Myhill - 1950 - Fundamenta Mathematicae 37 (1):190--92.
  29.  18
    A Complete Theory of Natural, Rational, and Real Numbers.John R. Myhill - 1950 - Journal of Symbolic Logic 15 (3):185-196.
  30.  5
    A Derivation of Number Theory From Ancestral Theory.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):192-197.
  31.  9
    What is Universal and What is Language-Specific in Emotion Words?: Evidence From Biblical Hebrew.John Myhill - 1997 - Pragmatics and Cognitionpragmatics and Cognition 5 (1):79-129.
    This paper proposes a model for the analysis of emotions in which each emotion word in each language is made up of a universal component and a language-specific component; the universal component is drawn from a set of universal human emotions which underlie all emotion words in all languages, and the language-specific component involves a language-particular thought pattern which is expressed as part of the meanings of a variety of different words in the language. The meanings of a variety of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  32. Note on Degrees of Partial Functions.John Myhill - 1972 - Journal of Symbolic Logic 37 (2):408-408.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  33.  2
    A Type-Free System Extending.John Myhill & Bob Flagg - 1989 - Annals of Pure and Applied Logic 43 (1):79-97.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  14
    Two Ways of Ontology in Modern Logic.John Myhill - 1951 - Review of Metaphysics 5 (4):639 - 655.
  35.  29
    Note on an Idea of Fitch.John R. Myhill - 1949 - Journal of Symbolic Logic 14 (3):175-176.
  36.  4
    Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Mathematical Logic Quarterly 19 (3‐6):93-96.
  37.  3
    An Absolutely Independent Set of ΣO 01‐Sentences.John Myhill - 1972 - Mathematical Logic Quarterly 18 (7):107-109.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38.  11
    Criteria of Constructibility for Real Numbers.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):7-10.
  39.  1
    The Formalization of Intuitionism.John Myhill & Raymond Klibansky - 1975 - Journal of Symbolic Logic 40 (4):625-625.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  10
    Arithmetic with Creative Definitions by Induction.John Myhill - 1953 - Journal of Symbolic Logic 18 (2):115-118.
  41.  9
    A Finitary Metalanguage for Extended Basic Logic.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):164-178.
  42.  3
    Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (4):341-342.
  43.  2
    Towards a Consistent Set-Theory.W. V. Quine & John Myhill - 1951 - Journal of Symbolic Logic 16 (4):273.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Choice Implies Excluded Middle.N. D. Goodman & J. Myhill - 1975 - Zeitschrift Fur Mathematische Logik Und Grundlaaen der Mathematik 24:461.
     
    Export citation  
     
    My bibliography   1 citation  
  45.  17
    Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.John Myhill - 1951 - Journal of Symbolic Logic 16 (1):35-42.
  46.  6
    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  
     
    My bibliography  
  47.  5
    Review: Yehoshua Bar-Hillel, On Syntactical Categories. [REVIEW]John Myhill - 1950 - Journal of Symbolic Logic 15 (3):220-220.
  48.  13
    Solution of a Problem of Tarski.John Myhill - 1956 - Journal of Symbolic Logic 21 (1):49-51.
  49. Review: R. L. Goodstein, Constructive Formalism. Essays on the Foundations of Mathematics; R. L. Goodstein, The Foundations of Mathematics. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (3):258-260.
     
    Export citation  
     
    My bibliography  
  50. The Hypothesis That All Classes Are Nameable.John Myhill - 1955 - Journal of Symbolic Logic 20 (1):80-80.
1 — 50 / 85