# zbMATH — the first resource for mathematics

## Myhill, John R.

Compute Distance To:
 Author ID: myhill.john-r Published as: Myhill, J.; Myhill, J. R.; Myhill, John; Myhill, John R. External Links: MGP · Wikidata · dblp
 Documents Indexed: 57 Publications since 1949, including 1 Book Biographic References: 3 Publications
all top 5

#### Co-Authors

 43 single-authored 4 Dekker, Jacob C. E. 2 Flagg, Robert C. 2 Goodman, Nicolas D. 2 Kino, Akiko 1 Flagg, Bob 1 Lorenzen, Paul 1 Scott, Dana Stewart 1 Shepherdson, John C. 1 Vesley, Richard E.
all top 5

#### Serials

 14 The Journal of Symbolic Logic 6 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 Proceedings of the American Mathematical Society 2 Mathematische Zeitschrift 2 Annals of Pure and Applied Logic 1 American Mathematical Monthly 1 Canadian Journal of Mathematics 1 Fundamenta Mathematicae 1 Logique et Analyse. Nouvelle Série 1 Mathematische Annalen 1 Michigan Mathematical Journal 1 Notre Dame Journal of Formal Logic 1 Pacific Journal of Mathematics 1 Transactions of the American Mathematical Society 1 Proceedings of the National Academy of Sciences of the United States of America 1 Bulletin of the American Mathematical Society 1 Studies in Logic and the Foundations of Mathematics

#### Fields

 20 Mathematical logic and foundations (03-XX) 3 Real functions (26-XX) 3 Computer science (68-XX) 1 General and overarching topics; collections (00-XX)

#### Citations contained in zbMATH

