scientific article; zbMATH DE number 1534570

MaRDI QIDQ4517355zbMATH OpenFDO

Authors A. N. Khisamiev

Publication date 21 November 2000

zbMATH Keywords

constructive modeladmissible setrecursive 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)

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

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)