Finite sets and infinite sets in weak intuitionistic arithmetic

DOI10.1007/s00153-019-00704-8zbMath1481.03066OpenAlexW2996782717WikidataQ126413645 ScholiaQ126413645MaRDI QIDQ781509

Takako Nemoto

Publication date: 17 July 2020

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-019-00704-8

zbMATH Keywords

constructive mathematicsfirst-order arithmeticconstructive reverse mathematicsinduction principlesnon-constructive principles

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Related Items

A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ On the independence of premiss axiom and rule ⋮ The Monotone Completeness Theorem in Constructive Reverse Mathematics

Cites Work

• Intuitionistic validity in \(T\)-normal Kripke structures
• Constructivism in mathematics. An introduction. Volume I
• Fragments of HA based on \(\Sigma_ 1\)-induction
• Two simple sets that are not positively Borel
• Logic and structure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite sets and infinite sets in weak intuitionistic arithmetic