``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment (Q2097064)
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: ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment |
scientific article; zbMATH DE number 7615256
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment |
scientific article; zbMATH DE number 7615256 |
Statements
``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment (English)
0 references
11 November 2022
0 references
the finitist standpoint
0 references
consistency proof through reduction methods
0 references
accessibility proof of order structure
0 references
modulus of finiteness functional
0 references
universe of mechanisms
0 references
0 references
