Bibliography of John Myhill

DOI10.1016/0168-0072(92)90064-7zbMath0749.01011OpenAlexW4210972265MaRDI QIDQ1192339

No author found.

Publication date: 27 September 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(92)90064-7

zbMATH Keywords

Bibliography

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive digraphs, splinters and cylinders
• The divisibility of isols by powers of primes
• Elementary properties of the group of isolic integers
• Intensional mathematics
• Implication and analysis in classical Frege structures
• A type-free system extending (ZFC)
• Category methods in recursion theory
• Variations on a theme of Bernays
• Logic, methodology and philosophy of science III. Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967
• Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• Effective operations on partial recursive functions
• Retraceable Sets
• Some Theorems on Classes of Recursively Enumerable Sets
• Recursive equivalence types and combinatorial functions
• Constructive definition of certain analytic sets of numbers
• Note on Degrees of Partial Functions
• Constructive set theory
• Choice Implies Excluded Middle
• An Absolutely Independent Set of ΣO‐Sentences
• Shorter Note: The Converse of Moore's Garden-of-Eden Theorem
• What is a Real Number?
• Remark on a system of bernays
• The Invalidity of Markoff's Schema
• Note on an idea of Fitch
• A reduction in the number of primitive ideas of arithmetic
• A system which can define its own truth
• A complete theory of natural, rational, and real numbers
• Report on some investigations concerning the consistency of the axiom of reducibility
• Towards a consistent set-theory
• A derivation of number theory from ancestral theory
• A finitary metalanguage for extended basic logic
• The Hypothesis that all Classes are Nameable
• On the interpretation of the sign ‘⊃’
• Arithmetic with creative definitions by induction
• Criteria of constructibility for real numbers
• Creative sets
• Solution of a problem of Tarski