Cover Image

Finite models for positive combinatorial and exponential algebra

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Alsulami, Tumadhir, Jackson, Marcel
Format:	Preprint
Published:	2024
Subjects:	Logic 08B05, 03C10, 03C05, 03E10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The variety of coset relation algebras
by: Givant, Steven, et al.
Published: (2018)

Some combinatorial properties of semiselective ideals
by: Cano, Julián C., et al.
Published: (2023)

The adjacent Hindman's theorem for uncountable groups
by: Carlucci, Lorenzo, et al.
Published: (2020)

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

Big Ramsey degrees and the two-branching pseudotree
by: Chodounský, David, et al.
Published: (2025)

Building complicated index models and Boolean algebras
by: Shelah, Saharon
Published: (2024)

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

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

What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022)

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

Counting Sets with Surnatural Numbers
by: Lynch, Peter, et al.
Published: (2023)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

An introduction to higher walks
by: Bergfalk, Jeffrey
Published: (2024)

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

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

Whitehead's problem and condensed mathematics
by: Bergfalk, Jeffrey, et al.
Published: (2023)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

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

The Ramsey property and higher dimensional mad families
by: Schrittesser, David, et al.
Published: (2020)

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

Topological games in Ramsey spaces
by: Cano, Julián C., et al.
Published: (2023)

Higher walks and squares
by: Lambie-Hanson, Chris, et al.
Published: (2025)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)

Fractional Helly property and combinatorics of forking in NTP$_2$ theories
by: Chernikov, Artem, et al.
Published: (2026)

Limit Semigroups with 2 Generators
by: Estrada, Felipe, et al.
Published: (2025)

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

Hindman and Owings-like theorems without the Axiom of Choice
by: Guzmán-Vega, José A., et al.
Published: (2026)

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

Infinite-Exponent Partition Relations on the Real Line
by: Gardiner, Lyra A.
Published: (2025)

$κ$-barely independent families and Tukey types of ultrafilters
by: Chapital, Jorge Antonio Cruz
Published: (2025)

A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)

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

Obligatory hypergraphs
by: Reiher, Christian
Published: (2024)

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

On some algebraic properties of Plonka sums and regularized varieties
by: Bonzio, S., et al.
Published: (2026)

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)

The theory DCF$_p$A exists for $p>0$
by: Ino, Kai, et al.
Published: (2024)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

Forking independence in differentially closed fields of positive characteristic
by: Kowalski, Piotr, et al.
Published: (2025)