A sequence of theories for arithmetic whose union is complete

MaRDI QIDQ1259592zbMATH OpenFDO

Authors Aldo Ursini

Publication date 1977

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=RSMUP_1977__57__75_0, https://eudml.org/doc/107645

zbMATH Keywords

provabilityfirst-order arithmeticnonstandard arithmeticsequences of theoriesextensions of first order theories

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Arithmetization of metamathematics in a general setting
• On the set of 'meaningful' sentences of arithmetic
• Significato e verita nell'aritmetica peaniana
• Solution of a problem of Leon Henkin
• Transfinite recursive progressions of axiomatic theories

Cited in

(1)

• Binumerability in a sequence of theories

This page was built for publication: A sequence of theories for arithmetic whose union is complete

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