John Myhill

Q: What Schools Are Affiliated With John Myhill

John Myhill is affiliated with the following schools: Harvard University, University of California, Berkeley, University at Buffalo, Yale University, Stanford University, University of Chicago, Temple University

John Myhill's AcademicInfluence.com Rankings

John Myhill

Mathematics

#1757

Historical Rank

Measure Theory

#2846

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Why Is John Myhill Influential?

(Suggest an Edit or Addition)

According to Wikipedia, John R. Myhill Sr. was a British mathematician. Education Myhill received his Ph.D. from Harvard University under Willard Van Orman Quine in 1949. He was professor at SUNY Buffalo from 1966 until his death in 1987. He also taught at several other universities.

(See a Problem?)

John Myhill's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The converse of Moore’s Garden-of-Eden theorem (1963) (269)
Constructive set theory (1975) (223)
Intuitionism and Proof Theory (1970) (151)
Recursive Equivalence Types (1962) (105)
Choice Implies Excluded Middle (1978) (95)
Some properties of intuitionistic zermelo-frankel set theory (1973) (93)
Some Remarks on the Notion of Proof (1960) (92)
Effective operations on partial recursive functions (1955) (91)
On Carnap's Views on Ontology. (1955) (70)
On the Size of Weights Required for Linear-Input Switching Functions (1961) (59)
Some theorems on classes of recursively enumerable sets (1958) (52)
The use of the verbal —sInflection in BEV (1986) (50)
NOTES TOWARDS AN AXIOMATIZATION OF INTUITIONISTIC ANALYSIS (1966) (46)
Recursive equivalence types and combinatorial functions (1958) (46)
FORMAL SYSTEMS OF INTUITIONISTIC ANALYSIS, I, (1968) (38)
Typological discourse analysis : quantitative approaches to the study of linguistic function (1992) (34)
Retraceable Sets (1958) (34)
Criteria of constructibility for real numbers (1953) (33)
Intensional Set Theory (1985) (31)
Solution of a problem of Tarski (1956) (31)
The use of features of present-day AAVE in the ex-slave recordings (1995) (30)
The Discourse and Interactive Functions of Obligation Expressions (1995) (30)
Note on degrees of partial functions (1961) (29)
Intuitionism and Proof Theory Proceedings of the Summer Conference at Buffalo, N.Y., 1968 (1970) (26)
Recursive digraphs, splinters and cylinders (1959) (24)
The formalization of Bishop's constructive mathematics (1972) (22)
Shorter Note: The Converse of Moore's Garden-of-Eden Theorem (1963) (22)
Typological discourse analysis (1992) (21)
The Hypothesis that all Classes are Nameable. (1952) (19)
Category methods in recursion theory (1961) (18)
A Type-Free System Extending (ZFC) (1989) (17)
A system which can define its own truth (1950) (16)
What Is a Real Number (1972) (16)
Constructive definition of certain analytic sets of numbers (1959) (16)
Review: W. V. Quine, On Carnap's Views on Ontology (1955) (16)
A complete theory of natural, rational, and real numbers (1950) (14)
Formal Systems of Intuitionistic Analysis II: The Theory of Species (1970) (13)
A derivation of number theory from ancestral theory (1952) (13)
A note on indicator-functions (1973) (10)
The discourse function af clause-chaining (1988) (9)
On the interpretation of the sign ‘⊃’ (1953) (9)
Controlled Indeterminacy A First Step Towards a Semi-Stochastic Music Language (1979) (8)
Some Simplifications and Improvements in the Stochastic Music Program (1978) (8)
Word order and temporal sequencing (1992) (8)
Typological text analysis: tense and aspects in creoles and second languages (1991) (7)
The divisibility of isols by powers of primes (1960) (7)
Arithmetic with creative definitions by induction (1953) (6)
An Absolutely Independent Set of ΣO 01‐Sentences (1972) (6)
Elementary properties of the group of isolic integers (1962) (6)
A study of aspect, word order, and voice (1984) (6)
The two VS constructions in Rumanian (1986) (5)
Symposium: On the Ontological Significance of the Löwenheim-Skolem Theorem (1953) (5)
Problems in symbolic logic (1956) (5)
The Formalization of Intuitionism (1975) (4)
The Invalidity of Markoff's Schema (1963) (4)
Two Sources of VS order in Rumanian (1987) (3)
Review: Yehoshua Bar-Hillel, On Syntactical Categories (1950) (3)
Three Contributions to Recursive Function Theory (1953) (2)
A finitary metalanguage for extended basic logic (1952) (2)
A reduction in the number of primitive ideas of arithmetic (1950) (2)
Report on some investigations concerning the consistency of the axiom of reducibility (1951) (2)
Towards a consistent set-theory (1951) (2)
Retort to Mr. Benes (1954) (2)
Remark on a system of bernays (1963) (1)
Note on an idea of Fitch (1949) (1)
Advanced Problems: 6205,6240-6245 (1978) (1)
Embedding Classical Logic in Intuitionistic Logic (1973) (1)
Advanced Problems: 5889-5894 (1973) (1)
Review: Theodore Hailperin, Quantification Theory and Empty Individual Domains (1955) (0)
Remarks on the Language of Physics (1963) (0)
Quine W. V.. On Carnap's views on ontology. Philosophical studies, vol. 2 (1951), pp. 65–72. (1955) (0)
Variations on a theme of Bernays (1963) (0)
List of officers and members of the Association for Symbolic Logic (1954) (0)
Review: R. M. Martin, A Note on Nominalistic Syntax (1950) (0)
Musical Theory and Musical Practice (1955) (0)
On the Interpretation of the Sign 'subset of' (1953) (0)
Advanced Problems: 6162-6167 (1977) (0)
Empirical Meaningfulness and Intuitionistic Logic (1972) (0)
Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates (1953) (0)
REVIEWS (1949) (0)
Review: R. M. Martin, A Note on Nominalism and Recursive Functions (1950) (0)
A Hierarchy of Languages with Infinitely Long Expressions (1975) (0)
Review: Patrick Suppes, Introduction to logic (1959) (0)

This paper list is powered by the following services:

Other Resources About John Myhill

en.wikipedia.org

What Schools Are Affiliated With John Myhill?

John Myhill is affiliated with the following schools: