Ordinal numbers

Ordinal collapsing function

In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger than the one being defined, perhaps even large cardinals (though they can be replaced with recursively large ordinals at the cost of extra technical difficulty), and then "collapse" them down to a system of notations for the sought-after ordinal. For this reason, ordinal collapsing functions are described as an impredicative manner of naming ordinals. The details of the definition of ordinal collapsing functions vary, and get more complicated as greater ordinals are being defined, but the typical idea is that whenever the notation system "runs out of fuel" and cannot name a certain ordinal, a much larger ordinal is brought "from above" to give a name to that critical point. An example of how this works will be detailed below, for an ordinal collapsing function defining the Bachmann–Howard ordinal (i.e., defining a system of notations up to the Bachmann–Howard ordinal). The use and definition of ordinal collapsing functions is inextricably intertwined with the theory of ordinal analysis, since the large countable ordinals defined and denoted by a given collapse are used to describe the ordinal-theoretic strength of certain formal systems, typically subsystems of analysis (such as those seen in the light of reverse mathematics), extensions of Kripke–Platek set theory, Bishop-style systems of constructive mathematics or Martin-Löf-style systems of intuitionistic type theory.(psi)(1) Ordinal collapsing functions are typically denoted using some variation of either the Greek letter (psi) or (theta). (Wikipedia).

Video thumbnail

Identifying Linear Functions

Define linear functions. Use function notation to evaluate linear functions. Learn to identify linear function from data, graphs, and equations.

From playlist Algebra 1

Video thumbnail

Ex: Determine if a Linear Function is Increasing or Decreasing

This video explains how to determine if a linear function is increasing or decreasing. The results are discussed graphically. Site: http://mathispower4u.com

From playlist Introduction to Functions: Function Basics

Video thumbnail

Rational Functions

In this video we cover some rational function fundamentals, including asymptotes and interecepts.

From playlist Polynomial Functions

Video thumbnail

Assaf Rinot : Distributive Aronszajn trees

Abstract: It is well-known that the statement "all ℵ1-Aronszajn trees are special'' is consistent with ZFC (Baumgartner, Malitz, and Reinhardt), and even with ZFC+GCH (Jensen). In contrast, Ben-David and Shelah proved that, assuming GCH, for every singular cardinal λ: if there exists a λ+-

From playlist Logic and Foundations

Video thumbnail

Learn to find max, min and intervals of increasing, decreasing

👉 Learn how to determine increasing/decreasing intervals. There are many ways in which we can determine whether a function is increasing or decreasing but we will focus on determining increasing/decreasing from the graph of the function. A function is increasing when the graph of the funct

From playlist When is the Function Increasing Decreasing or Neither

Video thumbnail

Intervals of increasing and decreasing function from a graph

👉 Learn how to determine increasing/decreasing intervals. There are many ways in which we can determine whether a function is increasing or decreasing but we will focus on determining increasing/decreasing from the graph of the function. A function is increasing when the graph of the funct

From playlist When is the Function Increasing Decreasing or Neither

Video thumbnail

Laura Fontanella: Reflection of stationary sets and the tree property at ℵω2+1

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Logic and Foundations

Video thumbnail

Joel David Hamkins : The hierarchy of second-order set theories between GBC and KM and beyond

Abstract: Recent work has clarified how various natural second-order set-theoretic principles, such as those concerned with class forcing or with proper class games, fit into a new robust hierarchy of second-order set theories between Gödel-Bernays GBC set theory and Kelley-Morse KM set th

From playlist Logic and Foundations

Video thumbnail

How to find the intervals that a function is increasing and decreasing

👉 Learn how to determine increasing/decreasing intervals. There are many ways in which we can determine whether a function is increasing or decreasing but we will focus on determining increasing/decreasing from the graph of the function. A function is increasing when the graph of the funct

From playlist When is the Function Increasing Decreasing or Neither

Video thumbnail

Linear Functions

Define a linear function. Determine if a linear function is increasing or decreasing. Interpret linear function models. Determine linear functions. Site: http://mathispower4u.com

From playlist Introduction to Functions: Function Basics

Video thumbnail

Professorial Lecture Series: Professor David Warton

