Separations of theories in weak bounded arithmetic

DOI10.1016/0168-0072(94)00008-QzbMATH Open0816.03026MaRDI QIDQ1344280FDOQ1344280

Authors: Gaisi Takeuti 

Publication date: 20 July 1995

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Recommendations

• Separations of first and second order theories in bounded arithmetic
• Separating bounded arithmetical theories by Herbrand consistency
• scientific article; zbMATH DE number 2236625
• On a weak separation axiom
• On some weak separation axioms
• Structure and definability in general bounded arithmetic theories
• scientific article; zbMATH DE number 1048040
• Weak arithmetical interpretations for the logic of proofs
• Model theory of bounded arithmetic with applications to independence results
• scientific article; zbMATH DE number 29071

zbMATH Keywords

separationweak bounded arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bounded arithmetic and the polynomial hierarchy

Cited In (8)

• Title not available (Why is that?)
• A theory for Log-Space and NLIN versus co-NLIN
• An unexpected separation result in Linearly Bounded Arithmetic
• Proof-theoretic conservations of weak weak intuitionistic constructive set theories
• Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
• Local splitters for bounded cotorsion theories
• Some results on cut-elimination, provable well-orderings, induction and reflection
• Separations of first and second order theories in bounded arithmetic

This page was built for publication: Separations of theories in weak bounded arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1344280)