Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Topic: Initial Model Theorem
Replies: 31   Last Post: Feb 18, 2008 7:43 AM

 Messages: [ Previous | Next ]
 Alan Smaill Posts: 714 Registered: 1/29/05
Re: Initial Model Theorem
Posted: Feb 13, 2008 12:59 PM

David C. Ullrich <dullrich@sprynet.com> writes:

>
> On Tue, 12 Feb 2008 08:42:13 -0800 (PST), Tjark Weber
> <tjark.weber@gmx.de> wrote:
>

>>Hi,
>>
>>the Stanford Encyclopedia of Philosophy, in its entry on first-order
>>model theory (http://plato.stanford.edu/entries/modeltheory-fo/),
>>states the following "initial model theorem":
>>
>>"Let T be a theory consisting of strict universal Horn sentences. Then
>>T has a model A with the property that for every model B of T there is
>>a unique homomorphism from A to B. (Such a model A is called an
>>initial model of T. It is unique up to isomorphism.)"

>
> So the axioms of T are all universal quantifications of formulas of
> the form
>
> P
>
> or
>
> (P_1 & ... & P_n) -> Q
>
> where P, P_j and Q are atomic.
>
> I must be missing something - the theorem as stated seems clearly
> false. Say the only axiom in T is Ax P(x). Then any map from
> any model of T to any other model of T is a homomorphis,
> and since T has models containing more than one element in
> the universe there cannot exist a model A such that for every
> model B there is a unique homomorphism from A to B
> (if B has more than one element then for every A there are
> at least two homomorphisms from A to B.)

Presumably the idea is that associated with T is a specified
first-order language, and the homomorphisms have to respect the
denotation of the ground terms (maybe there's a special case if there
are no constants). The set of ground terms can be taken as the domain
of the initial model.

> On the other hand, if we change the statement to
>
> "Let T be a theory consisting of strict universal Horn sentences. Then
> T has a model A with the property that for every model B of T there is
> a unique homomorphism from A to B. (Such a model A is called an
> initial model of T. It is unique up to isomorphism.)"

I can't see any change ...

> then the theorem seems trivial: Say A is the set of atomic formulas,
> and let X consist of all the mappings f : A -> {true, false} which are
> compatible with T (in what I suspect is the obvious sense - I can
> be more explicit if this is not clear). Then it seems clear that X
> becomes a model of T with the required property, if for every P
> we let the interpretation of P be the set of all f such that f(P) =
> true.
>
> ???
>

>>Can anybody provide a reference (book/article) for this theorem and
>>its proof?
>>
>>Tjark

>
> David C. Ullrich

--
Alan Smaill

Date Subject Author
2/12/08 Tjark Weber
2/13/08 David C. Ullrich
2/13/08 Alan Smaill
2/14/08 David C. Ullrich
2/14/08 David C. Ullrich
2/14/08 Alan Smaill
2/15/08 David C. Ullrich
2/15/08 Alan Smaill
2/15/08 David C. Ullrich
2/15/08 Alan Smaill
2/16/08 David C. Ullrich
2/17/08 George Greene
2/18/08 David C. Ullrich
2/18/08 Alan Smaill
2/16/08 George Greene
2/16/08 David C. Ullrich
2/13/08 Jan Burse
2/14/08 David C. Ullrich
2/14/08 Jan Burse
2/14/08 Jan Burse
2/14/08 Jan Burse
2/15/08 David C. Ullrich
2/15/08 Jan Burse
2/16/08 David C. Ullrich
2/16/08 Jan Burse
2/16/08 Jan Burse
2/13/08 James Dolan
2/14/08 David C. Ullrich
2/14/08 James Dolan
2/13/08 Achim Blumensath
2/14/08 Gc
2/15/08 David C. Ullrich