The Hanf numbers of stationary logic. II. Comparison with other logics

Details The Hanf numbers of stationary logic. II. Comparison with other logics The Hanf numbers of stationary logic. II. Comparison with other logics

1991-01-15

arxiv.org/abs/math/9201243v1

Notre Dame J. Formal Logic 33 (1992), 1--12

Mathematics

Logic

Scientific paper

We show that the ordering of the Hanf number of L_{omega, omega}(wo) (well ordering), L^c_{omega, omega} (quantification on countable sets), L_{omega, omega}(aa) (stationary logic) and second order logic, have no more restraints provable in ZFC than previously known (those independence proofs assume CON(ZFC) only). We also get results on corresponding logics for L_{lambda, mu} .

Affiliated with

Also associated with

No associations

Rating

The Hanf numbers of stationary logic. II. Comparison with other logics 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 Hanf numbers of stationary logic. II. Comparison with other logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Hanf numbers of stationary logic. II. Comparison with other logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-144884