John R. Myhill - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

1989

A Type-Free System Extending (ZFC)John R. Myhill, Bob Flagg. APAL, 43(1):79-97, 1989.

1978

Some Simplifications and Improvements in the Stochastic Music ProgramJohn R. Myhill. icmc 1978: [doi]

1975

Constructive Set TheoryJohn R. Myhill. JSYML, 40(3):347-382, 1975.

1963

Remark on a System of BernaysJohn R. Myhill. JSYML, 28(1):75-76, 1963.

Variations on a theme of BernaysJohn R. Myhill. ndjfl, 4(4):274-282, 1963. [doi]

1959

Constructive Definition of Certain Analytic Sets of NumbersPaul Lorenzen, John R. Myhill. JSYML, 24(1):37-49, 1959.

1956

Solution of a Problem of TarskiJohn R. Myhill. JSYML, 21(1):49-51, 1956.

1953

Criteria of Constructibility for Real NumbersJohn R. Myhill. JSYML, 18(1):7-10, 1953.

Arithmetic with Creative Definitions by InductionJohn R. Myhill. JSYML, 18(2):115-118, 1953.

On the Interpretation of the Sign subset of John R. Myhill. JSYML, 18(1):60-62, 1953.

1952

A Finitary Metalanguage for Extended Basic LogicJohn R. Myhill. JSYML, 17(3):164-178, 1952.

A Derivation of Number Theory from Ancestral TheoryJohn R. Myhill. JSYML, 17(3):192-197, 1952.

1951

Report on Some Investigations Concerning the Consistency of the Axiom of ReducibilityJohn R. Myhill. JSYML, 16(1):35-42, 1951.

Towards a Consistent Set-TheoryJohn R. Myhill. JSYML, 16(2):130-136, 1951.

1950

A Reduction in the Number of Primitive Ideas of ArithmeticJohn R. Myhill. JSYML, 15(2):130, 1950.

A Complete Theory of Natural, Rational, and Real NumbersJohn R. Myhill. JSYML, 15(3):185-196, 1950.

1949

Note on an Idea of FitchJohn R. Myhill. JSYML, 14(3):175-176, 1949.

Sign in or sign up to see more results.

runs on WebDSL