On fragments of higher order logics that on finite structures collapse to second order

DOI10.1007/978-3-662-55386-2_9zbMath1496.03028OpenAlexW2725903392MaRDI QIDQ1685920

Senén González, Flavio Ferrarotti, Jose Maria Turull Torres

Publication date: 20 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55386-2_9

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Higher-order logic (03B16)

Related Items (2)

Systematic Refinement of Abstract State Machines with Higher-Order Logic ⋮ Unnamed Item

This page was built for publication: On fragments of higher order logics that on finite structures collapse to second order