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

ANNALS OF PURE AND APPLIED LOGIC

IF0.6
论文数49
被引数1
期刊论文 49
发表时间
delete
Parametrizing the Ramsey theory of vector spaces I: Discrete spaces向量空间拉姆齐理论的参数化 I：离散空间
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-12-01
delete0
deleteOAAI
deleteSmythe, Iian B.
delete分享
delete收藏
Existential and positive games: a comonadic and axiomatic view存在性与正定性博弈：余单子与公理化视角
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-10-01
delete0
deleteOAAI
deleteAbramsky, Samson; Laure, Thomas; Reggio, Luca
delete分享
delete收藏
Borel complexity of modules模的博雷尔复杂性
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-10-01
delete1
deleteOAAI
deleteLaskowski, Michael C.; Ulrich, Danielle S.
delete分享
delete收藏
A topos for extended Weihrauch degrees扩展Weihrauch度的拓扑空间
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-10-01
delete0
deleteOAAI
deleteMaschio, Samuele; Trotta, Davide
delete分享
delete收藏
A classical proof system for quantum unsatisfiability, based on a matrix Nullstellensatz基于矩阵Nullstellensatz的量子不可满足性的经典证明系统
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-10-01
delete0
PREAI
deletePetroselli, Giacomo
delete分享
delete收藏
Compression of enumerations and gain ☆枚举压缩与增益 ☆
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-05-01
delete0
PREAI
deleteBarmpalias, George; Zhang, Xiaoyan; Zhan, Bohua
delete分享
delete收藏
Reflection properties of ordinals in generic extensions序数在通代扩展中的反射性质
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-04-01
delete0
PREAI
deleteAguilera, Juan P.; Switzer, Corey Bacal
delete分享
delete收藏
Forcing and equivalence relations E(Λ (sic) Θ)Forcing和等价关系E(Λ (sic) Θ)
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-04-01
delete0
PREAI
deleteWu, Liuzhen; Zheng, Yang
delete分享
delete收藏
Existence of equilibrium in the Lindahl-Foley model with bads林达尔-福勒模型中坏品的均衡存在性
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-03-01
delete0
PREAI
deleteAnderson, Robert M.; Duanmu, Haosui; Li, Jingrong
delete分享
delete收藏
A variant of Chaitin's Omega function丘奇奥的Ω函数的一个变种
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-03-01
delete0
PREAI
deleteLi, Yuxuan; Zhang, Shuheng; Zhang, Xiaoyan; Zhao, Xuanheng
delete分享
delete收藏
The computational content of multidimensional discontinuity多维不连续性的计算内涵
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
PREAI
deleteHolzl, Rupert; Ng, Keng Meng
delete分享
delete收藏
General real-valued theories with the Schröder-Bernstein property are stable具有Schröder-Bernstein性质的广义实值理论是稳定的
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
PREAI
deleteBerenstein, Alexander; Ovalle, Nicolas Cuervo; Goldbring, Isaac
delete分享
delete收藏
The relational quotient completion关系商完备化
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteDagnino, Francesco; Pasquali, Fabio
delete分享
delete收藏
Induction on dilators and Bachmann-Howard fixed points稀释子与巴赫曼-霍华德不动点上的归纳法
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteAguilera, Juan P.; Freund, Anton; Weiermann, Andreas
delete分享
delete收藏
Scott complexity of reduced Abelian p-groups亏格约化阿贝尔p群的斯科特复杂性
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteAlvir, Rachael; Csima, Barbara F.; MacLean, Luke
delete分享
delete收藏
On classification of continuous first order theories连续一阶理论的分类
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
PREAI
deleteKhanaki, Karim
delete分享
delete收藏
Hyperfiniteness on topological Ramsey spaces拓扑拉姆齐空间上的超有限性
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
PREAI
deleteBursics, Balazs; Vidnyanszky, Zoltan
delete分享
delete收藏
Transcending classical boundaries: Choice and its equivalences超越经典界限：选择及其等价性
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
PREAI
deleteGanguly, Arunavo; Tarafder, Sourav
delete分享
delete收藏
Generic derivations, differential largeness, and NTP2通用推导、微分极大性和NTP2
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteKaplan, Elliot; Kesting, Christoph
delete分享
delete收藏
On algebraic sums, trees and ideals in the Cantor space关于代数和、树与康托空间中的理想
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-01-01
delete0
PREAI
deleteMichalski, Marcin; Ralowski, Robert; Zeberski, Szymon
delete分享
delete收藏