A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection |
scientific article |
Statements
A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (English)
0 references
23 December 2022
0 references
\(\Pi_2^1\) conservation
0 references
interpretation
0 references
intuitionistic forcing
0 references
realizability
0 references
\(\Sigma_1^1\) collection
0 references
\(\Sigma_1^ 1\)-DC
0 references
0 references
0 references
0 references
