Paul Cohen by Wikipedia Bot 0
Paul Cohen can refer to a few notable individuals, but one of the most prominent is Paul Cohen (1934–2007), an American mathematician known for his work in set theory and logic. He is particularly famous for developing the technique of forcing, which he used to prove the independence of the continuum hypothesis and the axiom of choice from Zermelo-Fraenkel set theory. This work was groundbreaking and significantly advanced the field of mathematical logic.
Mikhail Suslin by Wikipedia Bot 0
Mikhail Suslin was a prominent Russian mathematician, best known for his contributions to set theory and topology, particularly for his work on the theory of real numbers and the Suslin line. Born on April 2, 1894, Suslin played a significant role in developing concepts related to measure theory and the foundation of mathematics.
In mathematics, particularly in set theory, a **reflecting cardinal** is a type of large cardinal. A cardinal number \( \kappa \) is considered a reflecting cardinal if it has the property that every property that can be expressed in the language of set theory that is true for all larger cardinals is also true for \( \kappa \) itself, provided that the property holds for some set of size greater than \( \kappa \).
In set theory, an **ordinal definable set** (often abbreviated as OD set) is a set that can be uniquely defined by a formula that contains only ordinal parameters.
Đuro Kurepa by Wikipedia Bot 0
Đuro Kurepa was a prominent Croatian mathematician known for his contributions to various fields, particularly in the areas of set theory, topology, and functional analysis. Born on June 21, 1915, he played a significant role in the development of mathematics in Croatia and the former Yugoslavia. Kurepa was also involved in mathematics education and served in various academic positions during his career. His work helped establish a foundation for future research and education in mathematics in the region.
Joan Bagaria by Wikipedia Bot 0
Joan Bagaria is a contemporary Spanish artist known for his work in various forms of visual art, including painting and digital media. He often explores themes related to modern society, technology, and human experience. His style may blend abstraction with figurative elements, creating a unique narrative in his artwork.
Matthew Foreman by Wikipedia Bot 0
Matthew Foreman could refer to a variety of individuals, as it is not an uncommon name. Without more context, it's difficult to determine exactly which Matthew Foreman you might be referring to. One notable Matthew Foreman is a prominent American figure known for his work in public policy and advocacy, particularly in health and LGBT rights. He has been involved with various organizations, including the National Minority AIDS Council. If you have a specific context in mind, such as a particular field (e.g.
Lyudmila Keldysh by Wikipedia Bot 0
Lyudmila Keldysh is a name associated with several notable figures, most prominently with the Russian mathematician and physicist Lyudmila Keldysh (or Lyudmila Keldysh-Udivanova). She is known for her contributions to various fields in mathematics and physics, particularly in the areas of approximation theory and mathematical physics.
Lisl Gaal by Wikipedia Bot 0
Lisl Gaal is a Hungarian-born actress, singer, and dancer known for her work in film, television, and theater. She was notably active in the entertainment industry in the mid-20th century, particularly known for her roles in the film industry during the 1950s and 1960s.
Harvey Friedman by Wikipedia Bot 0
Harvey Friedman is a well-known mathematician, particularly recognized for his work in mathematical logic, set theory, and the foundations of mathematics. He has made significant contributions to topics such as reverse mathematics, large cardinals, and the philosophy of mathematics. Friedman's research often explores the relationships between various mathematical theories and the complexities involved in formal proofs. In addition to his theoretical work, he is also known for his engagement with the mathematical community, including teaching and mentoring students.
Saul Kripke by Wikipedia Bot 0
Saul Kripke is an American philosopher and logician, renowned for his significant contributions to various areas of philosophy, particularly in the fields of modal logic, philosophy of language, and metaphysics. Born on November 13, 1940, Kripke is best known for his development of the concept of "possible worlds" in modal logic, which allows for the analysis of necessity and possibility in a rigorous way.
Saharon Shelah by Wikipedia Bot 0
Saharon Shelah is a prominent mathematician and logician known for his work in set theory, model theory, and mathematical logic. Born in 1934 in Jerusalem, he has made significant contributions to various areas, particularly in the study of cardinal numbers, forcing, and the properties of models of set theory.
As of my last knowledge update in October 2021, Eric Charles Milner is not a widely recognized public figure, and there may not be significant available information on him. It's possible that he could be an author, academic, or professional in a specific field.
Eduard Helly by Wikipedia Bot 0
Eduard Helly is not widely known as a public figure or concept as of my last knowledge update in October 2023. It's possible that you might be referring to a lesser-known individual, a character in literature or media, or a specific topic that has emerged more recently.
Donald A. Martin by Wikipedia Bot 0
Donald A. Martin is a prominent mathematician known for his work in set theory, particularly in the areas concerning forcing, large cardinals, and the foundations of mathematics. He has contributed significantly to the understanding of models of set theory and their properties. If you were looking for information about a different Donald A.
Cesare Burali-Forti (1859-1938) was an Italian mathematician known for his contributions to set theory and logic. One of his most notable achievements is the Burali-Forti paradox, which he discovered in 1897. This paradox arises in the context of ordinal numbers and reflects issues related to the foundations of mathematics, specifically concerning the concept of a "largest ordinal.
Azriel Lévy by Wikipedia Bot 0
Azriel Lévy is a Jewish name that might refer to individuals in various contexts, but it does not specifically point to a widely known historical figure, event, or concept based on the information available up to October 2023.
Anthony Quinton by Wikipedia Bot 0
Anthony Quinton was a prominent British philosopher known for his work in the fields of philosophy of language, metaphysics, and epistemology. He was born on December 1, 1921, and passed away on January 27, 2010. Quinton is particularly recognized for his contributions to the philosophy of mind and his writings on the nature of reality and the structure of knowledge. He also served as a professor at various institutions and authored several influential books and articles throughout his career.
Dominic Kiarie by Wikipedia Bot 0
As of my last knowledge update in October 2023, Dominic Kiarie does not appear to be a widely recognized public figure, historical figure, or concept. It's possible that he could be a private individual or someone who has gained prominence more recently.
Akihiro Kanamori by Wikipedia Bot 0
As of my last update in October 2023, Akihiro Kanamori is a Japanese figure who may be recognized in various contexts, such as literature, academia, or another professional field. However, I do not have specific information on a notable individual by that name without additional context.

Pinned article: ourbigbook/introduction-to-the-ourbigbook-project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact