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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Takako Nemoto