What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
3-strategy absolute logic admissible set Ai-definable approximation atomic sentences axiom branch choose Claim constant symbols construction defined denote disjoint element elementary submodel enumeration example existential quantification exists expansion game extensional finite first-order logic first-order relative following conditions hold formula G C(t G Str(r game G game quantifier game sentence implies isomorphic K-closed forcing language rule leaf Lemma Logics absolute relative maximal element Moreover Mostowski collapsing moves need to show ordinal P-name p.r. mapping pair phantom game pick Player 3 wins predicate primitive recursive mapping Proof regular cardinal relative to KP relative to KP+Inf relative to KPU result semantic game sentence f sequence set-theoretical similarly standard set theory structure 971 sublogic subset Suppose syntax tree TC(r Theorem transitive set trivial urelements VK(x vocabulary well-founded tree winning strategy wins a play wins EG wins the play X-expander ZFC(VK