Buchumschlag

Dual Ploščica spaces of ortholattices

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Craig, Andrew, Haviar, Miroslav
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Rings and Algebras Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Dual spaces of lattices and semidistributive lattices
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Some applications of finite BL-algebras
von: Flaut, Cristina, et al.
Veröffentlicht: (2025)

The theory of implicit operations
von: Carai, Luca, et al.
Veröffentlicht: (2025)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
von: Alpay, Natanael, et al.
Veröffentlicht: (2022)

Taylor expansions over generalised power series
von: Bagayoko, Vincent, et al.
Veröffentlicht: (2025)

Trees and spectra of Heyting algebras
von: Fornasiere, Damiano, et al.
Veröffentlicht: (2024)

A Module-theoretic Introduction to Abstract Elementary Classes
von: Boney, Will
Veröffentlicht: (2025)

Bass modules and embeddings into free modules
von: Pillay, Anand, et al.
Veröffentlicht: (2025)

Sharply 2-transitive groups of finite Morley rank
von: Altinel, Tuna, et al.
Veröffentlicht: (2018)

Constructive Quantifier Elimination with a Focus on Matrix Rings
von: Illmer, Maximilian, et al.
Veröffentlicht: (2025)

An addendum to "The theory of implicit operations"
von: Carai, Luca, et al.
Veröffentlicht: (2025)

Cylindric quasi-implication algebras
von: McDonald, Joseph
Veröffentlicht: (2025)

Quasicomplemented distributive nearlattices
von: Calomino, Ismael
Veröffentlicht: (2025)

Almost free modules, perfect decomposition and Enochs's conjecture
von: Cortés-Izurdiaga, Manuel, et al.
Veröffentlicht: (2024)

Automorphisms and derivations on algebras endowed with formal infinite sums
von: Bagayoko, Vincent, et al.
Veröffentlicht: (2024)

Local structure of idempotent algebras I
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

When Darwin met Ianus: dichotomies of expressivity
von: Brunar, Johanna, et al.
Veröffentlicht: (2025)

On the structure of approximate rings
von: Krupiński, Krzysztof, et al.
Veröffentlicht: (2026)

Formalizing Gröbner Basis Theory in Lean
von: Guo, Junyu, et al.
Veröffentlicht: (2026)

Approximation properties of torsion classes
von: Cox, Sean, et al.
Veröffentlicht: (2024)

Coalgebraic models of Omega-groups
von: Bevilacqua, Maria
Veröffentlicht: (2025)

Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2022)

Vopěnka's Principle, Maximum Deconstructibility, and singly-generated torsion classes
von: Cox, Sean
Veröffentlicht: (2024)

Network Satisfaction Problems Solved by k-Consistency
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2023)

A categorical description of simple Beth companions
von: Carai, Luca, et al.
Veröffentlicht: (2026)

A formal Lie correspondence
von: Bagayoko, Vincent
Veröffentlicht: (2026)

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
von: Bolan, Matthew, et al.
Veröffentlicht: (2025)

Totally Disconnected (non-metric) Gelfand Duality
von: Rodríguez, Sebastián, et al.
Veröffentlicht: (2025)

Formal conjugacy and asymptotic differential algebra
von: Bagayoko, Vincent
Veröffentlicht: (2024)

Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
von: Baek, Jineon, et al.
Veröffentlicht: (2024)

Equations over valued groups
von: Bagayoko, Vincent
Veröffentlicht: (2024)

The universal logic of repeated experiments
von: Grillo, Sergio Daniel
Veröffentlicht: (2025)

Semi-abelian by Design: Johnstone Algebras Unifying Implication and Division
von: Forsman, David
Veröffentlicht: (2025)

A canonical Makanin-Razborov diagram and a pseudo topology for sets of tuples in free groups, semigroups, associative algebras and Lie algebras I
von: Sela, Z.
Veröffentlicht: (2025)

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

Non Commutative Algebraic Geometry I: Monomial Equations with a Single Variable
von: Sela, Zlil
Veröffentlicht: (2019)

Co-Hopfian and boundedly endo-rigid mixed abelian groups
von: Asgharzadeh, Mohsen, et al.
Veröffentlicht: (2022)

Representable distributive quasi relation algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2023)

Representability for distributive quasi relation algebras via nested sums
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Arbitrary models of the complete first-order theories of FDZ-rings
von: Sohrabi, Mahmood
Veröffentlicht: (2026)