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

ANNALS OF PURE AND APPLIED LOGIC

IF0.6
Papers48
Citations
Journal Papers 48
Publication Date
delete
Parametrizing the Ramsey theory of vector spaces I: Discrete spaces
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-12-01
delete0
deleteOAAI
deleteSmythe, Iian B.
deleteShare
deleteSave
Existential and positive games: a comonadic and axiomatic view
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-10-01
delete0
PREAI
deleteAbramsky, Samson; Laure, Thomas; Reggio, Luca
deleteShare
deleteSave
A classical proof system for quantum unsatisfiability, based on a matrix Nullstellensatz
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-10-01
delete0
PREAI
deletePetroselli, Giacomo
deleteShare
deleteSave
Borel complexity of modules
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-10-01
delete1
PREAI
deleteLaskowski, Michael C.; Ulrich, Danielle S.
deleteShare
deleteSave
A topos for extended Weihrauch degrees
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-10-01
delete0
PREAI
deleteMaschio, Samuele; Trotta, Davide
deleteShare
deleteSave
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
deleteShare
deleteSave
Forcing and equivalence relations E(Λ (sic) Θ)
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-04-01
delete0
PREAI
deleteWu, Liuzhen; Zheng, Yang
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
General real-valued theories with the Schröder-Bernstein property are stable
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
PREAI
deleteBerenstein, Alexander; Ovalle, Nicolas Cuervo; Goldbring, Isaac
deleteShare
deleteSave
The computational content of multidimensional discontinuity
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
PREAI
deleteHolzl, Rupert; Ng, Keng Meng
deleteShare
deleteSave
The relational quotient completion
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteDagnino, Francesco; Pasquali, Fabio
deleteShare
deleteSave
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
deleteShare
deleteSave
Scott complexity of reduced Abelian p-groups
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteAlvir, Rachael; Csima, Barbara F.; MacLean, Luke
deleteShare
deleteSave
On classification of continuous first order theories
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
PREAI
deleteKhanaki, Karim
deleteShare
deleteSave
Hyperfiniteness on topological Ramsey spaces
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
PREAI
deleteBursics, Balazs; Vidnyanszky, Zoltan
deleteShare
deleteSave
Transcending classical boundaries: Choice and its equivalences
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
PREAI
deleteGanguly, Arunavo; Tarafder, Sourav
deleteShare
deleteSave
Generic derivations, differential largeness, and NTP2
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteKaplan, Elliot; Kesting, Christoph
deleteShare
deleteSave
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
deleteShare
deleteSave
Preserving and constructing multiple gaps
deleteANNALS OF PURE AND APPLIED LOGIC
IF0.6
delete2026-01-01
delete0
PREAI
deleteGuzman, Osvaldo; Nieto-de la Rosa, Francisco Santiago
deleteShare
deleteSave