The following pages link to Craig Smorynski (Q1259544):
Displaying 28 items.
- (Q762147) (redirect page) (← links)
- (Q1054724) (redirect page) (← links)
- What's new in logic? (Q762148) (← links)
- Commutativity and self-reference (Q786803) (← links)
- The finite inseparability of the first-order theory of diagonalisable algebras (Q795036) (← links)
- Book review of: D. van Dalen, L. E. J. Brouwer. Topologist, intuitionist, philosopher. How mathematics is rooted in life (Q897024) (← links)
- A note on initial segment constructions in recursively saturated models of arithmetic (Q1054725) (← links)
- The varieties of arboreal experience (Q1055407) (← links)
- Julia Robinson, in memoriam (Q1068805) (← links)
- Self-reference and modal logic (Q1078163) (← links)
- Quantified modal logic and self-reference (Q1097256) (← links)
- Arithmetic analogues of McAloon's unique Rosser sentences (Q1114685) (← links)
- Some rapidly growing functions (Q1148900) (← links)
- Fifty years of self-reference in arithmetic (Q1161741) (← links)
- Cofinal extensions of nonstandard models of arithmetic (Q1161743) (← links)
- Skolem's solution to a problem of Frobenius (Q1171080) (← links)
- Elementary extensions of recursively saturated models of arithmetic (Q1173087) (← links)
- Logical number theory I. An introduction (Q1188945) (← links)
- Calculating self-referential statements. I: Explicit calculations (Q1259545) (← links)
- (Q1622656) (redirect page) (← links)
- Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age (Q1622657) (← links)
- (Q2904378) (← links)
- (Q2904379) (← links)
- (Q2904380) (← links)
- MVT: A Most Valuable Theorem (Q2968749) (← links)
- (Q3216650) (← links)
- Fixed point algebras (Q3333037) (← links)
- Recursively saturated nonstandard models of arithmetic; addendum (Q3342574) (← links)
- The early history of formal diagonalization (Q6200769) (← links)
