Preservation theorems and restricted consistency statements in bounded arithmetic

DOI10.1016/J.APAL.2003.11.003MaRDI QIDQ598285zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Structure and definability in general bounded arithmetic theories
• Construction of models of bounded arithmetic by restricted reduced powers
• Unprovability of consistency statements in fragments of bounded arithmetic
• Existentially Closed Models and Conservation Results in Bounded Arithmetic
• Herbrand consistency and bounded arithmetic

Cites work

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

Cited in

(4)

• scientific article; zbMATH DE number 4145897 (Why is no real title available?)
• 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)