Über rekursive Strukturen

DOI10.1007/BF01405162MaRDI QIDQ1844830zbMATH OpenOpenAlexFDO

Authors Walter Baur

Publication date 1974

Published in Inventiones Mathematicae (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Model theory (03C99) Computability and recursion theory (03D99)

Cites work

• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3411010 (Why is no real title available?)
• Sentences true in all constructive models

Cited in

(2)

• Computably separable models
• Separable algorithmic representations of classical systems and their applications

This page was built for publication: Über rekursive Strukturen

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