Subscribe to AboutUNSW if you are a current or prospective student https://www.youtube.com/user/UNSWCommunity About the series During the course of this year all our newly promoted and recruited Professors will be invited to deliver an Inaugural Lecture to mark their achievement. These wi

From playlist Professorial Lecture Series, UNSW

Video thumbnail

MM++ implies (*)

Ralf Schindler Universität Münster, Germany

From playlist Talks of Mathematics Münster's reseachers

Video thumbnail

Determine the intervals that a graph is increasing and decreasing

👉 Learn how to determine increasing/decreasing intervals. There are many ways in which we can determine whether a function is increasing or decreasing but we will focus on determining increasing/decreasing from the graph of the function. A function is increasing when the graph of the funct

From playlist When is the Function Increasing Decreasing or Neither

Video thumbnail

Determining when a function is increasing decreasing or constant

👉 Learn how to determine increasing/decreasing intervals. There are many ways in which we can determine whether a function is increasing or decreasing but we will focus on determining increasing/decreasing from the graph of the function. A function is increasing when the graph of the funct

From playlist When is the Function Increasing Decreasing or Neither

Video thumbnail

Sandra Müller: Lower bounds for the perfect set property at weakly compact cardinals

By the Cantor-Bendixson theorem, subtrees of the binary tree on $\omega$ satisfy a dichotomy - either the tree has countably many branches or there is a perfect subtree (and in particular, the tree has continuum manybranches, regardless of the size of the continuum). We generalize this to

From playlist Logic and Foundations

Video thumbnail

YTL Excel #118: Form Controls Linked To Cells

Download Excel Files: Start File: https://people.highline.edu/mgirvin/YouTubeExcelIsFun/YTL%20Excel%20112-120.xls Finished File https://people.highline.edu/mgirvin/YouTubeExcelIsFun/YTL%20Excel%20112-120Finished.xls Full Page With All File Links: http://people.highline.edu/mgirvin/excelisf

From playlist Excel Series: YouTubers Love Excel!

Video thumbnail

Counting Woodin cardinals in HOD

Distinguished Visitor Lecture Series Counting Woodin cardinals in HOD W. Hugh Woodin Harvard University, USA and University of California, Berkeley, USA

From playlist Distinguished Visitors Lecture Series

Video thumbnail

Mirna Džamonja: Universal א2-Aronszajn trees

Recorded during the meeting "XVI International Luminy Workshop in Set Theory" the September 14, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Au

From playlist Logic and Foundations

Video thumbnail

Bonding Like Period Element Atoms Using Parametric Geometry and Z#

In this talk, Alexander Garron discusses the quantum-level parametric geometry he uses to construct and bond like atoms together. ​ ​​ ​Constructing a bonding profile of nuclear energy curves structuring, two like atoms are built with two parametric geometry sections. One section will be a

From playlist Wolfram Technology Conference 2020

Video thumbnail

How to determine the intervals that a function is increasing decreasing or constant

👉 Learn how to determine increasing/decreasing intervals. There are many ways in which we can determine whether a function is increasing or decreasing but we will focus on determining increasing/decreasing from the graph of the function. A function is increasing when the graph of the funct

From playlist When is the Function Increasing Decreasing or Neither

Related pages

Indescribable cardinal | Ackermann function | Monotonic function | Intuitionistic type theory | Set theory | Ackermann ordinal | Continuous function | Mahlo cardinal | Reverse mathematics | Bachmann–Howard ordinal | Ordinal analysis | Feferman–Schütte ordinal | Bar induction | Veblen function | Peano axioms | Errett Bishop | Large countable ordinal | Ordinal arithmetic | Impredicativity | Second-order arithmetic | First uncountable ordinal | Inaccessible cardinal | Takeuti–Feferman–Buchholz ordinal | Existential quantification | Weakly compact cardinal | Buchholz's ordinal | Mathematical logic | Kripke–Platek set theory | Formal system | Ordinal notation | Reflection principle | Large Veblen ordinal | Well-founded relation | Goodstein's theorem | Nonrecursive ordinal | Cantor's diagonal argument | Kruskal's tree theorem | Cofinality | Small Veblen ordinal