Mathematical Logic Quarterly 48 (2):261-275 (2002)

Which ultraproducts preserve the validity of formulas of higher order logics? To answer this question, we will introduce natural topologies on ultraproducts. We will show, that ultraproducts preserving certain higher order formulas can be characterized in terms of these topologies. As an application of the above results, we provide a constructive, purely model theoretic characterization for classes definable by second order existential formulas
Keywords higher order elementary class  higher order formula  ultraproduct  preservation
Categories (categorize this paper)
DOI 10.1002/1521-3870(200202)48:2<261::AID-MALQ261>3.0.CO;2-F
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,391
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Limit Ultraproducts.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (2):212-234.

Add more references

Citations of this work BETA

On Topological Properties of Ultraproducts of Finite Sets.Gábor Sági & Saharon Shelah - 2005 - Mathematical Logic Quarterly 51 (3):254-257.
Upward Morley's Theorem Downward.Gábor Sági & Zalán Gyenis - 2013 - Mathematical Logic Quarterly 59 (4-5):303-331.

Add more citations

Similar books and articles

The HOROR Theory of Phenomenal Consciousness.Richard Brown - 2015 - Philosophical Studies 172 (7):1783-1794.
Supervenience, Goodness, and Higher-Order Universals.Graham Oddie - 1991 - Australasian Journal of Philosophy 69 (1):20 – 47.


Added to PP index

Total views
16 ( #582,988 of 2,326,153 )

Recent downloads (6 months)
1 ( #646,834 of 2,326,153 )

How can I increase my downloads?


My notes