Copertina

Varieties generated by completions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Andréka, H., Németi, I.
Natura:	Preprint
Pubblicazione:	2018
Soggetti:	Logic 03C05 06E25 03G15 03C13 06A06 06B23 06A11
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Term algebras of elementarily equivalent atom structures
di: Andréka, H., et al.
Pubblicazione: (2018)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
di: Coquand, Thierry, et al.
Pubblicazione: (2017)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
di: Holliday, Wesley H.
Pubblicazione: (2022)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
di: Lin, Chun-Yu, et al.
Pubblicazione: (2025)

Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
di: Kurilić, Miloš S.
Pubblicazione: (2026)

Maximal order types for sequences with gap condition
di: Uftring, Patrick
Pubblicazione: (2025)

Diagrams of opposition: an algebraic viewpoint
di: Wu, Chai Wah
Pubblicazione: (2024)

Tukey-idempotency and strong p-points
di: Benhamou, Tom, et al.
Pubblicazione: (2025)

The countable condensation on linear orders
di: Brown, Jennifer, et al.
Pubblicazione: (2025)

Preconditionals
di: Holliday, Wesley H.
Pubblicazione: (2024)

Cohen-like first order structures
di: Kostana, Ziemowit
Pubblicazione: (2020)

Bourbaki--Zorn Normal Forms for Maximality Arguments
di: Liu, You-Chang
Pubblicazione: (2026)

Quantales carrying ortholattice structure
di: Botur, Michal, et al.
Pubblicazione: (2026)

Cutsets in ${\mathcal P}(X)$
di: Ginsburg, John, et al.
Pubblicazione: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
di: Knudstorp, Søren Brinck
Pubblicazione: (2025)

Tukey morphisms between finite relations
di: Barton, Rhett, et al.
Pubblicazione: (2023)

Embeddings into the generic poset
di: Kwiatkowska, Aleksandra, et al.
Pubblicazione: (2025)

Failure of the Blok-Esakia Theorem in the monadic setting
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

Countably-categorical Boolean rings with distinguished ideals
di: Apps, Andrew
Pubblicazione: (2021)

Piecewise convex embeddability on linear orders
di: Iannella, Martina, et al.
Pubblicazione: (2023)

Copies of Monomorphic Structures
di: Kurilić, Miloš S.
Pubblicazione: (2023)

Forcing With Copies of Uncountable Ordinals
di: Kurilić, Miloš S.
Pubblicazione: (2023)

Local finiteness in varieties of MS4-algebras
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2023)

Local tabularity in MS4 with Casari's axiom
di: Meadors, Chase
Pubblicazione: (2024)

The Ordering Principle and Dependent Choice
di: Holy, Peter, et al.
Pubblicazione: (2025)

The Ordering Principle and Higher Dependent Choice
di: Holy, Peter, et al.
Pubblicazione: (2025)

Maximality Principles in Modal Logic and the Axiom of Choice
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

On the equational theory of finite modular lattices
di: Herrmann, Christian
Pubblicazione: (2024)

Reduced Products of Collapsing Algebras
di: Kurilić, Miloš S.
Pubblicazione: (2024)

A calculus for modal compact Hausdorff spaces
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2024)

Finitely additive measures on Boolean algebras
di: Cardona, Miguel A., et al.
Pubblicazione: (2025)

Finite versus infinite: an insufficient shift
di: Pequignot, Yann
Pubblicazione: (2016)

Correspondence Theory for Many-valued Modal Logic
di: Britz, Cecelia, et al.
Pubblicazione: (2024)

The modal theory of linear orders
di: Wołoszyn, Wojciech Aleksander
Pubblicazione: (2026)

Derived operators on skew orthomodular and strong skew orthomodular posets
di: Chajda, Ivan, et al.
Pubblicazione: (2025)

The Monadic Grzegorczyk Logic
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2025)

How to take cats together
di: Carollo, Imanol Mozo
Pubblicazione: (2024)

Projectable reduced $f$-rings admitting elimination of quantifiers
di: Guier, Jorge I.
Pubblicazione: (2026)

Locally Integral Involutive PO-Semigroups
di: Gil-Férez, José, et al.
Pubblicazione: (2023)