Envelopes, indicators and conservativeness

DOI10.1002/MALQ.200410055zbMATH Open1101.03039OpenAlexW2000176092MaRDI QIDQ3376540FDOQ3376540

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

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

   Recommendations

• On maximum conservative extensions 👍 👎
• Title not available (Why is that?) 👍 👎
• On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction 👍 👎
• A semantic approach to conservativity 👍 👎
• On some formalized conservation results 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)