Existence of an inseparable pair in the recursive theory of admissible sets

DOI10.1007/BF01978301zbMath0672.03032OpenAlexW2034510463MaRDI QIDQ1119573

V. A. Rudnev

Publication date: 1988

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01978301

zbMATH Keywords

inseparabilityadmissible setsrecursively inseparable

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Logic on admissible sets (03C70)

Related Items (1)

Families of permutations and ideals of Turing degrees

Cites Work

• Products of locally cyclic, torsion-free groups
• Unnamed Item

This page was built for publication: Existence of an inseparable pair in the recursive theory of admissible sets