John R. Myhill

According to our database, John R. Myhill authored at least 17 papers between 1949 and 1989.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

1989

A Type-Free System Extending (ZFC).

John R. Myhill, Bob Flagg

Ann. Pure Appl. Log., 1989

1978

Some Simplifications and Improvements in the Stochastic Music Program.

John R. Myhill

Proceedings of the 1978 International Computer Music Conference, 1978

1975

Constructive Set Theory.

John R. Myhill

J. Symb. Log., 1975

1963

Variations on a theme of Bernays.

John R. Myhill

Notre Dame J. Formal Log., 1963

Remark on a System of Bernays.

John R. Myhill

J. Symb. Log., 1963

1959

Constructive Definition of Certain Analytic Sets of Numbers.

Paul Lorenzen, John R. Myhill

J. Symb. Log., 1959

1956

Solution of a Problem of Tarski.

John R. Myhill

J. Symb. Log., 1956

1953

Arithmetic with Creative Definitions by Induction.

John R. Myhill

J. Symb. Log., 1953

On the Interpretation of the Sign 'subset of'.

John R. Myhill

J. Symb. Log., 1953

Criteria of Constructibility for Real Numbers.

John R. Myhill

J. Symb. Log., 1953

1952

A Derivation of Number Theory from Ancestral Theory.

John R. Myhill

J. Symb. Log., 1952

A Finitary Metalanguage for Extended Basic Logic.

John R. Myhill

J. Symb. Log., 1952

1951

Towards a Consistent Set-Theory.

John R. Myhill

J. Symb. Log., 1951

Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.

John R. Myhill

J. Symb. Log., 1951

1950

A Complete Theory of Natural, Rational, and Real Numbers.

John R. Myhill

J. Symb. Log., 1950

A Reduction in the Number of Primitive Ideas of Arithmetic.

John R. Myhill

J. Symb. Log., 1950

1949

Note on an Idea of Fitch.

John R. Myhill

J. Symb. Log., 1949