scientific article; zbMATH DE number 3458610

zbMATH Open0293.02038MaRDI QIDQ4044564FDOQ4044564

Authors: Yuri L. Ershov 

Publication date: 1973

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

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)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On complete theories with a finite number of denumerable models
• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• Decidable Boolean algebras of low level
• Constructive models of complete solvable theories

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)