Cover Image

The elementary theory of free Steiner triple systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barbina, Silvia, Casanovas, Enrique
Format:	Preprint
Published:	2024
Subjects:	Logic 03C15, 03C65, 05B07
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Endomorphisms of free Steiner quasigroups
by: Barbina, Silvia, et al.
Published: (2024)

Transitive Extensions of Automorphism Groups of Generic Structures
by: Estrada, Felipe
Published: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)

A Complete Bounded Theory with Unbounded Types
by: Zhu, Hongyu
Published: (2026)

Model Theory of Homogeneous D-sets
by: Estrada, Felipe, et al.
Published: (2025)

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

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

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

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

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

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

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

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

Topological weak containment
by: Thornton, Riley
Published: (2025)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
by: Yao, Ningyuan, et al.
Published: (2026)

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

Big Ramsey Degrees and Infinite Languages
by: Braunfeld, Samuel, et al.
Published: (2023)

Ramsey expansions of $Λ$-ultrametric spaces
by: Braunfeld, Samuel
Published: (2017)

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

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)

On the model theory of the Farey graph
by: Khangheshlaghi, Zahra Mohammadi, et al.
Published: (2025)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Logic families
by: Andréka, H., et al.
Published: (2023)

Finite versus infinite: an insufficient shift
by: Pequignot, Yann
Published: (2016)

On the shatter function of semilinear set systems
by: Basit, Abdul, et al.
Published: (2025)

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

Constructing maximal cofinitary groups
by: Schrittesser, David
Published: (2021)

Countable models of weakly quasi-o-minimal theories II
by: Moconja, Slavko, et al.
Published: (2026)

On n-distality, n-triviality and hypergraph regularity in NIP theories
by: Chernikov, Artem, et al.
Published: (2026)

A choice-free proof of Mal'cev's theorem on quasivarieties
by: Shen, Guozhen
Published: (2025)

A model theory of topology
by: Lipparini, Paolo
Published: (2022)

Exploring P versus NP
by: Tang, Jian-Gang
Published: (2022)

A Tame Generic Structure with Non-Algebraic Geometric Closure
by: Jalili, Somaye, et al.
Published: (2020)

On dp-minimal expansions of the integers II
by: Alouf, Eran
Published: (2024)

Pseudofiniteness of the Farey Graph
by: Lockhart, Connor Martinez
Published: (2026)

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

Irregular triads in 3-uniform hypergraphs
by: Terry, C., et al.
Published: (2021)