Infinitary Logic Has No Expressive Efficiency Over Finitary Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Harrison-Trainor, Matthew, Kretschmer, Miles
Format:	Preprint
Published:	2022
Subjects:	Logic 03C75, 03C25 (Primary) 03C40 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2209.05615