An Absolutely Independent Set of ΣO‐Sentences
- 1 January 1972
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 18 (7) , 107-109
- https://doi.org/10.1002/malq.19720180704
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A Very Independent Axiom SystemThe American Mathematical Monthly, 1961
- Extensions of some theorems of Gödel and ChurchThe Journal of Symbolic Logic, 1936