Annales Academiae Scientiarum Fennicae: Mathematica. Dissertationes. Series A.. ISuomalainen Tiedeakatemia, 1995 - Mathematics |
Contents
Trees and games 5 Logics II Absoluteness | 5 |
Absolute logics | 6 |
Absoluteness of Llanguages | 7 |
Copyright | |
14 other sections not shown
Other editions - View all
Common terms and phrases
3-strategy A₁-definable absolute logic admissible set atomic sentences axiom b₁ choose Claim constant symbols construction countable defined denote disjoint element elementary submodel example existential quantification exists expander F expansion game extensional F and F F-branch F-expansion F₁ finite first-order logic first-order relative formula game G game quantifier game sentence implies isomorphic K-closed Lemma len(w logic Law logic Low Logics absolute relative Loow mapping F maximal element Mdet Moow Moreover Mostowski collapsing ordinal p.r. mapping pair ph(a ph(b phantom game pick Player wins predicate primitive recursive Proof R(To regular cardinal relative to KP+Inf relative to KPU relative to ZFC(P semantic game sequence set-theoretical similarly standard set theory Str(t structure sublogic subset Suppose T₁ Theorem transitive set urelements vocabulary w₁ w₁-closed forcing well-founded tree Wf(A winning strategy wins EG wins EG(M wins the play X-expander