vix.ing · top · new · best · stats

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

1981/01/01 by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers +1 · 119 citations
Computer Science · Mathematics · Medicine · #Advanced Algebra and Logic #Algebra over a field #Calculus (dental) #Inductive method #Iterated function #Mathematical analysis #Mathematical economics #Mathematics #Mathematics education #Medicine #Neural Networks and Applications #Pure mathematics #Rough Sets and Fuzzy Logic

paper · doi:10.1007/bfb0091894

published in Lecture Notes in Mathematics (Springer Berlin Heidelberg)

crossref issued 1981/01/01 · crossref published 1981/01/01 · crossref published-print 1981/01/01 · openalex publication_date 1981/01/01 · crossref created 2006/11/24 · crossref deposited 2019/04/06 · openalex created_date 2025/10/10 · crossref indexed 2025/12/23 · openalex updated_date 2026/07/28

Cited by