An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations.
- Published in:
- Journal of Mathematical Logic, 2002, v. 2, n. 1, p. 91, doi. 10.1142/S0219061302000126
- By:
- Publication type:
- Article
Works matching IS 02190613 AND DT 2002 AND VI 2 AND IP 1
Results: 4
1
2
Knight's Model, Its Automorphism Group, and Characterizing the Uncountable Cardinals.
- Published in:
- Journal of Mathematical Logic, 2002, v. 2, n. 1, p. 113, doi. 10.1142/S0219061302000084
- By:
- Publication type:
- Article
3
Countable Borel Equivalence Relations.
- Published in:
- Journal of Mathematical Logic, 2002, v. 2, n. 1, p. 1, doi. 10.1142/S0219061302000138
- By:
- Publication type:
- Article
4
Nowhere Precipitousness of the Non-Stationary Ideal Over P[sub κ]λ.
- Published in:
- Journal of Mathematical Logic, 2002, v. 2, n. 1, p. 81, doi. 10.1142/S021906130200014X
- By:
- Publication type:
- Article