A Computable Structure with Non-Standard Computability

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

Original language	English
Pages (from-to)	77-115
Number of pages	39
Journal	Siberian Advances in Mathematics
Volume	29
Issue number	2
DOIs	https://doi.org/10.3103/S1055134419020019
Publication status	Published - 1 Apr 2019

admissible set, computable model, decidable model, hereditarily finite superstructure, hyperadmissible set, recursively saturated model, Σ-definability, Σ-reducibility

ID: 20643116