New posts in higher-order-logic

Second-order logic - monadic version and Henkin semantics

logic higher-order-logic

Is there any generalization of the hyperarithmetical hierarchy using the analytical hierarchy to formulas belonging to third-order logic and above?

set-theory computability descriptive-set-theory higher-order-logic

Who first proved that the second-order theory of real numbers is categorical?

logic math-history foundations higher-order-logic real-numbers

advantage of first-order logic over second-order logic

logic model-theory higher-order-logic

Relationship between propositional logic, first-order logic, second-order logic higher-order logic, and type theory

logic propositional-calculus first-order-logic type-theory higher-order-logic

Do isomorphic structures always satisfy the same second-order sentences?

logic model-theory higher-order-logic

Is many sorted logic really a unifying logic?

logic model-theory proof-theory type-theory higher-order-logic

are there non-standard models of arithmetic in second order arithmetic?

philosophy incompleteness higher-order-logic

Henkin vs. "Full" Semantics for Second-order Logic and Multi-Sorted First Order Interpretations

logic model-theory higher-order-logic

What are some examples of third, fourth, or fifth order logic sentences?

logic higher-order-logic

What's an example of a theory that's consistent yet has no model?

logic higher-order-logic

Is second order logic even a logic?

logic higher-order-logic

First-order logic advantage over second-order logic

logic elementary-set-theory higher-order-logic

Is First Order Logic (FOL) the only fundamental logic?

logic elementary-set-theory philosophy higher-order-logic