The following pages link to John Myhill (Q6481875):
Displaying 1 item.
- (Q771092) (redirect page) (← links)
- Recursive digraphs, splinters and cylinders (Q771093) (← links)
- The divisibility of isols by powers of primes (Q772633) (← links)
- Elementary properties of the group of isolic integers (Q774158) (← links)
- Implication and analysis in classical Frege structures (Q1095139) (← links)
- A type-free system extending (ZFC) (Q1121865) (← links)
- Category methods in recursion theory (Q1131668) (← links)
- (Q2531864) (redirect page) (← links)
- Variations on a theme of Bernays (Q2531865) (← links)
- A recursive function, defined on a compact interval and having a continuous derivative that is not recursive (Q2546500) (← links)
- (Q3214891) (← links)
- Effective operations on partial recursive functions (Q3230369) (← links)
- Retraceable Sets (Q3250596) (← links)
- Some Theorems on Classes of Recursively Enumerable Sets (Q3255349) (← links)
- Recursive equivalence types and combinatorial functions (Q3256315) (← links)
- (Q3265666) (← links)
- Constructive definition of certain analytic sets of numbers (Q3265667) (← links)
- Note on Degrees of Partial Functions (Q3282933) (← links)
- (Q3720593) (← links)
- (Q3812243) (← links)
- Constructive set theory (Q4073362) (← links)
- (Q4128524) (← links)
- (Q4135469) (← links)
- Choice Implies Excluded Middle (Q4168917) (← links)
- An Absolutely Independent Set of ΣO‐Sentences (Q5181675) (← links)
- Shorter Note: The Converse of Moore's Garden-of-Eden Theorem (Q5333603) (← links)
- (Q5528638) (← links)
- (Q5528639) (← links)
- (Q5579001) (← links)
- (Q5600471) (← links)
- (Q5600854) (← links)
- (Q5600855) (← links)
- (Q5623688) (← links)
- (Q5632569) (← links)
- (Q5642505) (← links)
- (Q5642507) (← links)
- (Q5659516) (← links)
- (Q5661491) (← links)
- Embedding Classical Logic in Intuitionistic Logic (Q5668439) (← links)
- What is a Real Number? (Q5668447) (← links)
- A Note on Indicator-Functions (Q5677462) (← links)
- Remark on a system of bernays (Q5731788) (← links)
- The Invalidity of Markoff's Schema (Q5733520) (← links)
- Note on an idea of Fitch (Q5796046) (← links)
- A reduction in the number of primitive ideas of arithmetic (Q5796581) (← links)
- A system which can define its own truth (Q5801334) (← links)
- A complete theory of natural, rational, and real numbers (Q5802106) (← links)
- Report on some investigations concerning the consistency of the axiom of reducibility (Q5803255) (← links)
- Towards a consistent set-theory (Q5804997) (← links)
- A derivation of number theory from ancestral theory (Q5812186) (← links)
- A finitary metalanguage for extended basic logic (Q5816110) (← links)
- The Hypothesis that all Classes are Nameable (Q5816111) (← links)
- On the interpretation of the sign ‘<b>⊃</b>’ (Q5818471) (← links)
- Arithmetic with creative definitions by induction (Q5822064) (← links)
- (Q5824356) (← links)
- Criteria of constructibility for real numbers (Q5824361) (← links)
- Creative sets (Q5848891) (← links)
- Solution of a problem of Tarski (Q5895586) (← links)
