Pure second-order logic with second-order identity

DOI10.1215/00294527-2010-021zbMath1211.03019OpenAlexW2090627294MaRDI QIDQ989416

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

compactnesssecond-order logicelimination of quantifiersmodel completeness\(n\)th-order logicdecidability of validitysecond-order identity

Mathematics Subject Classification ID

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

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