Bibliography of John Myhill (Q1192339)

From MaRDI portal

Jump to:navigation, search

scientific article

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

Statements

scholarly article

0 references

Bibliography of John Myhill (English)

0 references

zbMATH Open document ID

0 references

10.1016/0168-0072(92)90064-7

0 references

Annals of Pure and Applied Logic

0 references

publication date

27 September 1992

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

zbMATH Keywords

Bibliography

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0168-0072(92)90064-7

0 references

0 references

Note on an idea of Fitch

0 references

A system which can define its own truth

0 references

A reduction in the number of primitive ideas of arithmetic

0 references

A complete theory of natural, rational, and real numbers

0 references

Report on some investigations concerning the consistency of the axiom of reducibility

0 references

Towards a consistent set-theory

0 references

The Hypothesis that all Classes are Nameable

0 references

A derivation of number theory from ancestral theory

0 references

A finitary metalanguage for extended basic logic

0 references

Criteria of constructibility for real numbers

0 references

On the interpretation of the sign ‘<b>⊃</b>’

0 references

Arithmetic with creative definitions by induction

0 references

0 references

0 references

Effective operations on partial recursive functions

0 references

Solution of a problem of Tarski

0 references

Some Theorems on Classes of Recursively Enumerable Sets

0 references

Retraceable Sets

0 references

Recursive equivalence types and combinatorial functions

0 references

0 references

Recursive digraphs, splinters and cylinders

0 references

Constructive definition of certain analytic sets of numbers

0 references

The divisibility of isols by powers of primes

0 references

0 references

Note on Degrees of Partial Functions

0 references

Category methods in recursion theory

0 references

0 references

Elementary properties of the group of isolic integers

0 references

Remark on a system of bernays

0 references

Shorter Note: The Converse of Moore's Garden-of-Eden Theorem

0 references

The Invalidity of Markoff's Schema

0 references

Variations on a theme of Bernays

0 references

0 references

0 references

0 references

Logic, methodology and philosophy of science III. Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967

0 references

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968

0 references

A recursive function, defined on a compact interval and having a continuous derivative that is not recursive

0 references

An Absolutely Independent Set of ΣO‐Sentences

0 references

0 references

What is a Real Number?

0 references

0 references

0 references

0 references

Constructive set theory

0 references

Choice Implies Excluded Middle

0 references

Intensional mathematics

0 references

Implication and analysis in classical Frege structures

0 references

0 references

A type-free system extending (ZFC)

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1192339

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1192339&oldid=34090294"