The following pages link to Craig Smorynski (Q1259544):
Displaying 49 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)
- (Q3666845) (← links)
- (Q3816045) (← links)
- (Q3875926) (← links)
- Calculating self-referential statements (Q3895468) (← links)
- (Q3900021) (← links)
- (Q3919713) (← links)
- Calculating self-referential statements: Guaspari sentences of the first kind (Q3931383) (← links)
- Recursively saturated nonstandard models of arithmetic (Q3966138) (← links)
- (Q3968927) (← links)
- (Q4053624) (← links)
- Kripke models and the intuitionistic theory of species (Q4077996) (← links)
- A note on the number of zeros of polynomials and exponential polynomials (Q4143285) (← links)
- On axiomatizing fragments (Q4159057) (← links)
- Avoiding Self-Referential Statements (Q4173354) (← links)
- The axiomatization problem for fragments (Q4177566) (← links)
- (Q4343989) (← links)
- (Q4912855) (← links)
- Where Do Axioms Come From? (Q5057056) (← links)
- Mathematical Problems (Q5119160) (← links)
- History of Mathematics (Q5423210) (← links)
- Elementary intuitionistic theories (Q5676209) (← links)
- The early history of formal diagonalization (Q6200769) (← links)
