TRACE EXPANSIONS OF INITIAL SEGMENTS

DOI10.1002/MALQ.19840303003zbMATH Open0536.03051OpenAlexW2058882547MaRDI QIDQ3320379

Roman Murawski

Publication date: 1984

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19840303003

zbMATH Keywords

Peano arithmeticsecond order arithmeticexpandabilityexpansions of models

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

This page was built for publication: TRACE EXPANSIONS OF INITIAL SEGMENTS

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