scientific article; zbMATH DE number 1302873
From MaRDI portal
Publication:4249359
zbMATH Open0976.03039MaRDI QIDQ4249359FDOQ4249359
Publication date: 21 December 2001
Title of this publication is not available (Why is that?)
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cited In (7)
- Constructive sets in computable sets
- Title not available (Why is that?)
- Effective choice of constructivizations and recursive consistency of problems on constructive models
- On Constructive Nilpotent Groups
- Computable classes of constructive models with non-limit-equivalent indexations
- Computability of homogeneous models
- Computability and universal determinability of negatively representable models
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249359)