208 Published articles
- RSS status: OK
- Last published: 5 days ago
The Tolerant Learning Hierarchy for c.e. Sets
Published on 30 Oct 2026
Measure and integration on σ-sublocales
Published on 29 Oct 2026
On matrix rank function over bounded arithmetics
Published on 24 Oct 2026
Editorial Board
Published on 17 Oct 2026
Freely adding one layer of quantifiers to a Boolean doctrine
Published on 2 Oct 2026
A consistency theorem for cardinal sequences of length <ω3
Published on 1 Oct 2026
An equiconsistency proof for CZF + V = L
Published on 1 Oct 2026
Computable Bases
Published on 24 Sep 2026
On Definably Compact Semigroups in o-Minimal Structures
Published on 10 Sep 2026
Examples and counterexamples of injective types
Published on 9 Sep 2026
Editorial Board
Published on 4 Sep 2026
Proof complexity of CSP
Published on 1 Sep 2026
The total set-recursive functions of KPl and related systems
Published on 28 Aug 2026
On the local modal product logic: standard completeness and decidability
Published on 21 Aug 2026
Model theoretic events
Published on 15 Aug 2026
On the Model Theory of Second-Order Objects
Published on 6 Aug 2026
Categorical-algebraic aspects of Heyting semilattices
Published on 31 Jul 2026
Editorial Board
Published on 22 Jul 2026
Dimension and topology in transserial tame pairs
Published on 21 Jul 2026
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
Published on 16 Jul 2026
Canonical forms of Borel functions on silver blocks
Published on 11 Jul 2026
Existentially closed prime-model extensions of Abelian lattice-ordered groups
Published on 10 Jul 2026
Boldface GCH below the first uncountable limit cardinal
Published on 9 Jul 2026
Completeness of interpolation algorithms in classical and non-classical logics
Published on 9 Jul 2026
Pretabular tense logics over S4t
Published on 17 Jun 2026
On the Rudin-Blass ordering of measures
Published on 11 Jun 2026
A note on the Ketonen order and Lipschitz reducibility between ultrafilters
Published on 9 Jun 2026
A logical representation of L-domains satisfying property M
Published on 9 Jun 2026