A note on uniform density in weak arithmetical theories
From MaRDI portal
Publication:2219096
DOI10.1007/s00153-020-00741-8zbMath1477.03170OpenAlexW3041304905MaRDI 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 densitylocal universalityweak arithmetical theorieseffective inseparabilityintuitionistic Robinson arithmetic
First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55) Theory of numerations, effectively presented structures (03D45)
Related Items
Cites Work
- Relatively precomplete numerations and arithmetic
- On \(\mathsf{Q}\)
- Fragments of HA based on \(\Sigma_ 1\)-induction
- Uniform density in Lindenbaum algebras
- Undecidable theories
- On the Hierarchy of Intuitionistic Bounded Arithmetic
- A small reflection principle for bounded arithmetic
- Fragments of Heyting arithmetic
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS
- Recursive functions and existentially closed structures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item