Über rekursive Strukturen

DOI10.1007/BF01405162zbMath0285.02050OpenAlexW2074293859MaRDI QIDQ1844830

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)

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Sentences true in all constructive models

This page was built for publication: Über rekursive Strukturen