Transfer principles in nonstandard intuitionistic arithmetic
From MaRDI portal
Recommendations
Cited in
(16)- Algebraic proofs of cut elimination
- Transference theorems and intuitionistic set theory
- Intuitionistic nonstandard bounded modified realisability and functional interpretation
- A note on non-classical nonstandard arithmetic
- Saturated models of universal theories
- Saturated models of intuitionistic theories
- A model for intuitionistic non-standard arithmetic
- Nonstandard functional interpretations and categorical models
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
- A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis
- scientific article; zbMATH DE number 3855072 (Why is no real title available?)
- Minimal models of Heyting arithmetic
- scientific article; zbMATH DE number 6983478 (Why is no real title available?)
- MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER
- Forcing in Proof Theory
- A functional interpretation for nonstandard arithmetic
This page was built for publication: Transfer principles in nonstandard intuitionistic arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1407559)
