Quasiresolvent Models

DOI10.1023/B:ALLO.0000044284.10332.F9MaRDI QIDQ5476775zbMATH OpenOpenAlexFDO

Authors A. N. Khisamiev

Publication date 18 July 2006

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

Full work available at URL https://doi.org/10.1023/b:allo.0000044284.10332.f9

zbMATH Keywords

1-quasiresolvent modeladmissible sethereditarily finite structurequasiresolvent model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Logic on admissible sets (03C70) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Finite nilpotent groups, (p)-groups (20D15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Torsion groups, primary groups and generalized primary groups (20K10)

Recommendations

• scientific article; zbMATH DE number 1746559
• scientific article; zbMATH DE number 1534570
• scientific article; zbMATH DE number 5381028
• scientific article; zbMATH DE number 2154082
• A criterion for strong constructivizability of a class of abelian p- groups

Cited in

(1)

• scientific article; zbMATH DE number 1746559 (Why is no real title available?)

This page was built for publication: Quasiresolvent Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5476775)