Finite sets and infinite sets in weak intuitionistic arithmetic
type: Item
instance of: scholarly article
title: Finite sets and infinite sets in weak intuitionistic arithmetic
zbMATH Open document ID: 1481.03066
author: Takako Nemoto
published in: Archive for Mathematical Logic
publication date: 2020-07-17T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 7222136
zbMATH Keywords: constructive mathematics
zbMATH Keywords: constructive reverse mathematics
zbMATH Keywords: first-order arithmetic
zbMATH Keywords: induction principles
zbMATH Keywords: non-constructive principles
MaRDI profile type: Publication
full work available at URL: s00153-019-00704-8
OpenAlex ID: W2996782717
cites work: Q5573965
cites work: Q3754620
cites work: Intuitionistic validity in \(T\)-normal Kripke structures
cites work: Logic and structure
cites work: Q4384146
cites work: Q5718575
cites work: Q4040892
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Two simple sets that are not positively Borel
cites work: Fragments of HA based on \(\Sigma_ 1\)-induction
Wikidata QID: Q126413645
DOI: 10.1007/S00153-019-00704-8
description: scientific article; zbMATH DE number 7222136