Quantifier-free formulas and quantifier alternation depth in doctrines

DOI10.1016/J.JPAA.2025.108004MaRDI QIDQ6967625zbMATH OpenFDO

Authors Marco Abbadini, Francesca Guffanti

Publication date 26 June 2025

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JPAA.2025.108004

zbMATH Keywords

algebraic logiccategorical logicfirst-order logiclawvere's hyperdoctrinesnested quantifiersquantifier alternation depthquantifier completionquantifier-free fragment

Mathematics Subject Classification ID

Classical first-order logic (03B10) Categorical logic, topoi (03G30) Free algebras (08B20) Quasivarieties (08C15) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites work

• A characterization of generalized existential completions
• A co-free construction for elementary doctrines
• A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
• A generalization of the Schützenberger product of finite monoids
• Adjointness in Foundations
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Algebras with a Scheme of Operators
• All realizability is relative
• An algebraic theory of normal forms
• Canonical extensions: an algebraic approach to Stone duality
• Classification of finite monoids: the language approach
• Continuity, freeness, and filtrations
• Dot-depth of star-free events
• Elementary doctrines as coalgebras
• Elementary quotient completion
• Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
• Heterogeneous algebras
• scientific article; zbMATH DE number 4089537 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• scientific article; zbMATH DE number 496003 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• On duality and model theory for polyadic spaces
• On generalizing free algebras for a functor.
• Quotient completion for the foundation of constructive mathematics
• Some nuances of many-sorted universal algebra: a review
• The existential completion
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Unifying exact completions

Cited in

(1)

• Existential completions and Herbrand's theorem

This page was built for publication: Quantifier-free formulas and quantifier alternation depth in doctrines

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