It is not the case that The standard Kripke semantics for S4 admits frames with infinite ascending chains, enabling formulas that force uncountable models resistant to Löwenheim-Skolem downward reduction.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.