Works matching IS 09335846 AND DT 2005 AND VI 44 AND IP 5
Results: 8
Forcing and antifoundation.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 645, doi. 10.1007/s00153-004-0268-5
- By:
- Publication type:
- Article
Notes on subtlety and ineffability in P<sub> κ</sub> λ.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 619, doi. 10.1007/s00153-004-0272-9
- By:
- Publication type:
- Article
Saturation, Suslin trees and meager sets.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 581, doi. 10.1007/s00153-004-0257-8
- By:
- Publication type:
- Article
On the relationship between fixed points and iteration in admissible set theory without foundation.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 561, doi. 10.1007/s00153-004-0251-1
- By:
- Publication type:
- Article
Middle diamond.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 527, doi. 10.1007/s00153-004-0239-x
- By:
- Publication type:
- Article
Successors of singular cardinals and coloring theorems I.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 597, doi. 10.1007/s00153-004-0258-7
- By:
- Publication type:
- Article
Extracting Herbrand disjunctions by functional interpretation.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 633, doi. 10.1007/s00153-005-0275-1
- By:
- Publication type:
- Article
Erratum: “Forcing and antifoundation”.
- Published in:
- 2005
- By:
- Publication type:
- Correction Notice