Works matching IS 09335846 AND DT 2002 AND VI 41 AND IP 3
Results: 7
On the existence of large subsets of [λ][sup κ] which contain no unbounded non-stationary subsets.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 3, p. 207, doi. 10.1007/s001530000054
- By:
- Publication type:
- Article
The algebraic structure of the isomorphic types of tally, polynomial time computable sets.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 3, p. 215, doi. 10.1007/s001530100117
- By:
- Publication type:
- Article
Strongly meager and strong measure zero sets.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 3, p. 245
- By:
- Publication type:
- Article
A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 3, p. 251, doi. 10.1007/s001530100107
- By:
- Publication type:
- Article
Isolation and the high/low hierarchy.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 3, p. 259, doi. 10.1007/s001530100111
- By:
- Publication type:
- Article
Finality regained: A coalgebraic study of Scott-sets and multisets.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 3, p. 267, doi. 10.1007/s001530100110
- By:
- Publication type:
- Article
Extensions of Hałkowska–Zajac's three-valued paraconsistent logic.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 3, p. 299, doi. 10.1007/s001530100115
- By:
- Publication type:
- Article