enumerable

999	recursively
674	decidable
625	computable
620	countable
565	recursive
562	undecidable
534	polynomial
532	finite
530	cardinality
529	constructible

previous:	Enugwu
next:	enumerated
random:	Tormenting

More distant neighbors

recursion Boolean arithmetical subsets algebraic definable uncountable bijection ordinal axioms Turing countably noncomputable isomorphism Borel deterministic polynomials finitely algebra equivalence computability infinite theorem topological Banach isomorphic sets integers quantifiers nontrivial lemma theorems expressible subset arithmetic axiom ZFC differentiable algebras

Back