Transfer principles in nonstandard intuitionistic arithmetic

DOI10.1007/S001530100109zbMath1024.03068OpenAlexW1965424234MaRDI QIDQ1407559

Jeffrey Helzner, Jeremy Avigad

Publication date: 16 September 2003

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

Full work available at URL: https://figshare.com/articles/journal_contribution/Transfer_Principles_in_Nonstandard_Intuitionistic_Arithmetic/6492995

zbMATH Keywords

intuitionistic nonstandard arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Related Items (6)

Saturated models of intuitionistic theories ⋮ Algebraic proofs of cut elimination ⋮ Intuitionistic nonstandard bounded modified realisability and functional interpretation ⋮ A functional interpretation for nonstandard arithmetic ⋮ Forcing in Proof Theory ⋮ Saturated models of universal theories

This page was built for publication: Transfer principles in nonstandard intuitionistic arithmetic