**File:** PDF-File

Proceedings of the Tarski Conference in Warsaw, May 28 - June 1, 2001

Let Ω

Let BLΣ b 1 be the bounded collection schema ∀x≤|t| ∃y φ(x,y) → ∃z ∀x≤|t| ∃y≤z φ(x,y) for φ ∈ Σ b 1 .

- a model of
S
i
2
+ Ω
_{1}^{nst}which is 1^{b}- closed w.r.t. T j 2 , - a countable model of S i 2 + BLΣ b 1 without weak end extensions to models of T j 2 .

websites: Arnold Beckmann | 2018-04-07 |