Craig Smorynski

Available identifiers

zbMath Open smorynski.craigMaRDI QIDQ1259544

List of research outcomes

Publication	Date of Publication	Type
The early history of formal diagonalization	2024-02-20	Paper
Where Do Axioms Come From?	2022-12-14	Paper
Mathematical Problems	2020-09-03	Paper
Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age	2018-11-19	Paper
MVT: A Most Valuable Theorem	2017-03-20	Paper
Book review of: D. van Dalen, L. E. J. Brouwer. Topologist, intuitionist, philosopher. How mathematics is rooted in life	2015-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4912855	2013-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q2904378	2012-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q2904379	2012-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q2904380	2012-08-14	Paper
History of Mathematics	2007-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4343989	1997-07-08	Paper
Logical number theory I. An introduction	1992-09-17	Paper
Arithmetic analogues of McAloon's unique Rosser sentences	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3816045	1988-01-01	Paper
Quantified modal logic and self-reference	1987-01-01	Paper
Julia Robinson, in memoriam	1986-01-01	Paper
What's new in logic?	1985-01-01	Paper
Self-reference and modal logic	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3216650	1984-01-01	Paper
Commutativity and self-reference	1982-01-01	Paper
The finite inseparability of the first-order theory of diagonalisable algebras	1982-01-01	Paper
A note on initial segment constructions in recursively saturated models of arithmetic	1982-01-01	Paper
The varieties of arboreal experience	1982-01-01	Paper
Fixed point algebras	1982-01-01	Paper
Recursively saturated nonstandard models of arithmetic; addendum	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666845	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3968927	1982-01-01	Paper
Fifty years of self-reference in arithmetic	1981-01-01	Paper
Cofinal extensions of nonstandard models of arithmetic	1981-01-01	Paper
Skolem's solution to a problem of Frobenius	1981-01-01	Paper
Elementary extensions of recursively saturated models of arithmetic	1981-01-01	Paper
Calculating self-referential statements: Guaspari sentences of the first kind	1981-01-01	Paper
Recursively saturated nonstandard models of arithmetic	1981-01-01	Paper
Some rapidly growing functions	1980-01-01	Paper
Calculating self-referential statements	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3919713	1980-01-01	Paper
Calculating self-referential statements. I: Explicit calculations	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3900021	1978-01-01	Paper
On axiomatizing fragments	1978-01-01	Paper
Avoiding Self-Referential Statements	1978-01-01	Paper
The axiomatization problem for fragments	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875926	1977-01-01	Paper
A note on the number of zeros of polynomials and exponential polynomials	1977-01-01	Paper
Kripke models and the intuitionistic theory of species	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053624	1974-01-01	Paper
Elementary intuitionistic theories	1973-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Craig Smorynski