Craig Smorynski

13 papers Journal 13

Year	Rank	Type	Title / Venue / Authors
1989	J	`jnl`	Arithmetic analogues of McAloon's unique Rosser sentences. Arch. Math. Log. Craig Smorynski
1987	J	`jnl`	Quantified modal logic and self-reference. Notre Dame J. Formal Log. Craig Smorynski
1982	J	`jnl`	A note on initial segment constructions in recursively saturated models of arithmetic. Notre Dame J. Formal Log. Craig Smorynski
1982	J	`jnl`	Commutativity and self-reference. Notre Dame J. Formal Log. Craig Smorynski
1982	J	`jnl`	Recursively Saturated Nonstandard Models of Arithmetic; Addendum. J. Symb. Log. Craig Smorynski
1981	J	`jnl`	Calculating Self-Referential Statements: Guaspari Sentences of the First Kind. J. Symb. Log. Craig Smorynski
1981	J	`jnl`	Cofinal extensions of nonstandard models of arithmetic. Notre Dame J. Formal Log. Craig Smorynski
1981	J	`jnl`	Elementary extensions of recursively saturated models of arithmetic. Notre Dame J. Formal Log. Craig Smorynski
1981	J	`jnl`	Fifty years of self-reference in arithmetic. Notre Dame J. Formal Log. Craig Smorynski
1981	J	`jnl`	Recursively Saturated Nonstandard Models of Arithmetic. J. Symb. Log. Craig Smorynski
1977	J	`jnl`	A Note on the Number of Zeros of Polynomials and Exponential Polynomials. J. Symb. Log. Craig Smorynski
1977	J	`jnl`	On Axiomatizing Fragments. J. Symb. Log. Craig Smorynski
1973	J	`jnl`	Elementary Intuitionistic Theories. J. Symb. Log. Craig Smorynski