:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	McDonald, Joseph
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Rings and Algebras Logic
Accesso online:	https://arxiv.org/abs/2511.16968
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Orthogonality relations and operators on bounded quasi-implication algebras
di: McDonald, Joseph
Pubblicazione: (2025)

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

Trees and spectra of Heyting algebras
di: Fornasiere, Damiano, et al.
Pubblicazione: (2024)

Local structure of idempotent algebras I
di: Bulatov, Andrei A.
Pubblicazione: (2020)

Some applications of finite BL-algebras
di: Flaut, Cristina, et al.
Pubblicazione: (2025)

Automorphisms and derivations on algebras endowed with formal infinite sums
di: Bagayoko, Vincent, et al.
Pubblicazione: (2024)

Formal conjugacy and asymptotic differential algebra
di: Bagayoko, Vincent
Pubblicazione: (2024)

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

Representable distributive quasi relation algebras
di: Craig, Andrew, et al.
Pubblicazione: (2023)

When Darwin met Ianus: dichotomies of expressivity
di: Brunar, Johanna, et al.
Pubblicazione: (2025)

The theory of implicit operations
di: Carai, Luca, et al.
Pubblicazione: (2025)

Taylor expansions over generalised power series
di: Bagayoko, Vincent, et al.
Pubblicazione: (2025)

A Module-theoretic Introduction to Abstract Elementary Classes
di: Boney, Will
Pubblicazione: (2025)

Bass modules and embeddings into free modules
di: Pillay, Anand, et al.
Pubblicazione: (2025)

Constructive Quantifier Elimination with a Focus on Matrix Rings
di: Illmer, Maximilian, et al.
Pubblicazione: (2025)

An addendum to "The theory of implicit operations"
di: Carai, Luca, et al.
Pubblicazione: (2025)

Quasicomplemented distributive nearlattices
di: Calomino, Ismael
Pubblicazione: (2025)

Sharply 2-transitive groups of finite Morley rank
di: Altinel, Tuna, et al.
Pubblicazione: (2018)

Dual Ploščica spaces of ortholattices
di: Craig, Andrew, et al.
Pubblicazione: (2026)

Almost free modules, perfect decomposition and Enochs's conjecture
di: Cortés-Izurdiaga, Manuel, et al.
Pubblicazione: (2024)

Representability for distributive quasi relation algebras via nested sums
di: Craig, Andrew, et al.
Pubblicazione: (2025)

Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
di: del Barco, Viviana, et al.
Pubblicazione: (2025)

On the structure of approximate rings
di: Krupiński, Krzysztof, et al.
Pubblicazione: (2026)

Coalgebraic models of Omega-groups
di: Bevilacqua, Maria
Pubblicazione: (2025)

Approximation properties of torsion classes
di: Cox, Sean, et al.
Pubblicazione: (2024)

Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields
di: Bodirsky, Manuel, et al.
Pubblicazione: (2022)

Vopěnka's Principle, Maximum Deconstructibility, and singly-generated torsion classes
di: Cox, Sean
Pubblicazione: (2024)

Formalizing Gröbner Basis Theory in Lean
di: Guo, Junyu, et al.
Pubblicazione: (2026)

L-algebras and their ideals: from simplicity to semidirect products
di: Properzi, Silvia, et al.
Pubblicazione: (2025)

Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
di: McDonald, Joseph
Pubblicazione: (2025)

Network Satisfaction Problems Solved by k-Consistency
di: Bodirsky, Manuel, et al.
Pubblicazione: (2023)

An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments
di: Feller, Roman, et al.
Pubblicazione: (2024)

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
di: Bolan, Matthew, et al.
Pubblicazione: (2025)

On the structure and theory of McCarthy algebras
di: Bonzio, Stefano, et al.
Pubblicazione: (2025)

Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
di: Järvinen, Jouni, et al.
Pubblicazione: (2023)

Computable $K$-theory for C*-algebras II: AF algebras
di: Eagle, Christopher J., et al.
Pubblicazione: (2026)

Totally Disconnected (non-metric) Gelfand Duality
di: Rodríguez, Sebastián, et al.
Pubblicazione: (2025)

The universal logic of repeated experiments
di: Grillo, Sergio Daniel
Pubblicazione: (2025)

Semi-abelian by Design: Johnstone Algebras Unifying Implication and Division
di: Forsman, David
Pubblicazione: (2025)

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms
di: Bodirsky, Manuel, et al.
Pubblicazione: (2025)