scientific article; zbMATH DE number 3931004
From MaRDI portal
Publication:3705449
Recommendations
- scientific article; zbMATH DE number 4197440
- Some observations on the logical foundations of inductive theorem proving
- On the induction schema for decidable predicates
- Pointwise transfinite induction and a miniaturized predicativity
- A Note on (Meta)predicative Wellordering Proofs
- A note on induction, abstraction, and Dedekind-finiteness
- Some elementary results in intuitionistic model theory
- A reducibility in the theory of iterative combinatory spaces
- A note on finiteness in the predicative foundations of arithmetic
Cited in
(8)- The non-constructive operator, fixed point theories with ordinals, and the bar rule
- Universes over Frege structures
- Levels of truth
- Truth and the philosophy of mathematics
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
- An ordinal analysis for theories of self-referential truth
- A note on the theory \(\mathrm{SID}_{<\omega}\) of stratified induction
- Passive induction and a solution to a Paris-Wilkie open question
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 Q3705449)
