Abstract
Abstract We describe a syntactic method for taking proofs that use ultraproducts and translating them into direct, constructive proofs.
Submitted Version (Free)
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have