Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 1301817

From MaRDI portal
Publication:4247035
Jump to:navigation, search

zbMATH Open0935.03065MaRDI QIDQ4247035FDOQ4247035


Authors: W. W. Tait Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4247035&oldid=18143353"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 6 February 2024, at 16:27. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki