Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Envelopes, indicators and conservativeness

From MaRDI portal
Publication:3376540
Jump to:navigation, search

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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3376540&oldid=16646909"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 4 February 2024, at 16:05. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki