scientific article; zbMATH DE number 4053609

zbMATH Open0646.03053MaRDI QIDQ3789558FDOQ3789558

Authors: A. A. Tverskoj 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• Constructivizable and non-constructivizable formal arithmetic structures
• scientific article; zbMATH DE number 3882428
• Inconsistent nonstandard arithmetic
• An Effective Conservation Result for Nonstandard Arithmetic
• scientific article; zbMATH DE number 3939366

zbMATH Keywords

Peano arithmeticnonstandard modelconstructibilityformal arithmetic structure

Mathematics Subject Classification ID

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

Cited In (5)

• Constructivizable and non-constructivizable formal arithmetic structures
• Non-commutative infinitary Peano arithmetic
• Title not available (Why is that?)
• Adding standardness to nonstandard arithmetic
• Non-elementary proper forcing

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3789558)