Takako Nemoto

Available identifiers

zbMath Open nemoto.takakoMaRDI QIDQ781508

List of research outcomes

Publication	Date of Publication	Type
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES	2023-10-13	Paper
Systems for Constructive Reverse Mathematics	2023-08-11	Paper
Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice	2023-08-04	Paper
Choice and independence of premise rules in intuitionistic set theory	2023-07-26	Paper
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC	2022-06-15	Paper
A constructive proof of the dense existence of nowhere-differentiable functions in C [ 0 , 1 ]	2020-11-09	Paper
On the independence of premiss axiom and rule	2020-10-15	Paper
The Monotone Completeness Theorem in Constructive Reverse Mathematics	2020-08-10	Paper
Finite sets and infinite sets in weak intuitionistic arithmetic	2020-07-17	Paper
Non-Deterministic Inductive Definitions and Fullness	2020-04-03	Paper
The independence of premise rule in intuitionistic set theories	2019-11-18	Paper
Equivalents of the finitary non-deterministic inductive definitions	2019-07-10	Paper
Equivalents of the finitary non-deterministic inductive definitions	2019-03-14	Paper
The binary expansion and the intermediate value theorem in constructive reverse mathematics	2019-01-24	Paper
Generalized geometric theories and set-generated classes	2016-07-27	Paper
A note on the independence of premiss rule	2016-03-17	Paper
Some principles weaker than Markov's principle	2015-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q3567851	2010-06-17	Paper
Determinacy of Wadge classes and subsystems of second order arithmetic	2009-04-09	Paper
Complete Determinacy and Subsystems of Second Order Arithmetic	2008-06-19	Paper
Infinite games in the Cantor space and subsystems of second order arithmetic	2007-06-26	Paper

Research outcomes over time

This page was built for person: Takako Nemoto