Mathematical logic | Large cardinals

Equiconsistency

In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. In this case, they are, roughly speaking, "as consistent as each other". In general, it is not possible to prove the absolute consistency of a theory T. Instead we usually take a theory S, believed to be consistent, and try to prove the weaker statement that if S is consistent then T must also be consistent—if we can do this we say that T is consistent relative to S. If S is also consistent relative to T then we say that S and T are equiconsistent. (Wikipedia).

Video thumbnail

How To Construct An Equilateral Triangle

Complete videos list: http://mathispower4u.yolasite.com/ This video will show how to construct an equilateral triangle with a compass and straight edge.

From playlist Triangles and Congruence

Video thumbnail

Equilateral Triangle / Equiangular Triangle

I introduce and define equilateral triangles and equiangular triangles. I then work through 3 examples involving the lengths of sides and angles. EXAMPLES AT 2:55 8:14 15:52 Find free review test, useful notes and more at http://www.mathplane.com If you'd like to make a donation to suppo

From playlist Geometry

Video thumbnail

Geometry - Basic Terminology (12 of 34) Definition of Polygons (Continued)

Visit http://ilectureonline.com for more math and science lectures! In this video I will give examples of equiangular, quadrilateral, and regular polygons. Next video in the Basic Terminology series can be seen at: http://youtu.be/QpluDB1YApQ

From playlist GEOMETRY 1 - BASIC TERMINOLOGY

Video thumbnail

What is an equiangular triangle

👉 Learn the essential definitions of triangles. A triangle is a polygon with three sides. Triangles are classified on the basis of their angles or on the basis of their side lengths. The classification of triangles on the bases of their angles are: acute, right and obtuse triangles. The cl

From playlist Types of Triangles and Their Properties

Video thumbnail

Examples: Using the Properties of Equilateral Triangles to Determine Values

Complete videos list: http://mathispower4u.yolasite.com/ This video will show example problems of how to use the properties of equilateral triangles to solve for unknown values.

From playlist Triangles and Congruence

Video thumbnail

Geometry - Ch. 1: Basic Concepts (29 of 49) Equilateral, Equiangular, or Regular Polygon?

Visit http://ilectureonline.com for more math and science lectures! In this video I will show how to identify equilateral, equiangular or regular polygons. Equilateral: all sides are congruent. Equiangular: all angles in the interior are congruent. Regular polygon: is convex, equilateral,

From playlist GEOMETRY CH 1 BASIC CONCEPTS

Video thumbnail

What is an equilateral triangle

👉 Learn the essential definitions of triangles. A triangle is a polygon with three sides. Triangles are classified on the basis of their angles or on the basis of their side lengths. The classification of triangles on the bases of their angles are: acute, right and obtuse triangles. The cl

From playlist Types of Triangles and Their Properties

Video thumbnail

Proof: The Equilateral Triangle Theorem

Complete videos list: http://mathispower4u.yolasite.com/ This video provides a two column proof of the equilateral triangle theorem.

From playlist Triangles and Congruence

Video thumbnail

Eteinne Farcot - The Multiradial Represenation of IUT

http://www.nottingham.ac.uk/cmmb/people/etienne.farcot

From playlist Mathematical Shenanigans

Video thumbnail

Finding Eigenvalues and Eigenvectors

In studying linear algebra, we will inevitably stumble upon the concept of eigenvalues and eigenvectors. These sound very exotic, but they are very important not just in math, but also physics. Let's learn what they are, and how to find them! Script by Howard Whittle Watch the whole Math

From playlist Mathematics (All Of It)

Related pages

Mathematical object | Set theory | Primitive recursive arithmetic | Mahlo cardinal | Hilbert's program | Reverse mathematics | Theory (mathematical logic) | David Hilbert | Forcing (mathematics) | Robinson arithmetic | Large cardinal | Continuum hypothesis | Second-order arithmetic | Inaccessible cardinal | Consistency | Axiom of determinacy | Weakly compact cardinal | Kurepa tree | Aronszajn tree | The Higher Infinite | Mathematical logic | Arithmetic | Metamathematics