Stationary sets and infinitary logic
Copyright policy )Stationary sets and infinitary logic
AbstractLet be the class of structures 〈λ, <, A〉, where A ⊆ λ is disjoint from a club, and let be the class of structures 〈λ, <, A), where A ⊆ λ contains a club. We prove that if λ = λ<κ is regular, then no sentence of Lλ + κ separates and On the other hand, we prove that if λ = μ+ , μ = μ<μ, and a forcing axiom holds (and if μ = ℵ0), then there is a sentence of Lλλ which separates and .
- Hebrew University of Jerusalem Israel
- University of Helsinki Finland
- The Hebrew University Israel
Cohen set, Models with special properties (saturated, rigid, etc.), Borel code, Continuum hypothesis and Martin's axiom, stationary sets, Mathematics - Logic, Model-theoretic forcing, definability, Other infinitary logic, Set-theoretic model theory, Canary trees, generalized Martin's axiom, FOS: Mathematics, Borel set, forcing axiom, Logic (math.LO), infinite quantifier languages, club
Cohen set, Models with special properties (saturated, rigid, etc.), Borel code, Continuum hypothesis and Martin's axiom, stationary sets, Mathematics - Logic, Model-theoretic forcing, definability, Other infinitary logic, Set-theoretic model theory, Canary trees, generalized Martin's axiom, FOS: Mathematics, Borel set, forcing axiom, Logic (math.LO), infinite quantifier languages, club
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).3 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!