FOM: Determinacy of statements -- reply to Richman

V. Sazonov V.Sazonov at
Sun Jun 25 10:59:02 EDT 2000

JoeShipman at wrote:

> Richman:
> >However, when constructivists do
> > number theory, I would think that they have the same model in mind
> >that every other mathematician does.
> Professor Sazonov would disagree (if I have understood previous posts of his
> correctly).

More precisely, I do not understand what does it mean "the same model" 
in this context. However, I understand if we mean by a model here 
just a formal system or its preliminary semiformal version 
(describing "this" model). 

Vladimir Sazonov

More information about the FOM mailing list