Preservation theorems and restricted consistency statements in bounded arithmetic

DOI10.1016/J.APAL.2003.11.003zbMATH Open1060.03080OpenAlexW2005184534MaRDI QIDQ598285FDOQ598285

Arnold Beckmann

Publication date: 6 August 2004

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

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.003

zbMATH Keywords

Bounded arithmeticPreservation theoremsRestricted consistency

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• Notes on polynomially bounded arithmetic
• Existence and feasibility in arithmetic
• Quantified propositional calculi and fragments of bounded arithmetic
• Structure and definability in general bounded arithmetic theories
• Bounded arithmetic and truth definition
• On induction-free provability
• Dynamic ordinal analysis
• Relating the bounded arithmetic and polynomial time hierarchies
• Existentially closed structures and Gödel's second incompleteness theorem
• A Conservation Result Concerning Bounded Theories and the Collection Axiom
• A note on bounded arithmetic
• Proving consistency of equational theories in bounded arithmetic
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic
• Preservation theorems in finite model theory
• Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints

This page was built for publication: Preservation theorems and restricted consistency statements in bounded arithmetic

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