scientific article; zbMATH DE number 3458610

MaRDI QIDQ4044564zbMATH OpenFDO

Authors Yuri L. Ershov

Publication date 1973

Mathematics Subject Classification ID

Other model constructions (03C30) Decidability of theories and sets of sentences (03B25) Computability and recursion theory (03D99) Other classical first-order model theory (03C68) Model theory (03C99)

Cited in

(7)

• scientific article; zbMATH DE number 3918348 (Why is no real title available?)
• Constructive models of complete solvable theories
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• scientific article; zbMATH DE number 4118557 (Why is no real title available?)
• Decidable Boolean algebras of low level
• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• On complete theories with a finite number of denumerable 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 Q4044564)