|
Journals in DBLP
On the existence of large subsets of [lambda]kappa which contain no unbounded non-stationary subsets. [Citation Graph (, )][DBLP]
The algebraic structure of the isomorphic types of tally, polynomial time computable sets. [Citation Graph (, )][DBLP]
Strongly meager and strong measure zero sets. [Citation Graph (, )][DBLP]
A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets. [Citation Graph (, )][DBLP]
Isolation and the high/low hierarchy. [Citation Graph (, )][DBLP]
Finality regained: A coalgebraic study of Scott-sets and multisets. [Citation Graph (, )][DBLP]
Extensions of Halkowska-Zajac's three-valued paraconsistent logic. [Citation Graph (, )][DBLP]
|