Article View: sci.physics
Article #5840Re: Lowneheim-Skolem theorem (was: Continuos vs. discrete models)
From: Torkel Franzen
Date: Sat, 21 Nov 1992 08:18
Date: Sat, 21 Nov 1992 08:18
13 lines
1187 bytes
1187 bytes
In article <1992Nov20.220424.22979@galois.mit.edu> jbaez@riesz.mit.edu (John C. Baez) writes: >I object. Lowenheim-Skolem says there are countable models of the >reals; you can go ahead and use these if you like, and I will not >object, since this does not affect what *theorems* you can prove about >the real numbers. I'm pleased to find that the physics of the real numbers is recognized as proper physics these days. But what do you mean by a "model of the reals"? This doesn't mean anything in standard terminology. Also, what do you mean by "using" a countable model (of whatever unspecified theory you have in mind)?
Technical Details
Message-ID:
<TORKEL.92Nov21091802@bast.sics.se>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!torkelReferences:
<1992Nov17.124233.24312@oracorp.com> <1992Nov20.220424.22979@galois.mit.edu>Show Full Headers
Complete Article Headers
Newsgroups: sci.physics Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!torkel From: torkel@sics.se (Torkel Franzen) Subject: Re: Lowneheim-Skolem theorem (was: Continuos vs. discrete models) In-Reply-To: jbaez@riesz.mit.edu's message of Fri, 20 Nov 92 22:04:24 GMT Message-ID: <TORKEL.92Nov21091802@bast.sics.se> Sender: news@sics.se Organization: Swedish Institute of Computer Science, Kista References: <1992Nov17.124233.24312@oracorp.com> <1992Nov20.220424.22979@galois.mit.edu> Date: Sat, 21 Nov 1992 08:18:02 GMT Lines: 14