logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
A

Archive for Mathematical Logic

IF0.4
Papers34
Citations
Journal Papers 34
Publication Date
delete
Game-theoretic variants of splitting number
deleteArchive for Mathematical Logic
IF0.4
delete2026-06-01
delete0
PREAI
deleteChapital, Jorge Antonio Cruz; Goto, Tatsuya; Hayashi, Yusuke; Yamazoe, Takashi
deleteShare
deleteSave
There may be exactly nQ-points
deleteArchive for Mathematical Logic
IF0.4
delete2026-06-01
delete0
PREAI
deleteHalbeisen, Lorenz; Horvath, Silvan; Ozalp, Tan
deleteShare
deleteSave
On the 601-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis
deleteArchive for Mathematical Logic
IF0.4
delete2026-06-01
delete0
PREAI
deleteFujiwara, Makoto
deleteShare
deleteSave
Correspondence of Contradictions in the Constructive Connexive Calculus C
deleteArchive for Mathematical Logic
IF0.4
delete2026-06-01
delete0
PREAI
deleteNiki, Satoru
deleteShare
deleteSave
Binary choice games and arithmetical comprehension
deleteArchive for Mathematical Logic
IF0.4
delete2026-06-01
delete0
PREAI
deleteAguilera, J. P.; Kouptchinsky, T.
deleteShare
deleteSave
Another method to add a closed unbounded set of former regulars
deleteArchive for Mathematical Logic
IF0.4
delete2026-03-01
delete0
PREAI
deleteGitik, Moti; Jirattikansakul, Sittinon
deleteShare
deleteSave
The adjacent Hindman's Theorem and the Z-Ramsey's Theorem
deleteArchive for Mathematical Logic
IF0.4
delete2026-03-01
delete0
PREAI
deleteAceves-Martinez, Bruno Fernando; Fernandez-Breton, David J.; Romero-Garcia, L. F.; Villagomez-Canela, Luis F.
deleteShare
deleteSave
Dominating numbers at singular cardinals
deleteArchive for Mathematical Logic
IF0.4
delete2026-03-01
delete0
PREAI
deleteHayashi, Yusuke
deleteShare
deleteSave
Monotonicity of the ultrafilter number function
deleteArchive for Mathematical Logic
IF0.4
delete2026-03-01
delete0
PREAI
deleteUsuba, Toshimichi
deleteShare
deleteSave
Small measurable cardinals
deleteArchive for Mathematical Logic
IF0.4
delete2026-02-01
delete0
PREAI
deleteHayut, Yair; Karagila, Asaf
deleteShare
deleteSave
Characterization of subdirectly irreducible heyting algebras with negative tense operators
deleteArchive for Mathematical Logic
IF0.4
delete2026-01-01
delete0
PREAI
deleteAlminana, Federico; Pelaitay, Gustavo
deleteShare
deleteSave
Computability of a whitney extension
deleteArchive for Mathematical Logic
IF0.4
delete2026-01-01
delete0
PREAI
deleteBrun, Andrea; Gherardi, Guido; Marcone, Alberto
deleteShare
deleteSave
Reinhardt cardinals and eventually dominating functions
deleteArchive for Mathematical Logic
IF0.4
delete2026-01-01
delete0
PREAI
deleteMohammd, Marwan Salam
deleteShare
deleteSave
Logical complexity of reducts of elementary algebraic classes
deleteArchive for Mathematical Logic
IF0.4
delete2025-12-01
delete0
PREAI
deleteCardo, Carles
deleteShare
deleteSave
Limits on forcing axioms at ω2 compatible with the continuum hypothesis
deleteArchive for Mathematical Logic
IF0.4
delete2025-12-01
delete0
PREAI
deleteTodorcevic, Stevo; Xiong, Shihao
deleteShare
deleteSave
A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
deleteArchive for Mathematical Logic
IF0.4
delete2025-11-01
delete0
deleteOAAI
deleteKoponen, Vera; Weitkamper, Felix
deleteShare
deleteSave
Around the Eggleston Theorem
deleteArchive for Mathematical Logic
IF0.4
delete2025-11-01
delete0
deleteOAAI
deleteMichalski, Marcin; Ralowski, Robert; Zeberski, Szymon
deleteShare
deleteSave
Nonvanishing derived limits without scales
deleteArchive for Mathematical Logic
IF0.4
delete2025-11-01
delete1
deleteOAAI
deleteCasarosa, Matteo
deleteShare
deleteSave
Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions
deleteArchive for Mathematical Logic
IF0.4
delete2025-11-01
delete0
deleteOAAI
deleteSaotome, Kenji; Nakazawa, Koji; Kimura, Daisuke; Kawasaki, Ayumu
deleteShare
deleteSave
Apartness and the elimination of strong forms of extensionality
deleteArchive for Mathematical Logic
IF0.4
delete2025-11-01
delete0
PREAI
deletevan den Berg, Benno
deleteShare
deleteSave