Two notes on the foundations of set-theory

This publication has 10 references indexed in Scilit:

• A survey of proof theory
  The Journal of Symbolic Logic, 1968
• A Nonconstructible Δ 1 3 Set of Integers
  Transactions of the American Mathematical Society, 1967
• The Conjectures of Birch and Swinnerton-Dyer, and of Tate
  Published by Springer Nature ,1967
• Informal Rigour and Completeness Proofs
  Published by Elsevier ,1967
• What Do Some Recent Results in Set Theory Suggest?
  Published by Elsevier ,1967
• Some Notions of Random Sequence and Their Set‐Theoretic Foundations
  Mathematical Logic Quarterly, 1967
• New proof of a theorem of Gaifman and Hales
  Bulletin of the American Mathematical Society, 1966
• Semantical Analysis of Intuitionistic Logic I
  Published by Elsevier ,1965
• Systems of predicative analysis
  The Journal of Symbolic Logic, 1964
• Untersuchungen ber die Grundlagen der Mengenlehre. I
  Mathematische Annalen, 1908