SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE

DOI10.4467/20842589RM.14.002.2272zbMath1355.03007MaRDI QIDQ5499648

Bart Kuijpers, Rafael Grimson

Publication date: 30 July 2015

Full work available at URL: https://dblp.uni-trier.de/db/journals/rml/rml49.html#GrimsonK14

zbMATH Keywords

decidability; second-order logic; satisfiability

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences