×

zbMATH — the first resource for mathematics

Myhill, John R.

Compute Distance To:
Author ID: myhill.john-r Recent zbMATH articles by "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

Publications by Year

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

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.