A description of autostable models

MaRDI QIDQ2709295zbMATH OpenFDO

Authors Oleg Kudinov

Publication date 9 April 2001

Published in Algebra i Logika (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/187801

zbMATH Keywords

autostability of modelsconstructivizationsnumerationsrecursive models

Mathematics Subject Classification ID

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

Recommendations

• Some properties of autostable models
• scientific article; zbMATH DE number 1302875
• scientific article; zbMATH DE number 4077177
• A stability theory for model systems
• Stable models and circumscription
• Stability of autoresonance models
• scientific article; zbMATH DE number 1534486
• Nonuniform autostability of models
• scientific article; zbMATH DE number 800808
• Deterministic and non-deterministic stable models

Cited in

(10)

• Criteria of autostability for 1-decidable models
• On decidable categoricity and almost prime models
• Degrees of autostability relative to strong constructivizations
• Some properties of autostable models
• Revisiting uniform computable categoricity: for the sixtieth birthday of prof. Rod Downey
• Thirteen Definitions of a Stable Model
• scientific article; zbMATH DE number 4077177 (Why is no real title available?)
• scientific article; zbMATH DE number 1302875 (Why is no real title available?)
• scientific article; zbMATH DE number 1534486 (Why is no real title available?)
• Dynamics of an autocatalator model

This page was built for publication: A description of autostable models

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