Archive for Mathematical Logic

A recursion-theoretic characterization of monotone NP

Published on 5 Nov 2026

A diamond embedding in the computably enumerable quasi degrees

Published on 29 Oct 2026

A refinement of the McCreight-Meyer union theorem

Published on 3 Oct 2026

A finite algebraic target theorem for Kreisel’s conjecture

Published on 29 Sep 2026

Herbrand’s Theorem: a short statement and a model-theoretic proof

Published on 28 Sep 2026

Unravelling cyclic first-order arithmetic

Published on 23 Sep 2026

Fragments of some subintuitionistic logics

Published on 19 Sep 2026

Infinitary negative translations and Glivenko logic

Published on 17 Sep 2026

Homogeneity and orders between ideals

Published on 16 Sep 2026

Cantor’s theorem for partitions whose members have a bounded size

Published on 15 Sep 2026

Partitions and Finite-to-One Maps

Published on 10 Sep 2026

Intuitionistic logic of a binary modality

Published on 9 Sep 2026

Canonical reconstruction and forcing absoluteness of standard structures

Published on 27 Jul 2026

On some subtheories of strong dependent choice

Published on 11 Jul 2026

Correction: Diagonalization as computation: Gödel sentence construction and a type-disciplined blueprint

Published on 10 Jul 2026

A further application of Stern absoluteness

Published on 1 Jul 2026

Diagonalization as computation: Gödel sentence construction and a type-disciplined blueprint

Published on 8 Jun 2026

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

Published on 25 May 2026

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

Published on 23 May 2026

Computability of a whitney extension

Published on 17 May 2026

Game-theoretic variants of splitting number

Published on 12 May 2026

There may be exactly -points

Published on 9 May 2026

Binary choice games and arithmetical comprehension

Published on 9 May 2026

Reinhardt cardinals and eventually dominating functions

Published on 4 May 2026

Correspondence of Contradictions in the Constructive Connexive Calculus

Published on 2 May 2026

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

Dominating numbers at singular cardinals

Published on 19 Mar 2026

Another method to add a closed unbounded set of former regulars