scientific article
From MaRDI portal
Publication:3830988
zbMath0676.03027MaRDI QIDQ3830988
No author found.
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peano arithmetic\(\Sigma _ 2\) collection\(\Sigma _ n\) formulasexistence and non-existence of r.e. sets
First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Recursively (computably) enumerable sets and degrees (03D25)
Related Items (3)
The degree of a \(\Sigma_ n\) cut ⋮ Hyperhypersimple sets and \(\Delta _ 2\) systems ⋮ \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\)
This page was built for publication:
