Computably and punctually universal spaces

2025-1-1

Groups definable in Presburger arithmetic

2025-1-1

μ-clubs of P(λ): Paradise in heaven

2025-1-1

On the logical and computational properties of the Vitali covering theorem

2025-1-1

Strong Minimal Pairs in the Enumeration Degrees

2024-12-1

Editorial Board

2024-12-1

Forcing Axioms and the Uniformization-Property

2024-12-1

Finite Undecidability in PAC and PRC Fields

2024-12-1

Around definable types in p-adically closed fields

2024-12-1

Reasoning with belief functions over Belnap–Dunn logic

2024-10-1

A logico-geometric comparison of coherence for non-additive uncertainty measures

2024-10-1

Asymptotic conditional probabilities for binary probability functions

2024-10-1

Towards logical foundations for probabilistic computation

2024-10-1

Probing the quantitative–qualitative divide in probabilistic reasoning

2024-10-1

Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras

2024-10-1

Probability propagation rules for Aristotelian syllogisms

2024-10-1

Causal modeling semantics for counterfactuals with disjunctive antecedents

2024-10-1

Probabilistic temporal logic with countably additive semantics

2024-10-1

Editorial Board

2024-9-10

Saturation properties for compositional truth with propositional correctness

2024-9-1

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation

2024-8-1

Two-cardinal ideal operators and indescribability

2024-8-1

A complete axiomatization of infinitary first-order intuitionistic logic over <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:msub><mml:mrow><mml:mi mathvariant="script">L</mml:mi></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mi>κ</mml:mi></mml:mrow><mml:mrow><mml:mo linebreak="badbreak" linebreakstyle="after">+</mml:mo></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:mi>κ</mml:mi></mml:mrow></mml:msub></mml:math>

2024-8-1

Unification types and union splittings in intermediate logics

2024-8-1

The ghosts of forgotten things: A study on size after forgetting

2024-8-1

Theories of Frege structure equivalent to Feferman's system <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:msub><mml:mrow><mml:mi mathvariant="sans-serif">T</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:msub></mml:math>

2024-8-1

Foundations of iterated star maps and their use in combinatorics

2024-8-1

μ-clubs of P(λ): Paradise in heaven

2024-7-24

First-Order Reasoning and Efficient Semi-Algebraic Proofs

2024-7-1

Profiniteness, monadicity and universal models in modal logic

2024-7-1

Extreme types and extremal models

2024-7-1

Editorial Board

2024-7-1

Approachable free subsets and fine structure derived scales

2024-7-1

Owings-like theorems for infinitely many colours or finite monochromatic sets

2024-7-1

Elimination of quantifiers for a theory of real closed rings

2024-7-1

Can you take Komjath's inaccessible away?

2024-7-1

Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka Ideals

2024-7-1

A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI

2024-7-1

Club stationary reflection and other combinatorial principles at ℵ+2

2024-7-1

Concerning Keisler Measures over ultraproducts

2024-7-1

Bi-intermediate logics of trees and co-trees

2024-7-1

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence

2024-7-1

Posets of copies of countable ultrahomogeneous tournaments

2024-6-6

Editorial Board

2024-6-1

Searching problems above arithmetical transfinite recursion

2024-6-1

<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:mi mathvariant="sans-serif">ZF</mml:mi></mml:math> and its interpretations

2024-6-1

From GTC to : Generating Reset Proof Systems from Cyclic Proof Systems

2024-6-1

Decidability bounds for Presburger arithmetic extended by sine

2024-6-1

Editorial Board

2024-5-31

Editorial Board

2024-5-31