A note on Goodman's theorem

DOI10.1023/A:1005278215757zbMath0988.03089OpenAlexW1506561761MaRDI QIDQ1970595

Ulrich Kohlenbach

Publication date: 22 July 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005278215757

zbMATH Keywords

axiom of choiceintuitionistic arithmeticrestricted inductionGoodman's theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (2)

Arithmetical conservation results ⋮ On Goodman realizability

This page was built for publication: A note on Goodman's theorem