The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$--compactness

Details The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$--compactness The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$--compactness

2004-04-13

arxiv.org/abs/math/0404240v1

Mathematics

Logic

Scientific paper

Let P be a distinguished unary predicate and
K= {M: M a model of cardinality aleph_n with P^M of cardinality aleph_0}.
We prove that consistently for n=4, for some countable first order theory T
we have: T has no model in K whereas every finite subset of T has a model in K.
We then show how we prove it also for n=2, too.

Affiliated with

Also associated with

No associations

Rating

The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$--compactness does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$--compactness, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$--compactness will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-247371