Category:Tidy

A

• Ax-Grothendieck Theorem

B

• Basel Problem/Proof 1
• Bertrand's Theorem
• ProofWiki:Books/Gaisi Takeuti/Introduction to Axiomatic Set Theory
• ProofWiki:Books/Serge Lang/Complex Analysis
• ProofWiki:Books/Walter Rudin/Real and Complex Analysis
• Boubaker's Theorem
• Bretschneider's Formula

C

• Canonical Injection into Cartesian Product of Modules
• Cardinality of Infinite Union of Infinite Sets
• Cauchy Sequence Converges on Real Number Line/Proof 2
• Cauchy's Integral Formula for Derivatives
• Cauchy-Euler Equation
• Cauchy-Goursat Theorem
• Cauchy-Hadamard Theorem
• Cauchy-Riemann Equations/Sufficient Condition
• Cayley-Menger Determinant
• Central Limit Theorem
• Chapman-Kolmogorov Equation
• Character of Representations over C are Algebraic Integers
• Characterisation of Local Rings
• Characterisation of Non-Archimedean Absolute Values
• Characterisation of Totally Ordered Fields
• Characterization of Affine Transformations
• Characterization of Integrable Functions
• Characterization of Lower Semicontinuity
• Axiom:Class Comprehension Schema
• Definition:Class/Zermelo-Fraenkel
• Classical Probability is Probability Measure
• Classification of Compact Two-Manifolds
• Closure for Any Finite List of Relations and Operations
• CNF Satisfiability Problem
• CNF Satisfiability Problem is NP-Complete
• Commutative Linear Transformation is G-Module Homomorphism
• Compact Subspace of Linearly Ordered Space
• Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 1
• Completed Riemann Zeta Function has Order One
• Completion Theorem (Metric Space)
• Composition of Affine Transformations is Affine Transformation
• Conjunction has no Inverse
• Definition:Connected (Topology)/Subset
• Consecutive Subsets of N
• Construction of Outer Measure
• Continued Fraction Expansion of Irrational Square Root
• Continuity Equation
• Continuous Image of Connected Space is Connected/Proof 2
• Continuous Nowhere Differentiable Function
• Continuum Property implies Well-Ordering Principle
• Convergence of Dirichlet Series with Bounded Coefficients
• Convergence of Dirichlet Series with Bounded Partial Sums
• Cook-Levin Theorem
• Cosine of 18 Degrees
• Cosine of Sum/Proof 4
• Countable Compactness Preserved under Continuous Surjection
• Countable Stability Implies Every Stability
• Countable Union of Finite Sets is Countable
• Cover of Interval By Closed Intervals is not Pairwise Disjoint
• Cowen-Engeler Lemma
• Cyclic Groups of Order pq
• Cyclicity Condition for Units of Ring of Integers Modulo m

D

• Deletion of Terms from a Sequence
• Derivative of Complex Composite Function
• Determinant of Triangular Matrix
• Deterministic Time Hierarchy Theorem
• User:Dfeuer/Cantor-Bendixson Derivative
• User:Dfeuer/Compact Subspace of Linearly Ordered Space/Converse Proof 2
• User:Dfeuer/Complete Totally Ordered Group is Archimedean

D cont.

• User:Dfeuer/Convex Component of Open Set in GO-Space is Open
• User:Dfeuer/Lexicographic Ordering is Ordering
• User:Dfeuer/Lexicographic Ordering of Product of Total Orderings is Total Ordering
• User:Dfeuer/Order Completion is Minimal
• User:Dfeuer/Totally Ordered Group with Order Topology is Topological Group
• Difference Quotient
• Directed Hamilton Cycle Problem is NP-complete
• Dirichlet's Test for Uniform Convergence
• Disjoint Compact Sets in Hausdorff Space have Disjoint Neighborhoods
• Disjoint Compact Sets in Hausdorff Space have Disjoint Neighborhoods/Lemma
• Distance from Subset of Real Numbers
• Definition:Divide (Model Theory)

E

