Searching for "On Hereditarily Countable Sets." – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
ICM 1998, Berlin, Aug. 18--27 Abstracts of Plenary and Invited Lectures
- …, equivalently, is reducible to the equality relation on the hereditarily countable sets. References …
- Add To MetaCart
-
The completeness of the isomorphism relation for countable Boolean algebras
- … language admit a classification using hereditarily countable sets as complete invariants. Specifically…
- Cited by 8 (1 self) – Add To MetaCart
-
A NORMAL FORM FOR ALGEBRAIC CONSTRUCTIONS
- … (hence not above Lmi(O). If the word-construction F is a hereditarily countable set, then F can…
- Add To MetaCart
-
A simple maximality principle
- … in effect refer to any hereditarily countable set as a parameter. And while one might want to include even…
- Cited by 2 (0 self) – Add To MetaCart
-
unknown title
- … sequence on Pn(Q) of sets that are hereditarily countable over Q. Let us now see Rado's counterexample: 7…
- Add To MetaCart
-
Computing with functionals - computability theory or computer science
- …-computable relative to 3 E, set recursive in HC (the hereditarily countable sets) etc. Though we e.g. in set recursion…
- Cited by 1 (1 self) – Add To MetaCart
-
Classification and Orbit Equivalence Relations
- … hereditarily countable sets, and may be defined as the smallest collection of sets containing the natural…
- Add To MetaCart
-
Continuity, Proof Systems and the theory of transfinite computations
- …-logic. The construction is inspired from the/-1ogic of Girard, see [14]. We propose to use the set HC of hereditarily…
- Add To MetaCart
-
Martin's Axiom and \Delta^2_1 well-ordering of the reals
- … hereditarily countable sets. A 2 k formula is a second-order formula of the form 9X 1 H 8X 2 H : : : '(X…
- Add To MetaCart
-
School of Mathematics,
- … for coding hereditarily countable sets, for a machine to verify if y ∈ 2� is such a code. It is an exercise…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
