logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
A

Archive for Mathematical Logic

IF0.4
论文数34
被引数
期刊论文 34
发表时间
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
delete分享
delete收藏
There may be exactly nQ-points可能存在恰好n个Q点
deleteArchive for Mathematical Logic
IF0.4
delete2026-06-01
delete0
PREAI
deleteHalbeisen, Lorenz; Horvath, Silvan; Ozalp, Tan
delete分享
delete收藏
On the 601-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis关于克里塞尔-普特南公理的601-片段和线性公理的两个变体在直觉主义算术与分析中的研究
deleteArchive for Mathematical Logic
IF0.4
delete2026-06-01
delete0
PREAI
deleteFujiwara, Makoto
delete分享
delete收藏
Correspondence of Contradictions in the Constructive Connexive Calculus C建构性关联逻辑系统C中的矛盾对应关系
deleteArchive for Mathematical Logic
IF0.4
delete2026-06-01
delete0
PREAI
deleteNiki, Satoru
delete分享
delete收藏
Binary choice games and arithmetical comprehension二元选择博弈与算术理解
deleteArchive for Mathematical Logic
IF0.4
delete2026-06-01
delete0
deleteOAAI
deleteAguilera, J. P.; Kouptchinsky, T.
delete分享
delete收藏
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
delete分享
delete收藏
The adjacent Hindman's Theorem and the Z-Ramsey's Theorem相邻的 Hindman 定理与 Z-Ramsey 定理
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.
delete分享
delete收藏
Dominating numbers at singular cardinals奇点基数上的支配数
deleteArchive for Mathematical Logic
IF0.4
delete2026-03-01
delete0
PREAI
deleteHayashi, Yusuke
delete分享
delete收藏
Monotonicity of the ultrafilter number function超滤子数函数的单调性
deleteArchive for Mathematical Logic
IF0.4
delete2026-03-01
delete0
PREAI
deleteUsuba, Toshimichi
delete分享
delete收藏
Small measurable cardinals小可测基数
deleteArchive for Mathematical Logic
IF0.4
delete2026-02-01
delete0
PREAI
deleteHayut, Yair; Karagila, Asaf
delete分享
delete收藏
Characterization of subdirectly irreducible heyting algebras with negative tense operators负时态算子下子直接不可约Heyting代数的表征
deleteArchive for Mathematical Logic
IF0.4
delete2026-01-01
delete0
PREAI
deleteAlminana, Federico; Pelaitay, Gustavo
delete分享
delete收藏
Computability of a whitney extension惠特尼延拓的可计算性
deleteArchive for Mathematical Logic
IF0.4
delete2026-01-01
delete0
PREAI
deleteBrun, Andrea; Gherardi, Guido; Marcone, Alberto
delete分享
delete收藏
Reinhardt cardinals and eventually dominating functions雷因哈特基数和最终支配函数
deleteArchive for Mathematical Logic
IF0.4
delete2026-01-01
delete0
PREAI
deleteMohammd, Marwan Salam
delete分享
delete收藏
Logical complexity of reducts of elementary algebraic classes初等代数类的归约的逻辑复杂性
deleteArchive for Mathematical Logic
IF0.4
delete2025-12-01
delete0
PREAI
deleteCardo, Carles
delete分享
delete收藏
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
delete分享
delete收藏
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
delete分享
delete收藏
Around the Eggleston Theorem围绕Eggleston定理
deleteArchive for Mathematical Logic
IF0.4
delete2025-11-01
delete0
deleteOAAI
deleteMichalski, Marcin; Ralowski, Robert; Zeberski, Szymon
delete分享
delete收藏
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
delete分享
delete收藏
Nonvanishing derived limits without scales
deleteArchive for Mathematical Logic
IF0.4
delete2025-11-01
delete1
deleteOAAI
deleteCasarosa, Matteo
delete分享
delete收藏
Apartness and the elimination of strong forms of extensionality相异性与强外延性的消除
deleteArchive for Mathematical Logic
IF0.4
delete2025-11-01
delete0
PREAI
deletevan den Berg, Benno
delete分享
delete收藏