• Edges of Polyhedra have no Curvature
• Eigenvalues of Normal Operator have Orthogonal Eigenspaces
• Einstein's Mass-Energy Equation
• Einstein's Mass-Velocity Equation
• Elements in Coset iff Product with Inverse in Coset
• Enlarging a Subgroup
• Epsilon Induction
• Equality of Polynomials
• Equation of Circle
• Equidecomposable Subsets
• Equivalence of Axiom of Countable Choice Forms
• Equivalence of Definitions for Sine and Cosine
• Equivalence of Definitions of Adherent Point
• Equivalence of Definitions of Algebraically Closed Field
• Equivalence of Definitions of Arborescence
• Equivalence of Definitions of Gamma Function
• Equivalence of Definitions of Generalized Ordered Space/One implies Three
• Equivalence of Definitions of Generalized Ordered Space/Three implies One
• Equivalence of Definitions of Generalized Ordered Space/Two implies One
• Equivalence of Definitions of Initial Topology
• Equivalence of Definitions of Minimal Infinite Successor Set
• Equivalence of Definitions of Tangent Vector
• Equivalence of Local Uniform Convergence and Compact Convergence
• Equivalence of Topological Group Definitions
• Equivalence of Transitive Closure Definitions (Relation Theory)/Union of Compositions is Smallest
• Definition:Equivalent (Absolute Values)
• Equivalent Absolute Values
• Equivalent Definition for Hereditarily Compact
• Equivalent Definition of Irreducible G-module
• Equivalent Definitions of Integral Dependence
• Euclidean Topology is Tychonoff Topology
• Euler Triangle Formula
• Euler's Formula/Proof 4
• Euler's Number: Limit of Sequence implies Limit of Series
• Euler-Binet Formula/Proof 2
• Every Set in Von Neumann Universe
• Existence and Uniqueness Theorem for 1st Order IVPs
• Existence of Logarithm
• Existence of Minimal Infinite Successor Set
• Existence of Non-Measurable Sets
• Existence of Positive Root/Negative Exponent
• Existence of Positive Root/Positive Exponent
• Existence-Uniqueness Theorem for Homogeneous First-Order Differential Equation
• Exponential Tends to Zero and Infinity
• Expression of Vector as Linear Combination from Basis is Unique/General Result
• Extendability Theorem for Derivatives Continuous on Open Intervals
• Definition:Exterior Derivative
• Definition:Extremal Length
• Extremal Length of Composition
• Extremal Length of Composition/Argument for Case of Zero values
• Extreme Value Theorem

F

• Fatou's Lemma for Integrals/Positive Measurable Functions
• Field Adjoined Set
• Field adjoined transcendental
• Field of Uncountable Cardinality K has Transcendence Degree K

F cont.

• Filter on Product of Hausdorff Spaces Converges iff Projections Converge
• Filter on Product Space Converges iff Projections Converge
• Finite Chain is Order-Isomorphic to Finite Ordinal
• Finite Character for Sets of Mappings
• Finite Field Extension is Algebraic
• Finite Subspace of Dense-in-itself Metric Space is not Open
• Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension/Lemma
• Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension/Proof 1
• Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension/Proof 2
• Five Color Theorem
• Axiom:Five-Segment Axiom
• Definition:Fourier Transform
• Friedrichs' Inequality
• Frobenius's Theorem
• Functional Equation for Riemann Zeta Function
• Fundamental Theorem of Algebra/Proof 2
• Fundamental Theorem of Algebra/Proof 3
• Fundamental Theorem of Galois Theory
• Furstenberg's Proof of Infinitude of Primes

G

• General Associativity Theorem/Formulation 3
• General Linear Group to Determinant is Homomorphism
• General Stokes' Theorem
• Definition:Generalized Inverse Gaussian Distribution
• Generating Function for Boubaker Polynomials
• GO-Space Embeds Densely into Linearly Ordered Space
• Green's Theorem
• Definition:Grothendieck Universe
• Group Action on Sets with k Elements
• Group Direct Product of Cyclic Groups
• Gröbner Basis
• Definition:Gödel-Bernays Axioms

H

• Hahn-Banach Theorem
• Hall's Marriage Theorem/Finite Set
• Hall's Marriage Theorem/General Set
• Hardy-Littlewood Circle Method
• Harmonic Properties of Schwarz Functions
• Hartogs' Theorem
• Hausdorff Paradox
• Hausdorff Space is Hereditarily Compact iff Finite
• Heine-Borel iff Dedekind Complete
• Heine-Borel Theorem/Dedekind-Complete Space
• Hermitian Operators have Orthogonal Eigenvectors
• Hermitian Operators have Real Eigenvalues
• Hilbert's Nullstellensatz
• Definition:Homology Group
• Homomorphism of Chain Complexes induces Homomorphism of Homology
• Homotopic Chain Maps Induce Equal Maps on Homology
• Homotopy Group is Group
• Hölder's Inequality/General

I

• Idempotent Operators
• Image of Interval by Derivative
• Implications of Stokes' Theorem
• Definition:Implicit Function
• Induced Relation Generates Order Isomorphism
• Definition:Induced Representation
• Definition:Inequality
• Infinite Ramsey's Theorem
• Infinite Ramsey's Theorem Implies Finite Ramsey's Theorem
• Ingham's Theorem on Convergent Dirichlet Series
• Initial Part of WFF of PropLog is not WFF
• Inner Limit in Hausdorff Space by Open Neighborhoods
• Inner Limit in Hausdorff Space by Set Closures
• Inner Limit of Sequence of Sets in Normed Space
• Inscribed Angle Theorem/Proof 2
• Integrability Theorem for Functions Continuous on Open Intervals
• Integral Logarithm: Non-Convergent Series