Pages that link to "Item:Q4876321"
From MaRDI portal
The following pages link to Minimal readability of intuitionistic arithmetic and elementary analysis (Q4876321):
Displaying 13 items.
- Functional interpretations of feasibly constructive arithmetic (Q685962) (← links)
- Polynomially bounded recursive realizability (Q817959) (← links)
- General recursive realizability and basic logic (Q828116) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- On excluded minors for real-representability (Q1026009) (← links)
- Elementary realizability (Q1362589) (← links)
- General recursive realizability and intuitionistic logic (Q2246818) (← links)
- Realizability with a local operator of A. M. Pitts (Q2253188) (← links)
- Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962) (← links)
- MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER (Q4638992) (← links)
- An extensional Kleene realizability semantics for the Minimalist Foundation (Q5277976) (← links)
- Some elementary results in intuitionistic model theory (Q5687313) (← links)
- A Generalized Realizability and Intuitionistic Logic (Q5886518) (← links)