What do ultraproducts remember about the original structures?

2018/04/28 by Towsner, Henry
#03C20 #03F10 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1804.10809

Abstract

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

Related

• A Survey of Ultraproduct Constructions in General Topology
• Ultraproducts in abstract categorical logic
• Ultraproducts as a tool for first-order inexpressibility in the finite\n and infinite
• The isomorphism theorem for linear fragments of continuous logic
• Structures de réalisabilité, RAM et ultrafiltre sur N