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 _1¹ collection |
scientific article; zbMATH DE number 7637214
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8012415766716003
0 references
0.7654778957366943
0 references
0.757321834564209
0 references
0.7564418315887451
0 references
0.7344048619270325
0 references
