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