Hyperarithmetic numerals
Logic
2022-11-03 v1
Abstract
Within the framework of computable infinitary continuous logic, we develop a system of hyperarithmetic numerals. These numerals are infinitary sentences in a metric language that have the same truth value in every interpretation of . We prove that every hyperarithmetic real can be represented by a hyperarithmetic numeral at the same level of complexity.
Keywords
Cite
@article{arxiv.2211.01181,
title = {Hyperarithmetic numerals},
author = {Caleb M. H. Camrud and Timothy H. McNicholl},
journal= {arXiv preprint arXiv:2211.01181},
year = {2022}
}