NONCONSTRUCTIVIZABLE FORMAL ARITHMETIC STRUCTURES

From MaRDI portal

Publication:3808092

Jump to:navigation, search

DOI10.1070/IM1988V030N01ABEH000995zbMath0659.03037OpenAlexW2129693466MaRDI QIDQ3808092

A. A. Tverskoj

Publication date: 1988

Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/im1988v030n01abeh000995

zbMATH Keywords

constructibility Peano arithmetic nonstandard model

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

This page was built for publication: NONCONSTRUCTIVIZABLE FORMAL ARITHMETIC STRUCTURES

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3808092&oldid=17383160"