Stuart T. Smith

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Addendum to ‘Embedding GCD Domains in Bezout Domains’ Journal of the London Mathematical Society	1997-05-12	Paper
Building discretely ordered Bezout domains and GCD domains Journal of Algebra	1994-11-16	Paper
Embedding GCD Domains in Bézout Domains Journal of the London Mathematical Society	1994-10-30	Paper
Quadratic residues and \(x^ 3+y^ 3=z^ 3\) in models of \(IE_ 1\) and \(IE_ 2\) Notre Dame Journal of Formal Logic	1994-03-22	Paper
Prime numbers and factorization in IE<sub>1</sub> and weaker systems Journal of Symbolic Logic	1993-04-01	Paper
Fermat's last theorem and Bezout's theorem in GCD domains Journal of Pure and Applied Algebra	1993-01-16	Paper
On the diophantine equation \(x^{10}{\pm{}}y^{10}=z^ 2\) Journal of Pure and Applied Algebra	1993-01-16	Paper
Extendible Sets in Peano Arithmetic	1989-01-01	Paper
Nonstandard definability Annals of Pure and Applied Logic	1989-01-01	Paper
Nonstandard characterizations of recursive saturation and resplendency Journal of Symbolic Logic	1987-01-01	Paper

Research outcomes over time

This page was built for person: Stuart T. Smith