On the first-order prefix hierarchy

DOI10.1305/NDJFL/1117755146zbMath1078.03028OpenAlexW1994028993MaRDI QIDQ2565987

Eric Rosen

Publication date: 28 September 2005

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

Full work available at URL: https://doi.org/10.1305/ndjfl/1117755146

zbMATH Keywords

expressive powerfragments of first-order logicfirst-order prefix

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Related Items (1)

On the Mints Hierarchy in First-Order Intuitionistic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Finite partially-ordered quantification
• The diversity of quantifier prefixes

This page was built for publication: On the first-order prefix hierarchy