scientific article; zbMATH DE number 1301817

MaRDI QIDQ4247035zbMATH OpenFDO

Authors W. W. Tait

Publication date 2 May 2000

zbMATH Keywords

typesdomainsreflection principlesiterative conception of setformulas of finite type

Mathematics Subject Classification ID

Set theory (03E99)

Recommendations

• Higher order reflection principles
• Principles of reflection and second-order logic
• Boolos on the justification of set theory
• Reflections on reflections in explicit mathematics

Cited in

(13)

• Set-theoretic foundations
• scientific article; zbMATH DE number 3096290 (Why is no real title available?)
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• Frege meets Zermelo: a perspective on ineffability and reflection
• Foundations: Structures, Sets, and Categories
• scientific article; zbMATH DE number 1191242 (Why is no real title available?)
• scientific article; zbMATH DE number 5937717 (Why is no real title available?)
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• Set Theory as a Foundation
• scientific article; zbMATH DE number 3997753 (Why is no real title available?)
• scientific article; zbMATH DE number 3061662 (Why is no real title available?)
• On reflection principles

This page was built for publication:

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