Bibliography of John Myhill (Q1192339): Difference between revisions

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

Latest revision as of 12:31, 16 May 2024

scientific article
Language Label Description Also known as
English
Bibliography of John Myhill
scientific article

    Statements

    title
    Bibliography of John Myhill (English)
    0 references
    publication date
    27 September 1992
    0 references
    zbMATH DE Number
    60742
    0 references
    zbMATH Keywords
    Bibliography
    0 references
    OpenAlex ID
    W4210972265
    0 references
    cites work
    Q5824356
    0 references
    Creative sets
    0 references
    Retraceable Sets
    0 references
    Q3265666
    0 references
    Q5661491
    0 references
    Q5528638
    0 references
    Q5600471
    0 references
    Q5579001
    0 references
    Q5632569
    0 references
    Q3214891
    0 references
    What is a Real Number?
    0 references
    Q5659516
    0 references
    Q4128524
    0 references
    Q4111494
    0 references
    Q3812243
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1192339&oldid=34090294"
    Powered by MediaWiki