scientific article
From MaRDI portal
Publication:3773877
zbMATH Open0635.03053MaRDI QIDQ3773877FDOQ3773877
Publication date: 1986
Title of this publication is not available (Why is that?)
Proof theory and constructive mathematics (03Fxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Cited In (21)
- Universes over Frege structures
- Applications of cut-free infinitary derivations to generalized recursion theory
- Reflections on reflections in explicit mathematics
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice
- Classes and truths in set theory
- Proof-theoretic investigations on Kruskal's theorem
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY
- On the proof-theoretic strength of monotone induction in explicit mathematics
- Completeness and expressiveness of pointer program verification by separation logic
- Elementary patterns of resemblance
- Algebraic properties of rings of generalized power series
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
- Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
- Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
- Tracking chains of \(\varSigma_2\)-elementarity
- Fixed points in Peano arithmetic with ordinals
- Patterns of resemblance of order 2
- Well-ordering proofs for Martin-Löf type theory
- Understanding uniformity in Feferman's explicit mathematics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3773877)
