New posts in second-order-logic

Is there a specific infinitary sentence second-order logic can't capture?

logic set-theory model-theory descriptive-set-theory second-order-logic

What is Tarski’s definition of real number multiplication?

real-analysis logic real-numbers ordered-fields second-order-logic

Does the absolute fragment of second-order logic satisfy a strong Lowenheim-Skolem property?

logic set-theory model-theory forcing second-order-logic

Can second order ZFC have a set model

set-theory second-order-logic

Is there a model of $\operatorname{Th}(\mathbb{R})$ which is not a complete ordered field?

logic first-order-logic model-theory second-order-logic

Well-ordering theorem and second-order logic

logic set-theory axiom-of-choice well-orders second-order-logic

The complexity of finiteness

logic set-theory model-theory axiom-of-choice second-order-logic