scientific article; zbMATH DE number 440485

MaRDI QIDQ3140642zbMATH OpenFDO

Authors Søren Riis

Publication date 28 August 1994

zbMATH Keywords

finitisation principlemodels of arithmeticsecond order bounded inductionsecond-order arithmetic

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Independence results for variants of sharply bounded induction
• An independence result on weak second order bounded arithmetic
• Bounded arithmetic and the polynomial hierarchy
• A constructive consistency proof of a fragment of set theory
• scientific article; zbMATH DE number 4043837
• TRACE EXPANSIONS OF INITIAL SEGMENTS
• On induction-free provability
• Separations of first and second order theories in bounded arithmetic
• Weakly compact cardinals in models of set theory
• Regular cuts in models of bounded arithmetic

Cited in

(5)

• Proof complexity in algebraic systems and bounded depth Frege systems with modular counting
• \(\text{Count}(q)\) does not imply \(\text{Count}(p)\)
• Circuit principles and weak pigeonhole variants
• Structures interpretable in models of bounded arithmetic
• Typical forcings, NP search problems and an extension of a theorem of Riis

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