52 Publications have been cited 570 times in 467 Documents Cited by Year
The converse of Moore’s Garden-of-Eden theorem. Zbl 0126.32501
Myhill, John
1963
Creative sets. Zbl 0065.00105
Myhill, John
1955
Constructive set theory. Zbl 0314.02045
Myhill, John
1975
Retraceable sets. Zbl 0082.01505
Dekker, J. C. E.; Myhill, J.
1958
Recursive equivalence types. Zbl 0249.02021
Dekker, J. C. E.; Myhill, J.
1960
Effective operations on partial recursive functions. Zbl 0068.24706
Myhill, J.; Shepherdson, J. C.
1955
Choice implies excluded middle. Zbl 0387.03017
Goodman, N.; Myhill, J.
1978
A recursive function, defined on a compact interval and having a continuous derivative that is not recursive. Zbl 0218.02029
Myhill, J.
1971
Recursive equivalence types and combinatorial functions. Zbl 0085.24801
Myhill, J.
1958
Some theorems on classes of recursively enumerable sets. Zbl 0083.00302
Dekker, J. C. E.; Myhill, J.
1958
Notes towards an axiomatization of intuitionistic analysis. Zbl 0187.26307
Myhill, J.
1966
Recursive digraphs, splinters and cylinders. Zbl 0087.25103
Myhill, John
1959
Ordinal definability. Zbl 0226.02048
Myhill, John; Scott, Dana
1971
Criteria of constructibility for real numbers. Zbl 0052.25101
Myhill, John
1953
Note on degrees of partial functions. Zbl 0101.01201
Myhill, John
1961
Implication and analysis in classical Frege structures. Zbl 0632.03045
Flagg, Robert C.; Myhill, John
1987
Some properties of intuitionistic Zermelo-Frankel set theory. Zbl 0272.02039
Myhill, John
1973
A type-free system extending (ZFC). Zbl 0675.03004
Myhill, John; Flagg, Bob
1989
The invalidity of Markoff’s schema. Zbl 0122.01102
Myhill, J.
1963
The hypothesis that all classes are nameable. Zbl 0049.14903
Myhill, John
1952
An extension of Frege structures. Zbl 0662.03051
Flagg, Robert C.; Myhill, John
1987
Intensional set theory. Zbl 0592.03043
Myhill, John
1985
Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201
Kino, A. (ed.); Myhill, J. (ed.); Vesley, R. (ed.)
1970
Formal systems of intuitionistic analysis. I. Zbl 0202.00601
Myhill, J.
1968
Category methods in recursion theory. Zbl 0112.24601
Myhill, J.
1961
The divisibility of isols by powers of primes. Zbl 0094.00803
Dekker, J. C. E.; Myhill, J.
1960
Constructive definition of certain analytic sets of numbers. Zbl 0091.01303
Lorenzen, P.; Myhill, J.
1959
A system which can define its own truth. Zbl 0041.15002
Myhill, John
1950
A note on indicator-functions. Zbl 0262.02026
Myhill, J.
1973
The converse of Moore’s Garden-of-Eden theorem. Zbl 0233.94027
Myhill, John
1970
The abstract theory of self-reproduction. Zbl 0201.48503
Myhill, J.
1964
Solution of a problem of Tarski. Zbl 0071.01003
Myhill, John
1956
Arithmetic with creative definitions by inductions. Zbl 0053.20005
Myhill, John
1953
An absolutely independent set of $$\Sigma^0_1$$-sentences. Zbl 0273.02030
Myhill, John
1972
Formal systems of intuitionistic analysis. II: The theory of species. Zbl 0202.00602
Myhill, J.
1970
Recursive equivalence types and combinatorial functions. Zbl 0149.24605
Myhill, J.
1962
Elementary properties of the group of isolic integers. Zbl 0100.24809
Myhill, John
1962
A reduction in the number of primitive ideas of arithmetic. Zbl 0038.00602
Myhill, John R.
1950
Levels of implication. Zbl 0362.02015
Myhill, John
1975
What is a real number? Zbl 0255.02030
Myhill, John
1972
The formalization of Bishop’s constructive mathematics. Zbl 0247.02033
Goodman, Nicolas D.; Myhill, John
1972
$$\Omega-\Lambda$$. Zbl 0149.24701
Myhill, J.
1962
On the interpretation of the sign “$$\supset$$”. Zbl 0050.24604
Myhill, John
1953
A finitary metalanguage for extended basic logic. Zbl 0049.14902
Myhill, John
1952
A derivation of number theory from ancestral theory. Zbl 0047.01402
Myhill, John
1952
Report on some investigations concerning the consistency of the reducibility. Zbl 0042.00802
Myhill, John
1951
A complete theory of natural, rational, and real numbers. Zbl 0041.34207
Myhill, John R.
1950
Embedding classical logic in intuitionistic logic. Zbl 0255.02019
Myhill, John
1973
Remark on a system of Bernays. Zbl 0121.01601
Myhill, J.
1964
Variations on a theme of Bernays. Zbl 0173.00701
Myhill, J.
1963
Towards a consistent set-theory. Zbl 0043.01001
Myhill, John
1951
Note on an idea of Fitch. Zbl 0037.29701
Myhill, John R.
1949
A type-free system extending (ZFC). Zbl 0675.03004
Myhill, John; Flagg, Bob
1989
Implication and analysis in classical Frege structures. Zbl 0632.03045
Flagg, Robert C.; Myhill, John
1987
An extension of Frege structures. Zbl 0662.03051
Flagg, Robert C.; Myhill, John
1987
Intensional set theory. Zbl 0592.03043
Myhill, John
1985
Choice implies excluded middle. Zbl 0387.03017
Goodman, N.; Myhill, J.
1978
Constructive set theory. Zbl 0314.02045
Myhill, John
1975
Levels of implication. Zbl 0362.02015
Myhill, John
1975
Some properties of intuitionistic Zermelo-Frankel set theory. Zbl 0272.02039
Myhill, John
1973
A note on indicator-functions. Zbl 0262.02026
Myhill, J.
1973
Embedding classical logic in intuitionistic logic. Zbl 0255.02019
Myhill, John
1973
An absolutely independent set of $$\Sigma^0_1$$-sentences. Zbl 0273.02030
Myhill, John
1972
What is a real number? Zbl 0255.02030
Myhill, John
1972
The formalization of Bishop’s constructive mathematics. Zbl 0247.02033
Goodman, Nicolas D.; Myhill, John
1972
A recursive function, defined on a compact interval and having a continuous derivative that is not recursive. Zbl 0218.02029
Myhill, J.
1971
Ordinal definability. Zbl 0226.02048
Myhill, John; Scott, Dana
1971
Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201
Kino, A. (ed.); Myhill, J. (ed.); Vesley, R. (ed.)
1970
The converse of Moore’s Garden-of-Eden theorem. Zbl 0233.94027
Myhill, John
1970
Formal systems of intuitionistic analysis. II: The theory of species. Zbl 0202.00602
Myhill, J.
1970
Formal systems of intuitionistic analysis. I. Zbl 0202.00601
Myhill, J.
1968
Notes towards an axiomatization of intuitionistic analysis. Zbl 0187.26307
Myhill, J.
1966
The abstract theory of self-reproduction. Zbl 0201.48503
Myhill, J.
1964
Remark on a system of Bernays. Zbl 0121.01601
Myhill, J.
1964
The converse of Moore’s Garden-of-Eden theorem. Zbl 0126.32501
Myhill, John
1963
The invalidity of Markoff’s schema. Zbl 0122.01102
Myhill, J.
1963
Variations on a theme of Bernays. Zbl 0173.00701
Myhill, J.
1963
Recursive equivalence types and combinatorial functions. Zbl 0149.24605
Myhill, J.
1962
Elementary properties of the group of isolic integers. Zbl 0100.24809
Myhill, John
1962
$$\Omega-\Lambda$$. Zbl 0149.24701
Myhill, J.
1962
Note on degrees of partial functions. Zbl 0101.01201
Myhill, John
1961
Category methods in recursion theory. Zbl 0112.24601
Myhill, J.
1961
Recursive equivalence types. Zbl 0249.02021
Dekker, J. C. E.; Myhill, J.
1960
The divisibility of isols by powers of primes. Zbl 0094.00803
Dekker, J. C. E.; Myhill, J.
1960
Recursive digraphs, splinters and cylinders. Zbl 0087.25103
Myhill, John
1959
Constructive definition of certain analytic sets of numbers. Zbl 0091.01303
Lorenzen, P.; Myhill, J.
1959
Retraceable sets. Zbl 0082.01505
Dekker, J. C. E.; Myhill, J.
1958
Recursive equivalence types and combinatorial functions. Zbl 0085.24801
Myhill, J.
1958
Some theorems on classes of recursively enumerable sets. Zbl 0083.00302
Dekker, J. C. E.; Myhill, J.
1958
Solution of a problem of Tarski. Zbl 0071.01003
Myhill, John
1956
Creative sets. Zbl 0065.00105
Myhill, John
1955
Effective operations on partial recursive functions. Zbl 0068.24706
Myhill, J.; Shepherdson, J. C.
1955
Criteria of constructibility for real numbers. Zbl 0052.25101
Myhill, John
1953
Arithmetic with creative definitions by inductions. Zbl 0053.20005
Myhill, John
1953
On the interpretation of the sign “$$\supset$$”. Zbl 0050.24604
Myhill, John
1953
The hypothesis that all classes are nameable. Zbl 0049.14903
Myhill, John
1952
A finitary metalanguage for extended basic logic. Zbl 0049.14902
Myhill, John
1952
A derivation of number theory from ancestral theory. Zbl 0047.01402
Myhill, John
1952
Report on some investigations concerning the consistency of the reducibility. Zbl 0042.00802
Myhill, John
1951
Towards a consistent set-theory. Zbl 0043.01001
Myhill, John
1951
A system which can define its own truth. Zbl 0041.15002
Myhill, John
1950
A reduction in the number of primitive ideas of arithmetic. Zbl 0038.00602
Myhill, John R.
1950
A complete theory of natural, rational, and real numbers. Zbl 0041.34207
Myhill, John R.
1950
Note on an idea of Fitch. Zbl 0037.29701
Myhill, John R.
1949
all top 5

