Stuart T. Smith

Available identifiers

zbMath Open smith.stuart-tWikidataQ102203259 ScholiaQ102203259MaRDI QIDQ687627

List of research outcomes

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 IE1 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
Nonstandard definability	1989-01-01	Paper
Extendible Sets in Peano Arithmetic	1989-01-01	Paper
Nonstandard characterizations of recursive saturation and resplendency	1987-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: Stuart T. Smith