show-that-x-x-x-where-are-anyl-formulas

Problem

1 (5 pts)

.

Show that

{∀

x

(

α

β

)

} `

(

)

(

)

where

α,β

are any

L

-formulas.

Problem

2 (5pts)

.

Fix a first order language

L

and let

α

be an

L

-sentence. Suppose that for every

N

N

there is an

L

-structure with at least

N

elements that satisfies

α

. Show that there is an infinite

L

-structure

that satisfies

α

. (You will need to use the completeness theorem.)

Get 15% discount on your first order with us
Use the following coupon
FIRST15

Order Now