Bibliography of John Myhill
From MaRDI portal
Publication:1192339
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
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
