scientific article; zbMATH DE number 3458610

MaRDI QIDQ4044564zbMATH OpenFDO

Authors Yuri L. Ershov

Publication date 1973

Mathematics Subject Classification ID

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

Cited in

(10)

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