activity
20182026
most citedFactorials of infinite cardinals in ZF

9 citations · 9 across the 7 of their papers we have counts for

collaborators

7 papers

cs.AI2026

D-Mem: A Dual-Process Memory System for LLM Agents

Zhixing You, Jiachen Yuan, Jason Cai

Driven by the development of persistent, self-adapting autonomous agents, equipping these systems with high-fidelity memory access for long-horizon reasoning has emerged as a criti…

math.LO2025

A new model for all -sequences are trivial

Assaf Rinot, Zhixing You, Jiachen Yuan

We construct a model in which all -sequences are trivial, yet there exists a -Souslin tree with full vanishing levels. This answers a question of Lambie-Hanson and Rinot, and…

math.LO2024

Ketonen's question and other cardinal sins

Assaf Rinot, Zhixing You, Jiachen Yuan

Answering a question of Ketonen from the late 1970's, it is proved that a weakly compact cardinal carrying an indecomposable ultrafilter need not be measurable. The result is obtai…

math.LO2023

How far is almost strong compactness from strong compactness

Zhixing You, Jiachen Yuan

Bagaria and Magidor introduced the notion of almost strong compactness, which is very close to the notion of strong compactness. Boney and Brooke-Taylor asked whether the least alm…

math.LO2022

On the cofinality of the least -strongly compact cardinal

Zhixing You, Jiachen Yuan

In this paper, we characterize the possible cofinalities of the least -strongly compact cardinal. We show that, on the one hand, for any regular cardinal, , that carries a $λ…

cs.RO2020

Multi-Step Recurrent Q-Learning for Robotic Velcro Peeling

Jiacheng Yuan, Nicolai Häni, Volkan Isler

Learning object manipulation is a critical skill for robots to interact with their environment. Even though there has been significant progress in robotic manipulation of rigid obj…

math.LO2018★ 9 cited

Factorials of infinite cardinals in ZF

Guozhen Shen, Jiachen Yuan

For a set , let be the set of all permutations of . We study several aspects of this notion in . The main results are as follows: (1) $\mathsf{Z…