Mathematics – Logic
Scientific paper
1997-07-16
Mathematics
Logic
This is paper number GoSh:633 in Shelah's list. The paper is to appear in Algebra Universalis.
Scientific paper
If L is an order polynomially complete lattice, (that is: every monotone function from L^n to L is induced by a lattice-theoretic polynomial) then the cardinality of L is a strongly inaccessible cardinal. In particular, the existence of such lattices is not provable in ZFC, nor from ZFC+GCH. Although the problem originates in algebra, the proof is purely set-theoretical. The main tools are partition and canonisation theorems. It is still open if the existence of infinite o.p.c. lattices can be refuted in ZFC.
Goldstern Martin
Shelah Saharon
No associations
LandOfFree
Order polynomially complete lattices must be LARGE 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 Order polynomially complete lattices must be LARGE, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Order polynomially complete lattices must be LARGE will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-575084