Pages that link to "Item:Q3224668"
From MaRDI portal
The following pages link to Realizability algebras: a program to well order R (Q3224668):
Displaying 11 items.
- Delimited control operators prove double-negation shift (Q450950) (← links)
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Realizability models for a linear dependent PCF (Q2346992) (← links)
- Realizability algebras III: some examples (Q4599612) (← links)
- Preserving cardinals and weak forms of Zorn’s lemma in realizability models (Q4988445) (← links)
- Implicative algebras: a new foundation for realizability and forcing (Q5139288) (← links)
- Constructive forcing, CPS translations and witness extraction in Interactive realizability (Q5360214) (← links)
- Classical realizability and arithmetical formulæ (Q5360216) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)
- A first-order completeness result about characteristic Boolean algebras in classical realizability (Q6649488) (← links)
