Elementary inductive definitions in HA: From strictly positive towards monotone

DOI10.1016/0019-3577(90)90037-NzbMath0708.03029MaRDI QIDQ920089

Dirk Roorda

Publication date: 1990

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

zbMATH Keywords

elementary inductive definitionintuitionistic arithmetic HA

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Unnamed Item
• Constructivism in mathematics. An introduction. Volume II
• Two notes on the foundations of set-theory

This page was built for publication: Elementary inductive definitions in HA: From strictly positive towards monotone