Pure second-order logic with second-order identity

DOI10.1215/00294527-2010-021MaRDI QIDQ989416zbMATH OpenOpenAlexFDO

Authors Alexander Paseau

Publication date 20 August 2010

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2010-021

zbMATH Keywords

\(n\)th-order logiccompactnessdecidability of validityelimination of quantifiersmodel completenesssecond-order identitysecond-order logic

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Pure second-order logic
• scientific article; zbMATH DE number 1550339
• scientific article; zbMATH DE number 1984507
• Second-order logic on equivalence relations
• scientific article; zbMATH DE number 5885155
• scientific article; zbMATH DE number 7360013
• Second-Order Equational Logic (Extended Abstract)
• Second-order logic: properties, semantics, and existential commitments
• Strong logics of first and second order
• Second-order logic and the power set

Cited in

(2)

• Pure second-order logic
• Power domains and second-order predicates

This page was built for publication: Pure second-order logic with second-order identity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q989416)