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