scientific article; zbMATH DE number 1534570

zbMATH Open0952.03040MaRDI QIDQ4517355FDOQ4517355

Authors: A. N. Khisamiev 

Publication date: 21 November 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Inner Models of Univalence
• Title not available (Why is that?)
• Large resplendent models generated by indiscernibles
• Quasiresolvent Models
• Using resolution for deciding solvable classes and building finite models
• On positive enumarated 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)