arXiv Open Access 2018

What do ultraproducts remember about the original structures?

Henry Towsner

Lihat Sumber

Abstrak

We describe a syntactic method for taking proofs which use ultraproducts and translating them into direct, constructive proofs.

math.LO

Henry Towsner

APA MLA BibTeX

Towsner, H. (2018). What do ultraproducts remember about the original structures?. https://arxiv.org/abs/1804.10809

Lihat di Sumber

Informasi Jurnal