John R. Myhill

17 papers Journal 16Unranked 1

Year	Rank	Type	Title / Venue / Authors
1989	J	`jnl`	A Type-Free System Extending (ZFC). Ann. Pure Appl. Log. John R. Myhill, Bob Flagg
1978	—	`conf`	Some Simplifications and Improvements in the Stochastic Music Program. ICMC John R. Myhill
1975	J	`jnl`	Constructive Set Theory. J. Symb. Log. John R. Myhill
1963	J	`jnl`	Remark on a System of Bernays. J. Symb. Log. John R. Myhill
1963	J	`jnl`	Variations on a theme of Bernays. Notre Dame J. Formal Log. John R. Myhill
1959	J	`jnl`	Constructive Definition of Certain Analytic Sets of Numbers. J. Symb. Log. Paul Lorenzen, John R. Myhill
1956	J	`jnl`	Solution of a Problem of Tarski. J. Symb. Log. John R. Myhill
1953	J	`jnl`	Arithmetic with Creative Definitions by Induction. J. Symb. Log. John R. Myhill
1953	J	`jnl`	Criteria of Constructibility for Real Numbers. J. Symb. Log. John R. Myhill
1953	J	`jnl`	On the Interpretation of the Sign 'subset of'. J. Symb. Log. John R. Myhill
1952	J	`jnl`	A Derivation of Number Theory from Ancestral Theory. J. Symb. Log. John R. Myhill
1952	J	`jnl`	A Finitary Metalanguage for Extended Basic Logic. J. Symb. Log. John R. Myhill
1951	J	`jnl`	Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility. J. Symb. Log. John R. Myhill
1951	J	`jnl`	Towards a Consistent Set-Theory. J. Symb. Log. John R. Myhill
1950	J	`jnl`	A Complete Theory of Natural, Rational, and Real Numbers. J. Symb. Log. John R. Myhill
1950	J	`jnl`	A Reduction in the Number of Primitive Ideas of Arithmetic. J. Symb. Log. John R. Myhill
1949	J	`jnl`	Note on an Idea of Fitch. J. Symb. Log. John R. Myhill