Category:Work To Do
Pages in category "Work To Do"
The following 178 pages are in this category, out of 178 total.
4
A
- Addition of Cross-Relation Equivalence Classes on Natural Numbers is Cancellable
- Addition of Cross-Relation Equivalence Classes on Natural Numbers is Well-Defined
- Additive and Countably Subadditive Function is Countably Additive
- Algebraic Numbers form Field
- Definition:Almost Uniform Convergence
- Axiom:Axiom of Continuity
- Axiom:Axiom of Countable Choice for Finite Sets
- Definition:Axis
C
- Definition:Canonical Epimorphism
- Canonical Epimorphism from Integers by Principal Ideal
- Cantor Space is Totally Separated
- Cardinality is Additive Function
- Cauchy Sequence Converges on Real Number Line
- Cauchy Sequence Converges on Real Number Line/Proof 1
- Centralizer is Normal Subgroup of Normalizer
- Definition:Character (Representation Theory)
- Characterization of Differentiability
- Definition:Choice Function/Use of Axiom of Choice
- Church's Thesis
- Definition:Circumradius
- Template:Citation
- Definition:Closure Operator
- Definition:Cobordism
- Definition:Cobordism/Homotopy
- Definition:Commutative B-Algebra
- Compact First-Countable Space is Sequentially Compact
- Compact Subspace of Linearly Ordered Space
- Compact Subspace of Linearly Ordered Space/Reverse Implication
- Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 2
- Conditions for Internal Group Direct Product
- Definition:Conjugate Point/wrt original Functional
- Continued Fraction Expansion of Irrational Square Root
- Continuous Image of Path-Connected Set is Path-Connected
- Continuous Mapping to Topological Product
- Definition:Corresponding Conditional
- Cross-Relation Equivalence Classes on Natural Numbers are Cancellable for Addition
- Definition:Curve
D
E
- Elementary Matrix is Invertible
- Equality implies Substitution
- Equivalence of Definitions of Infimum of Real-Valued Function
- Equivalence of Semantic Consequence and Logical Implication
- Equivalent Characterizations of Abelian Group
- Definition:Error
- Estimation Lemma
- Book:Euclid/The Elements
- Book:Euclid/The Elements/Translations and Editions
- Definition:Euler Characteristic of Finite Graph
F
G
H
I
- Definition:Indexed Iterated Binary Operation
- Definition:Indexed Iterated Binary Operation/Magma
- Induction on Well-Ordered Integral Domain
- Integral Power Function is Bijective iff Index is Odd
- Inverse of Inverse/Group
- Definition:Iterated Binary Operation
- Definition:Iterated Binary Operation over Finite Set
J
L
M
- Definition:Magma of Sets
- Definition:Major
- Mappings to Algebraic Structure form Similar Algebraic Structure
- Mappings to R-Algebraic Structure form Similar R-Algebraic Structure
- Markov's Inequality
- Measurable Sets form Algebra of Sets
- Method of the Auxiliary Hypothesis
- Definition:Minor
- Definition:Morphism
- Multiplication of Cross-Relation Equivalence Classes on Natural Numbers is Well-Defined
N
- Necessary and Sufficient Condition for Quadratic Functional to be Positive Definite/Dependent on N Functions
- Necessary Condition for Integral Functional to have Extremum for given function/Dependent on N Functions
- Non-Square Positive Integers not Sum of Square and Prime
- Nonnegative Quadratic Functional implies no Interior Conjugate Points
O
P
- P-Product Metric on Real Vector Space is Metric
- P-Product Metrics on Real Vector Space are Topologically Equivalent
- Definition:Pluperfect Digital Invariant
- Definition:Pointwise Inequality
- Definition:Polynomial
- Definition:Polynomial Function (Analysis)
- Positive Integers not Expressible as Sum of Fewer than 19 Fourth Powers
- Definition:Power (Algebra)/Real Number/Definition 1
- Definition:Predicate Logic
- Prime Element iff Generates Principal Prime Ideal
- Product Rule for Counting
- Properties of Orthogonal Projection
- Axiom:Propositions of Incidence
R
- Rank Plus Nullity Theorem
- Rational Numbers with Denominators Coprime to Prime under Addition form Group
- Real Numbers are Uncountable/Cantor's Diagonal Argument
- Real Numbers are Uncountable/Cantor's First Proof
- Region Less One Point is Region
- Relationship between Transitive Closure Definitions
- Ring of Integers has no Zero Divisors
S
- Sequentially Compact Metric Space is Totally Bounded/Proof 2
- Set Difference is Set
- Set of Finite Subsets of Countable Set is Countable
- Definition:Sign
- Definition:Sign (Mathematical Theory)
- Definition:Significant Value
- Definition:Similar Figures
- Definition:Simple Function
- Definition:Smooth Real Function
- Standard Machinery
- Definition:Standard Representation of Simple Function
- Strictly Precedes is Strict Ordering
- Sturm-Liouville Problem
- Subset of Countably Infinite Set is Countable
- Sufficient Conditions for Weak Extremum
- Sum of 2 Squares in 3 Distinct Ways
- Sum of Möbius Function over Divisors
- Definition:Supremum Seminorm
- Symmetric Difference with Intersection forms Ring
T
- Definition:Tarski's Axioms
- Definition:Tarski's Geometry
- Tarski-Vaught Test
- Definition:Thabit Prime/Sequence
- Definition:Theory
- Topological Space is Quasiuniformizable
- Definition:Topology Generated by Synthetic Basis
- Definition:Topology Generated by Synthetic Basis/Definition 2
- Definition:Transitive Closure (Set Theory)
- Definition:Two (Boolean Algebra)
