More Derived Models in PFA

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Levinson, Derek, Trang, Nam, Wilson, Trevor
Format:	Preprint
Published:	2026
Subjects:	Logic 03E45, 03E60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2602.16854