Stuart T. Smith

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Transport of inertial particles by viscous streaming in arrays of oscillating probes	2016	Kwitae Chong Scott David Kelly Stuart T. Smith Jeff D. Eldredge
+	Addendum to ‘Embedding GCD Domains in Bezout Domains’	1996	Josephine Shamash Stuart T. Smith
+	Building Discretely Ordered Bezout Domains and GCD Domains	1993	Stuart T. Smith
+ PDF Chat	Quadratic residues and $x^3+y^3=z^3$ in models of ${\rm IE}_1$ and ${\rm IE}_2$.	1993	Stuart T. Smith
+	Prime numbers and factorization in IE<sub>1</sub> and weaker systems	1992	Stuart T. Smith
+	On the diophantine equation x10 ± y10 = z2	1992	Stuart T. Smith
+	Fermat's last theorem and Bezout's theorem in GCD domains	1992	Stuart T. Smith
+ PDF Chat	Extendible Sets in Peano Arithmetic	1989	Stuart T. Smith
+	Nonstandard definability	1989	Stuart T. Smith
+	Nonstandard characterizations of recursive saturation and resplendency	1987	Stuart T. Smith
+	Nonstandard characterizations of recursive saturation and resplendency	1987	Stuart T. Smith

Common Coauthors

Coauthor	Papers Together
Josephine Shamash	1
Kwitae Chong	1
Jeff D. Eldredge	1
Scott David Kelly	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Bounded existential induction	1985	George Wilmers	4
+ PDF Chat	Full Satisfaction Classes and Recursive Saturation	1981	A. H. Lachlan	3
+	Some Results and Problems on Weak Systems of Arithmetic	1978	A. J. Wilkie	3
+	Fermat's last theorem and Bezout's theorem in GCD domains	1992	Stuart T. Smith	3
+ PDF Chat	Construction of Satisfaction Classes for Nonstandard Models	1981	Henryk Kotlarski Stanisław Krajewski A. H. Lachlan	3
+	Primes and their residue rings in models of open induction	1989	Angus Macintyre David Marker	3
+	Building Discretely Ordered Bezout Domains and GCD Domains	1993	Stuart T. Smith	3
+	Recursively saturated nonstandard models of arithmetic	1981	C. Smoryński	2
+	Elementary Theory of Numbers.	1963	Ivan Niven W. J. LeVeque	2
+	History of the Theory of Numbers	1919	L. E. Dickson	2
+ PDF Chat	New congruences for the Bernoulli numbers	1987	Jonathan W. Tanner Samuel S. Wagstaff	2
+	Diophantine equations	1969	L. J. Mordell	2
+	An introduction to recursively saturated and resplendent models	1976	Jon Barwise John S. Schlipf	2
+ PDF Chat	Closure properties of countable non-standard integers	1979	J. B. Paris George Mills	1
+	Saturation and simple extensions of models of peano arithmetic	1984	Matt Kaufmann James H. Schmerl	1
+ PDF Chat	A Rather Classless Model	1977	Matt Kaufmann	1
+	History of the Theory of Numbers	1924		1
+	Fermat's Last Theorem	1978	Harold M. Edwards	1
+ PDF Chat	Lectures on Fermat's Last Theorem	1981	Lawrence C. Washington Paulo Ribenboim	1
+	Cofinal extension preserves recursive saturation	1980	C. Smoryński Jonathan Stavi	1
+	Boundary Layer Flow Near a Cylindrical Obstacle in an Oscillating, Incompressible Fluid	1954	J. Holtsmark I J Johnsen T. Sikkeland S. Skavlem	1
+	Bezout rings and their subrings	1968	P. M. Cohn	1
+	An introduction to recursively saturated and resplendent models	1976	Jon Barwise John S. Schlipf	1
+	On cofinal extensions of models of arithmetic	1983	Henryk Kotlarski	1
+	A note on models and submodels of arithmetic	1972	Haim Gaifman	1
+ PDF Chat	De aequatione x2λ + y2λ = z2λ per numeros integros resolvenda.	1837	E. E. Kummer	1
+	Back-and-Forth Inside A Recursively Saturated Model of Arithmetic	1982	C. Smoryński	1
+	History of the theory of numbers	1923	Ph. Furtwängler	1
+	13 Lectures on Fermat’s Last Theorem	1979	Paulo Ribenboim	1
+	Elementary Number Theory	1979	Henry J. Ricardo David Burton	1
+	Basic Algebra I.	1986	Andy R. Magid Nathan Jacobson	1
+ PDF Chat	Extendible Sets in Peano Arithmetic	1989	Stuart T. Smith	1
+	Nonstandard characterizations of recursive saturation and resplendency	1987	Stuart T. Smith	1
+	On the diophantine equation x10 ± y10 = z2	1992	Stuart T. Smith	1
+	Selected topics in number theory	1980	Hansraj Gupta	1
+	Elementary Theory of Numbers	1988	Wacław Sierpiński	1
+ PDF Chat	Cofinal extensions of nonstandard models of arithmetic.	1981	C. Smoryński	1
+ PDF Chat	Peano models with many generic classes	1973	James H. Schmerl	1