| Publication | Date of Publication | Type |
|---|
| Irrational-based computability of functions | 2022-11-11 | Paper |
| ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment | 2022-11-11 | Paper |
| Computability of Probability Distributions and Characteristic Functions | 2013-09-06 | Paper |
| FINE CONVERGENCE OF FUNCTIONS AND ITS EFFECTIVIZATION | 2013-06-03 | Paper |
| Integral of Two-dimensional Fine-computable Functions | 2013-05-03 | Paper |
| Integral of Fine Computable functions and Walsh Fourier series | 2013-05-03 | Paper |
| Two Notions of Sequential Computability of a Function with Jumps | 2013-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2917345 | 2012-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2917349 | 2012-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3575321 | 2010-07-27 | Paper |
| Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions | 2009-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639064 | 2009-10-28 | Paper |
| Effective Fine‐convergence of Walsh‐Fourier series | 2008-10-08 | Paper |
| The Effective Sequence of Uniformities and its Limit as a Methodology in Computable Analysis | 2008-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310899 | 2007-10-15 | Paper |
| Computability of a function with jumps: Effective uniformity and limiting recursion | 2005-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460844 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787862 | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421571 | 2003-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806299 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4546073 | 2002-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2784797 | 2002-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2784794 | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531997 | 2002-05-27 | Paper |
| A note on the wise girls puzzle | 2002-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2742632 | 2001-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4266189 | 2000-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4266205 | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936366 | 2000-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705392 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4252654 | 1999-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217607 | 1999-09-09 | Paper |
| Effective properties of sets and functions in metric spaces with computability structure | 1999-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4348037 | 1997-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4888074 | 1996-07-23 | Paper |
| A metatheory of nonstandard analysis | 1994-03-14 | Paper |
| The machinery of consistency proofs | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3032261 | 1989-01-01 | Paper |
| A two-storied universe of transfinite mechanisms | 1988-01-01 | Paper |
| An interpretation of intuitionistic analysis with restricted transfinite inductive definitions | 1988-01-01 | Paper |
| Information-Extraction Through Reduction Methods In Some Formal Systems | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3770526 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722071 | 1986-01-01 | Paper |
| Groundedness property and accessibility of ordinal diagrams | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3338234 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3699689 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3770525 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3338245 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3733772 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3037430 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3037431 | 1983-01-01 | Paper |
| Continuous valuation and logic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939797 | 1982-01-01 | Paper |
| An accessibility proof of ordinal diagrams | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927237 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931387 | 1981-01-01 | Paper |
| Gentzen reduction revisited | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3870892 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927238 | 1979-01-01 | Paper |
| Some properties of ordinal diagrams | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175274 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128538 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773683 | 1973-01-01 | Paper |
| Cut elimination theorem for second order arithmetic with the \(\Pi^ 1_ 1\)-comprehension axiom and the \(\omega\)-rule | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579487 | 1968-01-01 | Paper |
| Interpretations of set theory and ordinal number theory | 1967-01-01 | Paper |
| Intuitionistic analysis and Gödel's interpretation | 1963-01-01 | Paper |
