On constructive models of theories with linear Rudin-Keisler ordering

DOI10.1093/LOGCOM/EXQ043zbMath1260.03069OpenAlexW2039521775MaRDI QIDQ2907056

Aleksandr Nikolaevich Gavryushkin

Publication date: 5 September 2012

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exq043

zbMATH Keywords

decidable theorycomputable modelRudin-Keisler orderdecidable modelEhrenfeucht theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57)

This page was built for publication: On constructive models of theories with linear Rudin-Keisler ordering