scientific article
From MaRDI portal
Publication:3140642
zbMath0794.03082MaRDI QIDQ3140642
Publication date: 28 August 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)
Related Items (5)
Circuit principles and weak pigeonhole variants ⋮ Typical forcings, NP search problems and an extension of a theorem of Riis ⋮ Proof complexity in algebraic systems and bounded depth Frege systems with modular counting ⋮ \(\text{Count}(q)\) does not imply \(\text{Count}(p)\) ⋮ Structures interpretable in models of bounded arithmetic
This page was built for publication:
