Totally transcendental theory with a nonconstructivizable prime model

DOI10.1007/BF00970117zbMath0467.03008OpenAlexW2315570696MaRDI QIDQ1155601

Sergei S. Goncharov

Publication date: 1980

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00970117

zbMATH Keywords

recursively presented model

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Theory of numerations, effectively presented structures (03D45) Other model constructions (03C30)

Related Items (2)

Problem of the dichotomy of the spectrum of a matrix ⋮ An estimate of the Green matrix and the continuity of the dichotomy parameter

Cites Work

• Some aspects of generalized computability

This page was built for publication: Totally transcendental theory with a nonconstructivizable prime model