scientific article; zbMATH DE number 1923097

zbMath1016.03042MaRDI QIDQ4706820

Andrey S. Morozov

Publication date: 3 June 2003

Full work available at URL: https://eudml.org/doc/188021

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\Sigma \)-definability\(\Sigma \)-definable permutation\(\Sigma \)-presentable permutationgroup of \(\Sigma\)-permutationslocally countable, recursively listed, admissible set

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Fixed points for the jump operator

This page was built for publication: