THEOREMS AD INFINITUM

DOI10.1080/16073606.1984.9632337zbMath0561.03006OpenAlexW1994501268MaRDI QIDQ5184885

N. C. K. Phillips

Publication date: 1984

Published in: Quaestiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/16073606.1984.9632337

zbMATH Keywords

first order theorydense orderstrength of theorems

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30)

This page was built for publication: THEOREMS AD INFINITUM