On covers of quasivarieties of p-algebras
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | Gyenis, Zalán |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Varieties of modal algebras without the congruence extension property
par: Gyenis, Zalán, et autres
Publié: (2024)
par: Gyenis, Zalán, et autres
Publié: (2024)
Probabilities are always axiomatizable
par: Gyenis, Zalán
Publié: (2025)
par: Gyenis, Zalán
Publié: (2025)
More on modal logics and deduction
par: Gyenis, Zalán, et autres
Publié: (2026)
par: Gyenis, Zalán, et autres
Publié: (2026)
Permutations, substitutions and finite axiomatizability
par: Andréka, Hajnal, et autres
Publié: (2025)
par: Andréka, Hajnal, et autres
Publié: (2025)
Substitutions of variables are finitely axiomatizable over quantifications and permutations
par: Andréka, Hajnal, et autres
Publié: (2025)
par: Andréka, Hajnal, et autres
Publié: (2025)
Structural completeness in quasivarieties
par: Aglianó, Paolo, et autres
Publié: (2024)
par: Aglianó, Paolo, et autres
Publié: (2024)
Congruence permutability in quasivarieties
par: Carai, Luca, et autres
Publié: (2025)
par: Carai, Luca, et autres
Publié: (2025)
Ultrafilter extensions of bounded graphs are elementary
par: Molnár, Zalán
Publié: (2024)
par: Molnár, Zalán
Publié: (2024)
Notes on ultrafilter extensions of almost bounded structures
par: Molnár, Zalán
Publié: (2025)
par: Molnár, Zalán
Publié: (2025)
A choice-free proof of Mal'cev's theorem on quasivarieties
par: Shen, Guozhen
Publié: (2025)
par: Shen, Guozhen
Publié: (2025)
Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice
par: Banerjee, Amitayu, et autres
Publié: (2023)
par: Banerjee, Amitayu, et autres
Publié: (2023)
Difference-restriction algebras with operators
par: Borlido, Célia, et autres
Publié: (2025)
par: Borlido, Célia, et autres
Publié: (2025)
Convex algebras on an interval with semicontinuous monotone operations
par: Sokolova, Ana, et autres
Publié: (2026)
par: Sokolova, Ana, et autres
Publié: (2026)
Nelson algebras, residuated lattices and rough sets: A survey
par: Järvinen, Jouni, et autres
Publié: (2024)
par: Järvinen, Jouni, et autres
Publié: (2024)
On the preservation of unification type of Heyting algebras and interior algebras
par: Düntsch, Ivo, et autres
Publié: (2025)
par: Düntsch, Ivo, et autres
Publié: (2025)
A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)
A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
par: Alvarez, David Quinn
Publié: (2025)
par: Alvarez, David Quinn
Publié: (2025)
Minimal covers in the Weihrauch degrees
par: Lempp, Steffen, et autres
Publié: (2023)
par: Lempp, Steffen, et autres
Publié: (2023)
On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
par: Banerjee, Amitayu, et autres
Publié: (2024)
par: Banerjee, Amitayu, et autres
Publié: (2024)
Local structure of idempotent algebras I
par: Bulatov, Andrei A.
Publié: (2020)
par: Bulatov, Andrei A.
Publié: (2020)
Hemi-Nelson algebras
par: Lubomirsky, Noemí, et autres
Publié: (2026)
par: Lubomirsky, Noemí, et autres
Publié: (2026)
Implicative-orthomodular algebras
par: Ciungu, Lavinia Corina
Publié: (2023)
par: Ciungu, Lavinia Corina
Publié: (2023)
Obligations and permissions, algebraically
par: De Domenico, Andrea, et autres
Publié: (2024)
par: De Domenico, Andrea, et autres
Publié: (2024)
Unfoldings and coverings of weighted graphs
par: Courcelle, Bruno
Publié: (2022)
par: Courcelle, Bruno
Publié: (2022)
Bounded depth in Hilbert algebras
par: Carai, Luca, et autres
Publié: (2026)
par: Carai, Luca, et autres
Publié: (2026)
Duality for finitely valued algebras
par: Abbadini, Marco, et autres
Publié: (2025)
par: Abbadini, Marco, et autres
Publié: (2025)
Centers of quantum-Wajsberg algebras
par: Ciungu, Lavinia Corina
Publié: (2023)
par: Ciungu, Lavinia Corina
Publié: (2023)
Generalizations of quantum-Wajsberg algebras
par: Ciungu, Lavinia Corina
Publié: (2024)
par: Ciungu, Lavinia Corina
Publié: (2024)
Model theory of term algebras revisited
par: Carolillo, Davide, et autres
Publié: (2026)
par: Carolillo, Davide, et autres
Publié: (2026)
Strong quasi-MV* algebras and their logics
par: Cai, Lei, et autres
Publié: (2025)
par: Cai, Lei, et autres
Publié: (2025)
The logic of quasi MV star algebras
par: Cai, Lei, et autres
Publié: (2025)
par: Cai, Lei, et autres
Publié: (2025)
Embedding stable groups into algebraic groups
par: Bartnick, Charlotte
Publié: (2025)
par: Bartnick, Charlotte
Publié: (2025)
The completeness and congruences of quasi-Boolean algebras
par: Liu, Xiaohao, et autres
Publié: (2025)
par: Liu, Xiaohao, et autres
Publié: (2025)
On Fidel Vakarelov construction for Monadic Godel algebras
par: Alonso, Maria Valentina, et autres
Publié: (2024)
par: Alonso, Maria Valentina, et autres
Publié: (2024)
An essentially algebraic glance to Kripke semantics: the S5 case
par: De Berardinis, Matteo, et autres
Publié: (2025)
par: De Berardinis, Matteo, et autres
Publié: (2025)
Orthogonality relations and operators on bounded quasi-implication algebras
par: McDonald, Joseph
Publié: (2025)
par: McDonald, Joseph
Publié: (2025)
Model-theoretic properties of nilpotent groups and Lie algebras
par: d'Elbée, Christian, et autres
Publié: (2023)
par: d'Elbée, Christian, et autres
Publié: (2023)
A two-sorted theory of nilpotent Lie algebras
par: d'Elbée, Christian, et autres
Publié: (2024)
par: d'Elbée, Christian, et autres
Publié: (2024)
Etale algebras over finite Heyting algebras
par: Evgeny, Kuznetsov
Publié: (2024)
par: Evgeny, Kuznetsov
Publié: (2024)
Brooks' type theorems for coloring parameters of locally finite graphs and Konig's Lemma
par: Banerjee, Amitayu, et autres
Publié: (2024)
par: Banerjee, Amitayu, et autres
Publié: (2024)
Documents similaires
-
Varieties of modal algebras without the congruence extension property
par: Gyenis, Zalán, et autres
Publié: (2024) -
Probabilities are always axiomatizable
par: Gyenis, Zalán
Publié: (2025) -
More on modal logics and deduction
par: Gyenis, Zalán, et autres
Publié: (2026) -
Permutations, substitutions and finite axiomatizability
par: Andréka, Hajnal, et autres
Publié: (2025) -
Substitutions of variables are finitely axiomatizable over quantifications and permutations
par: Andréka, Hajnal, et autres
Publié: (2025)