Enderton problem
- From: dpowen@xxxxxxxxxxxxx
- Date: Mon, 3 Dec 2007 16:34:37 -0800 (PST)
If you have Enderton's A Mathematical Introduction to Logic handy,
this problem comes from number 7 in chapter 2, section 6.
Consider a language with a two-place function predicate symbol <, and
let N = (N; <) be the structure consisting of the natural numbers with
their usual ordering. Show that there is some A elementarily
equivalent to N such that <A has a descending chain.
Okay, here's what I'm thinking. We let the domain of A be the set {1/
n : n in the natural numbers} and define (m, n) is in <A iff (n, m) is
in <N. So A appears to have a descending chain. Now I need to show
that A and N are elementarily equivalant. I can do this by showing A
is a model for ThN. But...how do I do this? Enderton suggests
applying the compactness theorem...but I'm not sure how this leads to
showing they are elementarily equivalent.
.
- Follow-Ups:
- Re: Enderton problem
- From: Butch Malahide
- Re: Enderton problem
- From: Gc
- Re: Enderton problem
- From: LauLuna
- Re: Enderton problem
- From: David C . Ullrich
- Re: Enderton problem
- Prev by Date: Re: Technical Animism
- Next by Date: Re: Infinitesimals
- Previous by thread: Just a small type theory.
- Next by thread: Re: Enderton problem
- Index(es):
Relevant Pages
|
