scientific article
From MaRDI portal
Publication:3581788
zbMATH Open1205.03057MaRDI QIDQ3581788
Publication date: 2 September 2010
Title of this publication is not available (Why is that?)
Could not fetch data.
Consistency and independence results (03E35) First-order arithmetic and fragments (03F30) Axiomatics of classical set theory and its fragments (03E30)
Related Items (1)
Recommendations
- Finite sets and infinite sets in weak intuitionistic arithmetic π π
- On interpretations of bounded arithmetic and bounded set theory π π
- Structure and definability in general bounded arithmetic theories π π
- A note on finiteness in the predicative foundations of arithmetic π π
- Sprague-Grundy theory in bounded arithmetic π π
- On Arbitrary sets andZFC π π
- Theories of arithmetics in finite models π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3581788)