有向丰满序
计算机科学中的逻辑
2022-03-21 v2 逻辑
摘要
基于Taylor的遗传有向丰满序数，我们在Martin-Löf类型论的W型上定义有向丰满序。该序类似于丰满序，但除丰满序的通常性质外，还配备非空有限并。
关键词
引用
@article{arxiv.2202.07329,
title = {The directed plump ordering},
author = {Daniel Gratzer and Michael Shulman and Jonathan Sterling},
journal= {arXiv preprint arXiv:2202.07329},
year = {2022}
}
备注
Added funding acknowledgment