Entscheidbarkeit der Theorie der Linearen Ordnung in L für Reguläres ωx

DOI10.1002/malq.19780240110zbMath0382.03011OpenAlexW2006023895MaRDI QIDQ4161293

H.Herre, Helmut Wolter

Publication date: 1978

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19780240110

Mathematics Subject Classification ID

Model theory (03C99) Decidability of theories and sets of sentences (03B25) Total orders (06A05) Set-theoretic model theory (03C55)

Related Items (1)

Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979

This page was built for publication: Entscheidbarkeit der Theorie der Linearen Ordnung in L für Reguläres ω_x