scientific article; zbMATH DE number 7183906
From MaRDI portal
Publication:5222088
zbMath1432.03066MaRDI QIDQ5222088
Publication date: 30 March 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Collected or selected works; reprintings or translations of classics (01A75) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Model theory (number-theoretic aspects) (11U09)
Related Items (3)
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? ⋮ On axiom schemes for \(T\)-provably \(\Delta_1\) formulas ⋮ Truth definition for $\Delta _ 0$ formulas and PSPACE computations
This page was built for publication: