A Note on Extensions of Infinitary Logic

Details A Note on Extensions of Infinitary Logic A Note on Extensions of Infinitary Logic

2000-09-07

arxiv.org/abs/math/0009080v1

Mathematics

Logic

Scientific paper

We show that a strong form of the so called Lindstrom's Theorem fails to generalize to extensions of L_{kappa,omega} and L_{kappa,kappa}: For weakly compact kappa there is no strongest extension of L_{kappa,omega} with the (kappa,kappa)-compactness property and the Lowenheim-Skolem theorem down to kappa. With an additional set-theoretic assumption, there is no strongest extension of L_{kappa,kappa} with the (kappa,kappa)-compactness property and the Lowenheim-Skolem theorem down to

Affiliated with

Also associated with

No associations

Rating

A Note on Extensions of Infinitary Logic 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 A Note on Extensions of Infinitary Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Note on Extensions of Infinitary Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-203938