5
votes
Are there atoms in the lattice of intermediate logics?
There are no atoms.
Assume for contradiction that $L$ is an atom. Since $L$ strictly contains IPC, there is a finite rooted Kripke frame $F$ that does not validate $L$, thus $L$ proves the Jankov–De ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
universal-algebra × 409ct.category-theory × 105
lo.logic × 95
ra.rings-and-algebras × 64
model-theory × 59
gr.group-theory × 58
reference-request × 41
semigroups-and-monoids × 36
set-theory × 32
lattice-theory × 28
order-theory × 22
ac.commutative-algebra × 15
monads × 14
co.combinatorics × 13
large-cardinals × 13
operads × 13
gn.general-topology × 11
terminology × 11
boolean-algebras × 10
finite-groups × 9
lie-algebras × 9
algebraic-systems × 9
ag.algebraic-geometry × 7
self-distributivity × 7
homotopy-theory × 5