Envelopes, indicators and conservativeness

DOI10.1002/MALQ.200410055zbMath1101.03039OpenAlexW2000176092MaRDI QIDQ3376540

F. F. Lara-Martín, A. 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)

Related Items (1)

Semi-honest subrecursive degrees and the collection rule in arithmetic

Cites Work

• Unnamed Item
• Unnamed Item

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