A Simplified Ordinal Analysis Of First Order Reflection
Work
Year: 2020
Type: article
Abstract: In this note we give a simplified ordinal analysis of first-order reflection. An ordinal notation system $OT$ is introduced based on $\psi $ -functions. Provable $\Sigma _{1}$ -sentences on $L_{\omeg... more
Source: Journal of Symbolic Logic
Author Toshiyasu Arai
Institution Chiba University
Cites: 9
Cited by: 1
Related to: 10
FWCI: 0.114
Citation percentile (by year/subfield): 34.52
Topic: Rough Sets and Fuzzy Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green