HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

From MaRDI portal
Publication:5024504

DOI10.1017/S1755020321000307MaRDI QIDQ5024504

Rasmus Blanck

Publication date: 26 January 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1803.01762



Related Items



Cites Work