Buchumschlag

Quantifier-free formulas and quantifier alternation depth in doctrines

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Abbadini, Marco, Guffanti, Francesca
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Category Theory Primary: 03G30. Secondary: 03B10, 18C10, 08C15, 08B20
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Freely adding one layer of quantifiers to a Boolean doctrine
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

Existential completions and Herbrand's theorem
von: Wrigley, Joshua L.
Veröffentlicht: (2025)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
von: Frey, Jonas
Veröffentlicht: (2023)

Testing definitional equivalence of theories via automorphism groups
von: Andréka, H., et al.
Veröffentlicht: (2022)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

Profunctorial algebras
von: Aristote, Quentin, et al.
Veröffentlicht: (2026)

Existentially closed models and locally zero-dimensional toposes
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2024)

Splittings in varieties of logic
von: Davey, Brian A., et al.
Veröffentlicht: (2025)

Sometimes tame, sometimes wild: weak continuity
von: Sanders, Sam
Veröffentlicht: (2024)

Polymorphism-homogeneity and universal algebraic geometry
von: Tóth, Endre, et al.
Veröffentlicht: (2020)

Ultracategories via Kan extensions of relative monads
von: Tarantino, Umberto, et al.
Veröffentlicht: (2025)

On some algebraic properties of Plonka sums and regularized varieties
von: Bonzio, S., et al.
Veröffentlicht: (2026)

The variety of coset relation algebras
von: Givant, Steven, et al.
Veröffentlicht: (2018)

Atomic Toposes with Co-Well-Founded Categories of Atoms
von: Marquès, Jérémie
Veröffentlicht: (2024)

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
von: Beyarslan, Özlem, et al.
Veröffentlicht: (2017)

Finite models for positive combinatorial and exponential algebra
von: Alsulami, Tumadhir, et al.
Veröffentlicht: (2024)

Probabilistic equational spectrum, primality and approximation in finite algebras
von: Cardó, Carles
Veröffentlicht: (2026)

Quotients, pure existential completions and arithmetic universes
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

A choice-free proof of Mal'cev's theorem on quasivarieties
von: Shen, Guozhen
Veröffentlicht: (2025)

Connectedness through decidable quotients
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2023)

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2026)

Extension Monads: Some Structure Theorems
von: Bowerman, Danielle, et al.
Veröffentlicht: (2025)

Sites and Grothendieck toposes: an introduction
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

A universal characterization of standard Borel spaces
von: Chen, Ruiyuan
Veröffentlicht: (2019)

Generalised ultracategories and conceptual completeness of geometric logic
von: Hamad, Ali
Veröffentlicht: (2025)

Internal 1-topoi in 2-topoi
von: Helfer, Joseph
Veröffentlicht: (2024)

The Construction Principle and superstability of free objects in varieties of algebras
von: Hyttinen, Tapani, et al.
Veröffentlicht: (2026)

Sketches and Classifying Logoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Unorthodox Algebras and their associated Unorthodox Logics
von: Sankappanavar, Hanamantagouda P.
Veröffentlicht: (2025)

Connexive logics and connexive semi-Heyting algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2025)

Varieties of MV-monoids and positive MV-algebras
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

Extending conceptual completeness via virtual ultracategories
von: Saadia, Gabriel
Veröffentlicht: (2025)

Transposition of variables is hard to describe
von: Andréka, H., et al.
Veröffentlicht: (2024)