Takako Nemoto

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES The Bulletin of Symbolic Logic	2023-10-13	Paper
Systems for Constructive Reverse Mathematics Handbook of Constructive Mathematics	2023-08-11	Paper
Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice Mathematics for Computation (M4C)	2023-08-04	Paper
Choice and independence of premise rules in intuitionistic set theory Annals of Pure and Applied Logic	2023-07-26	Paper
A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic Journal of Symbolic Logic	2022-06-15	Paper
A constructive proof of the dense existence of nowhere-differentiable functions in \(C[0,1\)] Computability	2020-11-09	Paper
On the independence of premiss axiom and rule Archive for Mathematical Logic	2020-10-15	Paper
The monotone completeness theorem in constructive reverse mathematics Mathesis Universalis, Computability and Proof	2020-08-10	Paper
Finite sets and infinite sets in weak intuitionistic arithmetic Archive for Mathematical Logic	2020-07-17	Paper
Non-deterministic inductive definitions and fullness Concepts of Proof in Mathematics, Philosophy, and Computer Science	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 Annals of Pure and Applied Logic	2019-07-10	Paper
Equivalents of the finitary non-deterministic inductive definitions (available as arXiv preprint)	2019-03-14	Paper
The binary expansion and the intermediate value theorem in constructive reverse mathematics Archive for Mathematical Logic	2019-01-24	Paper
Generalized geometric theories and set-generated classes Mathematical Structures in Computer Science	2016-07-27	Paper
A note on the independence of premiss rule Mathematical Logic Quarterly (MLQ)	2016-03-17	Paper
Some principles weaker than Markov's principle Archive for Mathematical Logic	2015-11-18	Paper
scientific article; zbMATH DE number 5722530 (Why is no real title available?)	2010-06-17	Paper
Determinacy of Wadge classes and subsystems of second order arithmetic Mathematical Logic Quarterly	2009-04-09	Paper
Complete Determinacy and Subsystems of Second Order Arithmetic Logic and Theory of Algorithms	2008-06-19	Paper
Infinite games in the Cantor space and subsystems of second order arithmetic Mathematical Logic Quarterly	2007-06-26	Paper

Research outcomes over time

This page was built for person: Takako Nemoto