World Library  


QR link for Grothendieck Universes and Indefinite Extensibility
Open EEWOWW
Add to Book Shelf
Flag as Inappropriate
Email this Book

Grothendieck Universes and Indefinite Extensibility

By Khudairi, Hasen

Click here to view

Book Id: WPLBN0100003132
Format Type: PDF (eBook)
File Size: 160.09 KB
Reproduction Date: 9/2/2018

Title: Grothendieck Universes and Indefinite Extensibility  
Author: Khudairi, Hasen
Volume:
Language: English
Subject: Non Fiction, Philosophy
Collections: Authors Community, Philosophy
Historic
Publication Date:
2018
Publisher: Gutenberg
Member Page: Hasen Khudairi

Description
This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility in the category-theoretic setting is identifiable with the Kripke functors of modal coalgebraic automata, where the automata model Grothendieck Universes and the functors are further inter-definable with the elementary embeddings of large cardinal axioms. The Kripke functors definable in Grothendieck universes are argued to account for the ontological expansion effected by the elementary embeddings in the category of sets. By characterizing the modal profile of $\Omega$-logical validity, and thus the generic invariance of mathematical truth, modal coalgebraic automata are further capable of capturing the notion of definiteness, in order to yield a non-circular definition of indefinite extensibility.

 

Click To View

Additional Books


  • A Guide To the Hidden Wisdom of Kabbalah (by )
  • Attaining the Worlds Beyond (by )
  • Basic Concepts in Kabbalah (by )
  • Kabbalah, Science and the Meaning of Lif... (by )
  • The Kabbalah Experience (by )
  • The Path of Kabbalah (by )
  • The Science of Kabbalah (Pticha) Volume 1 (by )
  • Interview with the Future (by )
  • Introduction to the Book of Zohar Volume 2 (by )
  • The Open Book (by )
  • Selected Poetry 
  • I Was Walking through a Bookstore the Ot... 
Scroll Left
Scroll Right

 



Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.