The formula alone says that there are at least elements in the universe of the structure. In other words, for .

Consider the set and use the form of compactness theorem from this thread.

Results 1 to 8 of 8

- Nov 14th 2011, 02:01 AM #1

- Joined
- Nov 2011
- Posts
- 59

## Fol 10

Enderton 2.6.8

Assume that is true in all infinite models of a theory . Show that there is a finite number such that is true in all models of for which has or more elements.

=============

The sentence for there are at least things for is

, where

========

Any hint to get started?

Thanks.

- Nov 14th 2011, 02:45 AM #2

- Joined
- Oct 2009
- Posts
- 5,573
- Thanks
- 789

## Re: Fol 10

The formula alone says that there are at least elements in the universe of the structure. In other words, for .

Consider the set and use the form of compactness theorem from this thread.

- Nov 14th 2011, 05:41 AM #3

- Joined
- Nov 2011
- Posts
- 59

## Re: Fol 10

- Nov 14th 2011, 07:57 AM #4

- Joined
- Oct 2009
- Posts
- 5,573
- Thanks
- 789

- Nov 15th 2011, 02:03 AM #5

- Joined
- Nov 2011
- Posts
- 59

## Re: Fol 10

- Nov 15th 2011, 02:34 AM #6

- Joined
- Oct 2009
- Posts
- 5,573
- Thanks
- 789

- Nov 15th 2011, 02:53 AM #7

- Joined
- Nov 2011
- Posts
- 59

## Re: Fol 10

My understanding is,

is true in all infinite models of a theory T by assumption.

By compactness theorem, is true in some finite models of a theory T having cardinality k.

However, I think we still have to establish that is true in all finite models of a theory T having cardinality greater than k.

Is this idea wrong?

- Nov 15th 2011, 02:57 AM #8

- Joined
- Oct 2009
- Posts
- 5,573
- Thanks
- 789