Cover Image

A choice-free proof of Mal'cev's theorem on quasivarieties

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Shen, Guozhen
Format:	Preprint
Published:	2025
Subjects:	Logic Primary 08C15, Secondary 03C05, 03E25
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)

Three forms of the Erdős-Dushnik-Miller Theorem
by: Howard, Paul, et al.
Published: (2024)

A probabilistic look at the infinite hat-guessing game
by: Eldredge, Nathaniel
Published: (2025)

The finitary partitions with $n$ non-singleton blocks of a set
by: Hu, Yifan, et al.
Published: (2024)

A note on surjective cardinals
by: Jin, Jiaheng, et al.
Published: (2024)

A note on dual Dedekind finiteness
by: Mao, Ruihuan, et al.
Published: (2024)

On ordering of surjective cardinals
by: Shen, Guozhen, et al.
Published: (2025)

Filtered Boolean powers of finite simple non-abelian Mal'cev algebras
by: Mayr, Peter, et al.
Published: (2024)

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice
by: Banerjee, Amitayu, et al.
Published: (2023)

Boundedly finite-to-one functions
by: Hu, Xiao, et al.
Published: (2024)

Amorphous sets and dual Dedekind finiteness
by: Hu, Yifan, et al.
Published: (2025)

A generalized Cantor theorem in ZF
by: Peng, Yinhe, et al.
Published: (2021)

Borel Polychromatic Number of Grids
by: Berlow, Katalin, et al.
Published: (2025)

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

Universality properties of forcing
by: Parente, Francesco, et al.
Published: (2023)

Local reflections of choice
by: Ryan-Smith, Calliope
Published: (2024)

Models of an Abstract Elementary Class as a Generalized Polish Space
by: Marangelis, Georgios
Published: (2025)

The Borel Ramsey properties for countable Borel equivalence relations
by: Gao, Su, et al.
Published: (2024)

Integration on the Surreals
by: Costin, Ovidiu, et al.
Published: (2022)

Borel distinguishing number
by: Bilge, Onur, et al.
Published: (2025)

Elekes-Szabó for groups, and approximate subgroups in weak general position
by: Bays, Martin, et al.
Published: (2021)

Categoricity and amalgamation for AEC and $ κ$ measurable
by: Kolman, Oren, et al.
Published: (1996)

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

Brooks' type theorems for coloring parameters of locally finite graphs and Konig's Lemma
by: Banerjee, Amitayu, et al.
Published: (2024)

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

A model for global compactness
by: Jirattikansakul, Sittinon, et al.
Published: (2024)

Borel Kernels in Borel Directed Graphs
by: Wang, Ruijun
Published: (2025)

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
by: Kanovei, Vladimir, et al.
Published: (2025)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
by: Kanovei, Vladimir, et al.
Published: (2024)

Eccentricity, extendable choice and descending distributive forcing
by: Ryan-Smith, Calliope
Published: (2025)

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

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

Complexity of Finite Borel Asymptotic Dimension
by: Grebík, Jan, et al.
Published: (2024)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
by: Beyarslan, Özlem, et al.
Published: (2017)

Vaught's conjecture for theories of discretely ordered structures
by: Tanović, Predrag
Published: (2022)

Computable vs Descriptive Combinatorics of Local Problems on Trees
by: Weilacher, Felix
Published: (2022)

Borel Combinatorics of Abelian Group Actions
by: Gao, Su, et al.
Published: (2024)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)