symmetric extensions; Cohen’s first model; Axiom of Choice; Cohen forcing; Dedekind-finite sets;
机译:如何通过忘记如何计算它们(匕首)有更多的东西
机译:定时ATL:忘记内存,只需计数
机译:定时atl:忘记内存,只需计数
机译:人,企鹅和培养皿:在不忘记的情况下将对象计数模型适应新的可视域和对象类型
机译:记得忘记:在最后一次启用最近的信息之前从列表中的战略检索
机译:忘记我(不是)吗? –记住定向遗忘中的遗忘物品与未提示的物品
机译:“忘记我(不是)?” - 记住忘记项目与未指导遗忘项目中的未提示项目