A note on uniform density in weak arithmetical theories
From MaRDI portal
Publication:2219096
DOI10.1007/s00153-020-00741-8zbMath1477.03170MaRDI QIDQ2219096
Andrea Sorbi, Duccio Pianigiani
Publication date: 19 January 2021
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-020-00741-8
uniform density; local universality; weak arithmetical theories; effective inseparability; intuitionistic Robinson arithmetic
03F30: First-order arithmetic and fragments
03F55: Intuitionistic mathematics
03D45: Theory of numerations, effectively presented structures