The following pages link to Mariko Yasugi (Q1058512):
Displaying 50 items.
- Groundedness property and accessibility of ordinal diagrams (Q1058513) (← links)
- A two-storied universe of transfinite mechanisms (Q1121881) (← links)
- An interpretation of intuitionistic analysis with restricted transfinite inductive definitions (Q1121882) (← links)
- The machinery of consistency proofs (Q1124588) (← links)
- Gentzen reduction revisited (Q1140640) (← links)
- An accessibility proof of ordinal diagrams (Q1158149) (← links)
- Effective properties of sets and functions in metric spaces with computability structure (Q1292419) (← links)
- A metatheory of nonstandard analysis (Q1316505) (← links)
- A note on the wise girls puzzle (Q1349271) (← links)
- Computability of a function with jumps: Effective uniformity and limiting recursion (Q1763621) (← links)
- Irrational-based computability of functions (Q2097063) (← links)
- ``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment (Q2097064) (← links)
- Cut elimination theorem for second order arithmetic with the \(\Pi^ 1_ 1\)-comprehension axiom and the \(\omega\)-rule (Q2537964) (← links)
- Intuitionistic analysis and Gödel's interpretation (Q2625990) (← links)
- (Q2742632) (← links)
- (Q2784794) (← links)
- (Q2784797) (← links)
- Computability of Probability Distributions and Characteristic Functions (Q2846581) (← links)
- Computability of Probability Distributions and Distribution Functions (Q2917345) (← links)
- Random Iteration Algorithm for Graph-Directed Sets (Q2917349) (← links)
- (Q3032261) (← links)
- (Q3037430) (← links)
- (Q3037431) (← links)
- (Q3338234) (← links)
- (Q3338245) (← links)
- The Effective Sequence of Uniformities and its Limit as a Methodology in Computable Analysis (Q3527322) (← links)
- Effective Fine‐convergence of Walsh‐Fourier series (Q3528147) (← links)
- (Q3575321) (← links)
- (Q3639064) (← links)
- Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions (Q3644797) (← links)
- (Q3699689) (← links)
- (Q3733772) (← links)
- Information-Extraction Through Reduction Methods In Some Formal Systems (Q3767344) (← links)
- (Q3770525) (← links)
- (Q3770526) (← links)
- (Q3870892) (← links)
- Continuous valuation and logic (Q3895441) (← links)
- (Q3927237) (← links)
- (Q3927238) (← links)
- (Q3931387) (← links)
- (Q3939797) (← links)
- Some properties of ordinal diagrams (Q4120569) (← links)
- (Q4128538) (← links)
- (Q4175274) (← links)
- (Q4217607) (← links)
- (Q4252654) (← links)
- (Q4266189) (← links)
- (Q4266205) (← links)
- (Q4348037) (← links)
- (Q4421571) (← links)
