scientific article; zbMATH DE number 3346319
From MaRDI portal
Publication:5622162
zbMath0218.02024MaRDI QIDQ5622162
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Recursive ordinals and ordinal notations (03F15) Inductive definability (03D70)
Related Items (27)
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen ⋮ Simplified Cut Elimination for Kripke-Platek Set Theory ⋮ On the Performance of Axiom Systems ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator. II ⋮ Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience ⋮ Type theory as a foundation for computer science ⋮ Beweistheoretische Abgrenzung von Teilsystemen der Analysis ⋮ Well ordering principles for iterated \(\Pi^1_1\)-comprehension ⋮ IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions ⋮ Fixed points in Peano arithmetic with ordinals ⋮ Proof theory and ordinal analysis ⋮ Two applications of analytic functors ⋮ Beweistheorie vonKPN ⋮ Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory ⋮ On the Completeness of Dynamic Logic ⋮ Inductive Completeness of Logics of Programs ⋮ Iterated Inductive Definitions Revisited ⋮ Ordinals. II: Some applications and a functorial approach ⋮ Set based logic programming ⋮ The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator and join ⋮ Heyting-valued interpretations for constructive set theory ⋮ Foundations for analysis and proof theory ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
This page was built for publication:
