Prime ideals on P[sub ω] (λ) with the partition property.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 8, p. 743, doi. 10.1007/s001530200140
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2002 AND VI 41 AND IP 8
Results: 5
1
2
Representation theorems for transfinite computability and definability.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 8, p. 721, doi. 10.1007/s001530200137
- By:
- Publication type:
- Article
3
Aspects of strong compactness, measurability, and indestructibility.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 8, p. 705, doi. 10.1007/s001530200139
- By:
- Publication type:
- Article
4
Continuity, proof systems and the theory of transfinite computations.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 8, p. 765, doi. 10.1007/s001530200138
- By:
- Publication type:
- Article
5
A normalizing system of natural deduction for intuitionistic linear logic.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 8, p. 789, doi. 10.1007/s001530100136
- By:
- Publication type:
- Article