scientific article; zbMATH DE number 1534570

MaRDI QIDQ4517355zbMATH OpenFDO

Authors A. N. Khisamiev

Publication date 21 November 2000

zbMATH Keywords

admissible setconstructive modelrecursive modelresolvent admissible set

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• scientific article; zbMATH DE number 4197976
• scientific article; zbMATH DE number 1746559
• Principal numerations of functionals on admissible sets
• Numberings and definability in the hereditarily finite superstructure of a model
• scientific article; zbMATH DE number 1191236

Cited in

(7)

• On positive enumarated models
• The intrinsic enumerability of linear orders
• Large resplendent models generated by indiscernibles
• scientific article; zbMATH DE number 1746559 (Why is no real title available?)
• Using resolution for deciding solvable classes and building finite models
• Inner Models of Univalence
• Quasiresolvent 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 Q4517355)