Copertina

Endomorphisms of free Steiner quasigroups

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Barbina, Silvia, Casanovas, Enrique
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03C05, 05B07
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The elementary theory of free Steiner triple systems
di: Barbina, Silvia, et al.
Pubblicazione: (2024)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
di: Buriola, Gabriele, et al.
Pubblicazione: (2025)

The uniform Kruskal theorem over RCA$_0$
di: Uftring, Patrick
Pubblicazione: (2025)

Elementary properties of free lattices II: Decidability of the universal theory
di: Nation, J. B., et al.
Pubblicazione: (2025)

Elementary properties of free lattices III: Undecidability of the full theory
di: Nation, J. B., et al.
Pubblicazione: (2025)

Transitive Extensions of Automorphism Groups of Generic Structures
di: Estrada, Felipe
Pubblicazione: (2026)

Elementary Properties of Free Lattices
di: Nation, J. B., et al.
Pubblicazione: (2023)

A Fraïssé theory for partial orders of a fixed finite dimension
di: Smythe, Iian B., et al.
Pubblicazione: (2024)

The Construction Principle and superstability of free objects in varieties of algebras
di: Hyttinen, Tapani, et al.
Pubblicazione: (2026)

On Nondefinability of Interior-Connectedness via the Contact Relation
di: Gruszczyński, Rafał, et al.
Pubblicazione: (2025)

A model-thoeretic version of Tarski's theorem
di: Maříková, Jana
Pubblicazione: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
di: Freund, Anton
Pubblicazione: (2021)

Finite models for positive combinatorial and exponential algebra
di: Alsulami, Tumadhir, et al.
Pubblicazione: (2024)

The tree pigeonhole principle in the Weihrauch degrees
di: Dzhafarov, Damir, et al.
Pubblicazione: (2023)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
di: Paolini, Gianluca, et al.
Pubblicazione: (2024)

Constructing maximal cofinitary groups
di: Schrittesser, David
Pubblicazione: (2021)

Definability of maximal cofinitary groups
di: Mejak, Severin, et al.
Pubblicazione: (2022)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

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

Coherence for logicians
di: Petric, Zoran, et al.
Pubblicazione: (2024)

Varieties defined by linear equations have the amalgamation property
di: Lipparini, Paolo
Pubblicazione: (2021)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
di: Sato, Yuta
Pubblicazione: (2025)

Model theory of Steiner triple systems
di: Barbina, Silvia, et al.
Pubblicazione: (2018)

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

Ramsey expansions of $Λ$-ultrametric spaces
di: Braunfeld, Samuel
Pubblicazione: (2017)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
di: Baldwin, John T., et al.
Pubblicazione: (2026)

Algebraizable Weak Logics
di: Nakov, Georgi, et al.
Pubblicazione: (2022)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
di: Baldwin, John T., et al.
Pubblicazione: (2026)

Thresholds for $(n,q,2)$-Steiner Systems via Refined Absorption
di: Delcourt, Michelle, et al.
Pubblicazione: (2024)

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

On n-dependent groups and fields III. Multilinear forms and invariant connected components
di: Chernikov, Artem, et al.
Pubblicazione: (2024)

Structured Sunflowers
di: Ackerman, Nathanael, et al.
Pubblicazione: (2025)

The reverse mathematics of Brooks' theorem
di: Marcone, Alberto, et al.
Pubblicazione: (2026)

Local stability in structures with a standard sort
di: Barbina, Silvia, et al.
Pubblicazione: (2025)

A characterization of locally ordered ternary relations in terms of digraphs
di: Quintero, Guillermo Gamboa, et al.
Pubblicazione: (2025)

A construction of Steiner Triple Systems of type $v\longrightarrow 2v+7$
di: Bonacini, Paola, et al.
Pubblicazione: (2025)

Revisiting Interpolation in Relevant Logics
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

Cut-free sequent calculi for the provability logic D
di: Kashima, Ryo, et al.
Pubblicazione: (2023)

Flows of linear orders on sparse graphs
di: Sullivan, Rob
Pubblicazione: (2024)

Sparse graphs and the fixed points on type spaces property
di: Sullivan, Rob
Pubblicazione: (2023)