Works matching IS 09335846 AND DT 2005 AND VI 44 AND IP 3
Results: 3
Diamond, square, and level by level equivalence.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 3, p. 387, doi. 10.1007/s00153-004-0252-0
- By:
- Publication type:
- Article
An ordinal analysis of parameter free ?<sup>1</sup><sub>2</sub>-comprehension.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 3, p. 263, doi. 10.1007/s00153-004-0232-4
- By:
- Publication type:
- Article
Models of set theory with definable ordinals.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 3, p. 363, doi. 10.1007/s00153-004-0256-9
- By:
- Publication type:
- Article