#### Cited by 400 Authors

 14 Bridges, Douglas Suth 12 Dekker, Jacob C. E. 11 Ellentuck, Erik 10 Rathjen, Michael 9 Kari, Jarkko 8 Myhill, John R. 7 Ceccherini-Silberstein, Tullio G. 7 Formenti, Enrico 7 McLaughlin, Thomas G. 7 Pour-El, Marian Boykan 7 Schuster, Peter Michael 6 Barback, Joseph 6 Coornaert, Michel 6 Downey, Rodney Graham 6 Hay, Louise 6 Jockusch, Carl G. jun. 6 Palmgren, Erik 5 Feferman, Solomon 5 Lachlan, Alistair H. 5 Moschovakis, Yiannis Nicholas 5 Sorbi, Andrea 5 Spreen, Dieter 5 Stephan, Frank 5 Vîţă, Luminiţa Simona 5 Young, Paul R. 4 Aczel, Peter 4 Cantini, Andrea 4 Dennunzio, Alberto 4 Lewis, Forbes D. 4 Soskova, Mariya Ivanova 4 Zheng, Xizhong 3 Amoroso, Serafino 3 Bartholdi, Laurent 3 Berline, Chantal 3 Durand, Bruno 3 Fiorenzi, Francesca 3 Flagg, Robert C. 3 Grue, Klaus E. 3 Hassett, Matthew J. 3 Hendtlass, Matthew Ralph John 3 Ishihara, Hajime 3 Kalantari, Iraj 3 Kripke, Saul A. 3 Kurtz, Stuart A. 3 Longo, Giuseppe 3 Mikheev, V. L. 3 Miller, Joseph S. 3 Nasu, Masakazu 3 Nerode, Anil 3 Petrakis, Iosif 3 Remmel, Jeffrey B. 3 Richards, Ian 3 Rogers, Hartley jun. 3 Royer, James S. 3 Ščedrov, Andrej 3 Simpson, Alex K. 3 Streicher, Thomas 3 Theyssier, Guillaume 3 Welch, Lawrence V. 2 Alad’ev, V. Z. 2 Andrews, Uri 2 Ardeshir, Mohammad 2 Avron, Arnon 2 Awodey, Steve 2 Banaschewski, Bernhard 2 Berger, Josef 2 Berger, Ulrich 2 Brattka, Vasco 2 Butz, Carsten 2 Capobianco, Silvio 2 Chernov, V. P. 2 Cholak, Peter A. 2 Cintioli, Patrizio 2 Cooper, Gerald 2 Crosilla, Laura 2 Crossley, John Newsome 2 Das, Sukanta 2 Dëgtev, A. N. 2 Durand-Lose, Jérôme O. 2 Dzierzgowski, Daniel 2 Ershov, Yuriĭ Leonidovich 2 Friedman, Harvey M. 2 Griffor, Edward R. 2 Hamkins, Joel David 2 Hemaspaandra, Lane A. 2 Hoyrup, Mathieu 2 Jain, Sanjay 2 Kahle, Reinhard 2 Kimura, Masayuki 2 Kreisel, Georg 2 Li, Hanfeng 2 Lubarsky, Robert S. 2 Margenstern, Maurice 2 Martin, Donald A. 2 Maruoka, Akira 2 McCarty, Charles 2 Mitchell, John C. 2 Mojtahedi, Mojtaba 2 Moschovakis, Joan Rand 2 Posy, Carl J. ...and 300 more Authors
