


default search action
Journal of Mathematical Logic, Volume 25
Volume 25, Number 1, April 2025
- Dag Normann, Sam Sanders:

The Biggest Five of Reverse Mathematics. 2450007:1-2450007:56 - Ashutosh Kumar, Saharon Shelah

:
Turing independence and Baire category. 2450008:1-2450008:17 - Zhixing You

, Jiachen Yuan
:
How far is almost strong compactness from strong compactness. 2450009:1-2450009:15 - James S. Barnes, Jun Le Goh

, Richard A. Shore
:
Halin's infinite ray theorems: Complexity and reverse mathematics. 2450010:1-2450010:47 - Gabriel Conant

, Christian d'Elbée, Yatir Halevi, Léo Jimenez
, Silvain Rideau-Kikuchi:
Enriching a predicate and tame expansions of the integers. 2450011:1-2450011:54 - JinHoo Ahn, Joonhee Kim, Hyoyoon Lee

, Junguk Lee
:
Preservation of NATP. 2450012:1-2450012:43
Volume 25, Number 2, August 2025
- Farmer Schlutzenberg

:
On the consistency of ZF with an elementary embedding from Vλ+2 into Vλ+2. 2450013:1-2450013:43 - Mitch Rudominer

:
The mouse set theorem just past projective. 2450014:1-2450014:32 - Patrick Lutz

:
Martin's conjecture for regressive functions on the hyperarithmetic degrees. 2450015:1-2450015:17 - Michael Loesch, Daniel Palacín

:
Rings of finite Morley rank without the canonical base property. 2450016:1-2450016:33 - Tom Benhamou

, Shimon Garti
, Moti Gitik
, Alejandro Poveda
:
Non-Galvin filters. 2450017:1-2450017:35 - Navin Aksornthong

, Takehiko Gappo
, James Holland, Grigor Sargsyan
:
On ω-strongly measurable cardinals in ℙmax extensions. 2450018:1-2450018:26 - Verónica Becher

, Stephen Jackson
, Dominik Kwietniak
, Bill Mance
:
The descriptive complexity of the set of Poisson generic numbers. 2450019:1-2450019:18

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














