A. A. Tverskoj
From MaRDI portal
Person:1153142
Available identifiers
zbMath Open tverskoj.a-aMaRDI QIDQ1153142
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| NONCONSTRUCTIVIZABLE FORMAL ARITHMETIC STRUCTURES | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789558 | 1987-01-01 | Paper |
| Constructivizable and non-constructivizable formal arithmetic structures | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714071 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960854 | 1982-01-01 | Paper |
| A sequence of combinatorial judgments which are independent of Peano arithmetic | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900047 | 1980-01-01 | Paper |
Research outcomes over time
This page was built for person: A. A. Tverskoj