all top 5

#### Cited in 82 Serials

 64 Annals of Pure and Applied Logic 49 The Journal of Symbolic Logic 41 Theoretical Computer Science 27 Proceedings of the American Mathematical Society 20 Journal of Computer and System Sciences 20 Transactions of the American Mathematical Society 17 Archive for Mathematical Logic 11 Mathematical Logic Quarterly (MLQ) 10 Compositio Mathematica 10 Mathematische Zeitschrift 8 Archiv für Mathematische Logik und Grundlagenforschung 8 Studia Logica 8 The Bulletin of Symbolic Logic 8 Bulletin of the American Mathematical Society 7 Algebra and Logic 6 Indagationes Mathematicae. New Series 5 Israel Journal of Mathematics 5 Mathematical Notes 5 Journal of Philosophical Logic 5 Mathematical Systems Theory 4 Journal of Soviet Mathematics 4 Mathematische Annalen 4 Notre Dame Journal of Formal Logic 4 Physica D 3 Mathematical Biosciences 3 Synthese 3 Information and Computation 3 Logical Methods in Computer Science 2 The Mathematical Intelligencer 2 Advances in Mathematics 2 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques 2 Applied Mathematics and Computation 2 Journal of Pure and Applied Algebra 2 Monatshefte für Mathematik 2 Ergodic Theory and Dynamical Systems 2 History and Philosophy of Logic 2 Journal of Complexity 2 Japan Journal of Industrial and Applied Mathematics 2 MSCS. Mathematical Structures in Computer Science 2 Theory of Computing Systems 2 Journal of the European Mathematical Society (JEMS) 2 Journal of Applied Logic 2 The Review of Symbolic Logic 2 Computability 1 Archive for History of Exact Sciences 1 Communications in Mathematical Physics 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 International Journal of General Systems 1 Journal of Statistical Physics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Rocky Mountain Journal of Mathematics 1 Russian Mathematical Surveys 1 Chaos, Solitons and Fractals 1 Annales de l’Institut Fourier 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Bulletin de la Société Mathématique de France 1 Fundamenta Mathematicae 1 Information Sciences 1 International Journal of Computer & Information Sciences 1 Journal of Algebra 1 Journal of Functional Analysis 1 Kybernetika 1 Rendiconti del Seminario Matematico della Università di Padova 1 Topology and its Applications 1 European Journal of Combinatorics 1 Advances in Applied Mathematics 1 Mathematical Social Sciences 1 Topoi 1 Nonlinear Dynamics 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Mathematical Logic 1 Journal of the Australian Mathematical Society 1 JP Journal of Algebra, Number Theory and Applications 1 Natural Computing 1 Annali della Scuola Normale Superiore di Pisa. Scienze Fisiche e Matematiche. III. Ser 1 Logica Universalis 1 Tbilisi Mathematical Journal 1 Confluentes Mathematici 1 Journal of Logic and Analysis 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
all top 5

#### Cited in 35 Fields

 305 Mathematical logic and foundations (03-XX) 116 Computer science (68-XX) 24 Dynamical systems and ergodic theory (37-XX) 17 General topology (54-XX) 13 Combinatorics (05-XX) 12 Category theory; homological algebra (18-XX) 10 History and biography (01-XX) 9 Real functions (26-XX) 6 Abstract harmonic analysis (43-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Group theory and generalizations (20-XX) 3 General and overarching topics; collections (00-XX) 3 Associative rings and algebras (16-XX) 3 Functional analysis (46-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 3 Information and communication theory, circuits (94-XX) 2 Number theory (11-XX) 2 Commutative algebra (13-XX) 2 Topological groups, Lie groups (22-XX) 2 Partial differential equations (35-XX) 2 Numerical analysis (65-XX) 2 Quantum theory (81-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Algebraic geometry (14-XX) 1 Functions of a complex variable (30-XX) 1 Ordinary differential equations (34-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistical mechanics, structure of matter (82-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.