A sequence of theories for arithmetic whose union is complete

zbMath0411.03053MaRDI QIDQ1259592

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

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)

Related Items

Binumerability in a sequence of theories

Cites Work

• Significato e verita nell'aritmetica peaniana
• On the set of 'meaningful' sentences of arithmetic
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• Transfinite recursive progressions of axiomatic theories
• Unnamed Item