Los's Theorem states that a first-order sentence holds in the ultraproduct of a family of structures, taken relative to some ultrafilter, if and only if the set of indices at which the sentence holds in the individual structures belongs to that ultrafilter. Named for Jerzy Los, it is the foundational result that makes the ultraproduct construction useful, underlying applications from nonstandard analysis to model-theoretic proofs of compactness.
Facts
Classification
Statement Form Statement FormCharacterization Theorem 1 StatementA first-order formula is true in the ultraproduct if and only if the set of indices where it is true in the individual structures belongs to the ultrafilter. 1 Connections
Has Statement Form
In Branch
Source Wolfram MathWorld: Los's Theorem -- from Wolfram MathWorld
Sources
1. Los's theorem (Wikipedia)
StatementQuote, Statement
any first-order formula is true in the ultraproduct if and only if the set of indices i such that the formula is true in M_i is a member of U.
Wolfram MathWorld: Los's Theorem -- from Wolfram MathWorld
Wolfram MathWorldIn Branch: Logic and Foundations, Subject classificationsQuote, In Branch: Logic and Foundations, Subject classifications
Foundations of Mathematics Logic
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.