On computability-theoretic universality of Boolean-valued models

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	103821
Number of pages	13
Journal	Journal of Computer and System Sciences
Volume	161
DOIs	https://doi.org/10.1016/j.jcss.2026.103821
Publication status	Published - Nov 2026

Boolean-valued model, Computable dimension, Computable structure, Decidable structure, Degree spectrum, Undecidability

ID: 79924127