scientific article; zbMATH DE number 1301817

zbMATH Open0935.03065MaRDI QIDQ4247035FDOQ4247035

Authors: W. W. Tait 

Publication date: 2 May 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

typesdomainsreflection principlesiterative conception of setformulas of finite type

Mathematics Subject Classification ID

Set theory (03E99)

Cited In (13)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• Set Theory as a Foundation
• Title not available (Why is that?)
• Title not available (Why is that?)
• On reflection principles
• Set-theoretic foundations

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)