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
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection |
scientific article; zbMATH DE number 7637214
| 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; zbMATH DE number 7637214 |
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
