## A Forcing Approach to Strict-[pi]11 Reflection with Applications in Infinitary Logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

A-finite additional structure APPLICATIONS IN INFINITARY assumptions atomic sentences Baire c.t. Baire category theorem Balre Barwise c.t. bounded quantifiers Candy's lemma Candy's problem cardinal closure ordinal completion condition conjunction consequence consistent constructible sets containing the parameters convergence countable admissible set definition dense descending chain desired filters developed disjunction DOCTOR OF PHILOSOPHY end extension equivalent existential quantifier fact fat sets filter G Finally finite set finite subsets FORCING APPROACH formula Fundamental Theorem ible set implies ind.hyp infinitary languages INFINITARY LOGIC infinite initial substructure least element limit ordinal Martin's axiom metatheory notice Omitting types theorem partial ordering proof of lemma proved Recursion Theory recursive trimming reflect ion REFLECTION WITH APPLICATIONS relativized rule second order set of sentences set theory sets of integers shows subset of F(o thati thesis thin set tion transitive set containing uncountable ValLA weak forcing WILLIAM RICHARD STARK