Stuart T. Smith

Available identifiers

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

This page was built for person: Stuart T. Smith