List questions from higher-order-logic | MathQa

A course on Logic.

Published on 13 Jan 2025 - 5:43

Extensionality of a hierarchy of functionals over $\mathbb{N}$

Published on 13 Jan 2025 - 2:17

Can monadic second-order logic characterize finiteness?

Published on 13 Jan 2025 - 5:38

Formulating that the universe is finite without establishing an upper limit

Published on 13 Jan 2025 - 5:39

$\exists x ~ \forall y ~ f(x, y) \iff \forall y() ~ \exists x~ f(x, y(x))$ Name? Proof?

Published on 13 Jan 2025 - 5:52

Expressive Power of Second-Order Logic vs. Higher-Order Logics

Published on 13 Jan 2025 - 5:38

Can the transfer principle apply to second-order logic if we transfer sets and relations to hyper-sets and hyper-relations?

Published on 13 Jan 2025 - 2:39

Is mathematical induction the only known example of a higher-order logic?

Published on 13 Jan 2025 - 5:25

Show that well-ordering is not a first-order property.

Published on 13 Jan 2025 - 5:31

The monadic second order theory with $<$ and Presburger arithmetic

Published on 13 Jan 2025 - 5:33