Envelopes, indicators and conservativeness

DOI10.1002/MALQ.200410055MaRDI QIDQ3376540zbMATHOpenAlexFDO

Authors Andrés Cordón-Franco, Alejandro Fernández Margarit, F. Félix Lara Martin

Publication date 24 March 2006

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://idus.us.es/handle//11441/87542

zbMATH Keywords

envelopesindicatorsconservation resultsinitial segmentscollection principles

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• On maximum conservative extensions
• Conservation results for parameter-free \(\Pi_n\)-induction
• On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction
• A semantic approach to conservativity
• On some formalized conservation results in arithmetic

Cited in

(1)

• Semi-honest subrecursive degrees and the collection rule in arithmetic

This page was built for publication: Envelopes, indicators and conservativeness

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