Archive for Mathematical Logic

Relative model completeness of henselian valued fields with finite ramification and various value groups

Published on 25 May 2026

See description

Generalized Tukey reducibility between $$\sigma $$-directed sets

Published on 23 May 2026

See description

Computability of a whitney extension

Published on 17 May 2026

See description

Game-theoretic variants of splitting number

Published on 12 May 2026

See description

Binary choice games and arithmetical comprehension

Published on 9 May 2026

See description

There may be exactly -points

Published on 9 May 2026

See description

Reinhardt cardinals and eventually dominating functions

Published on 4 May 2026

See description

Correspondence of Contradictions in the Constructive Connexive Calculus

Published on 2 May 2026

See description

On the $$\Sigma ^0_1$$-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis

Published on 22 Apr 2026

See description

Dominating numbers at singular cardinals

Published on 19 Mar 2026

See description

Another method to add a closed unbounded set of former regulars

Published on 19 Mar 2026

See description

Monotonicity of the ultrafilter number function

Published on 12 Mar 2026

See description

The adjacent Hindman’s Theorem and the $$\mathbb Z$$-Ramsey’s Theorem

Published on 10 Mar 2026

See description

Small measurable cardinals

Published on 28 Feb 2026

See description

Borel complexity of families of finite equivalence relations via large cardinals

Published on 26 Feb 2026

See description

Characterization of subdirectly irreducible heyting algebras with negative tense operators

Published on 16 Jan 2026

See description

Limits on forcing axioms at $$\omega _2$$ compatible with the continuum hypothesis

Published on 17 Dec 2025

See description

Logical complexity of reducts of elementary algebraic classes

Published on 14 Dec 2025

See description

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers

Published on 25 Nov 2025

See description

Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions

Published on 21 Nov 2025

See description

On the hierarchy of linearity axioms

Published on 19 Nov 2025

See description

Apartness and the elimination of strong forms of extensionality

Published on 16 Nov 2025

See description

On sequential theorems in Reverse Mathematics

Published on 15 Nov 2025

See description

On the hausdorff dimension of maximal chains and antichains of turing and hyperarithmetic degrees

Published on 9 Nov 2025

See description

Results in model theory for Riesz-valued structures

Published on 8 Nov 2025

See description

Around the Eggleston Theorem

Published on 7 Nov 2025

See description

Nonvanishing derived limits without scales

Published on 4 Nov 2025

See description

Homogeneity, P-like properties of ideals and orders between ideals

Published on 2 Nov 2025

See description

Constructible structures and constructible open cores

Published on 30 Oct 2025

See description

Correction: Symétrons et K-boucles $$\omega$$-stables

Published on 23 Oct 2025