A semantic approach to conservativity

DOI10.1007/s11225-015-9639-7zbMath1414.03013OpenAlexW2259501815WikidataQ59472670 ScholiaQ59472670MaRDI QIDQ284219

Tomasz Połacik

Publication date: 17 May 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/20.500.12128/12862

zbMATH Keywords

Kripke modelsclassical first-order theoriesconservativityintuitionistic first-order theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Intuitionistic validity in \(T\)-normal Kripke structures
• Finite Kripke models of HA are locally PA
• Some preservation results for classical and intuitionistic satisfiability in Kripke models
• Constructivism in mathematics. An introduction. Volume I
• Classical and intuitionistic models of arithmetic
• Kripke models for subtheories of \textsf{CZF}
• Interpreting classical theories in constructive ones
• Constructive set theory
• A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
• A new method for establishing conservativity of classical systems over their intuitionistic version
• Submodels of Kripke models