A general Mitchell style iteration.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 641, doi. 10.1002/malq.200710080
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2008 AND VI 54 AND IP 6
Results: 11
1
2
Polish group actions, nice topologies, and admissible sets.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 597, doi. 10.1002/malq.200710055
- By:
- Publication type:
- Article
3
Distinguishing standard SBL-algebras with involutive negations by propositional formulas.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 579, doi. 10.1002/malq.200610057
- By:
- Publication type:
- Article
4
Non-elementary speed-ups in logic calculi.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 629, doi. 10.1002/malq.200710067
- By:
- Publication type:
- Article
5
On the Π<sub>1</sub><sup>1</sup>-separation principle.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 563, doi. 10.1002/malq.200710049
- By:
- Publication type:
- Article
6
Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”.
- Published in:
- 2008
- By:
- Publication type:
- Erratum
7
A note on stationarity of types over models in simple theories.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 625, doi. 10.1002/malq.200710071
- By:
- Publication type:
- Article
8
Addendum to “A definable nonstandard enlargement”.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 666, doi. 10.1002/malq.200810002
- By:
- Publication type:
- Article
9
Unions and the axiom of choice.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 652, doi. 10.1002/malq.200710073
- By:
- Publication type:
- Article
10
Contents: Math. Log. Quart. 6/2008.
- Published in:
- 2008
- Publication type:
- Table of Contents
11
On non-compact logics in NEXT(KTB).
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 617, doi. 10.1002/malq.200710056
- By:
- Publication type:
- Article