# Category:Candidates for Renaming

Jump to navigation
Jump to search

## Pages in category "Candidates for Renaming"

The following 148 pages are in this category, out of 148 total.

### A

- Absolute Value of Components of Complex Number no greater than Root 2 of Modulus
- Absolutely Continuous Function is Continuous
- Addition of Cross-Relation Equivalence Classes on Natural Numbers is Well-Defined
- Alternative Definition of Ordinal in Well-Founded Theory
- Alternative Differentiability Condition
- Alternative Differentiability Condition/Proof 1
- Automorphism Group of C Over R
- Axiom of Subsets Equivalents
- Axiom:Axiomatization of 1-Based Natural Numbers

### B

### C

- Definition:Canonical Epimorphism
- Cardinal Class is Subset of Ordinal Class
- Cardinal Number Equivalence or Equal to Universe
- Character of Representations over C are Algebraic Integers
- Characterization of Pre-Measures
- Characterization of Prime Ideal
- Class Equal to All its Elements
- Closure is Closed/Power Set
- Commutative Linear Transformation is G-Module Homomorphism
- Compact Hausdorff Space with no Isolated Points is Uncountable/Lemma
- Compact Subsets of T3 Spaces
- Completeness Theorem for Hilbert Proof System Instance 2 and Boolean Interpretations
- Concentration of Lipschitz functionals of Gaussian vector
- Definition:Cone
- Definition:Constructed Semantics/Instance 1/Factor Principle
- Definition:Constructed Semantics/Instance 1/Rule of Addition
- Definition:Constructed Semantics/Instance 1/Rule of Commutation
- Definition:Constructed Semantics/Instance 1/Rule of Idempotence
- Definition:Constructed Semantics/Instance 2/Factor Principle
- Definition:Constructed Semantics/Instance 2/Rule of Addition
- Definition:Constructed Semantics/Instance 2/Rule of Commutation
- Definition:Constructed Semantics/Instance 3/Factor Principle
- Definition:Constructed Semantics/Instance 3/Rule of Commutation
- Definition:Constructed Semantics/Instance 3/Rule of Idempotence
- Definition:Constructed Semantics/Instance 4/Factor Principle
- Definition:Constructed Semantics/Instance 4/Rule of Addition
- Definition:Constructed Semantics/Instance 4/Rule of Idempotence
- Definition:Constructed Semantics/Instance 5/Rule of Addition
- Definition:Constructed Semantics/Instance 5/Rule of Commutation
- Definition:Constructed Semantics/Instance 5/Rule of Idempotence
- Continued Fraction Identities/First/Infinite
- Continuous Function on Closed Interval is Uniformly Continuous
- Contour Integral is Independent of Parameterization
- Convex Set Characterization (Order Theory)

### E

- Embedding Theorem
- Equivalence of Definitions of Logical Consistence
- Equivalence of Semantic Consequence and Logical Implication
- Equivalent Definition for Alternating Bilinear Mapping
- Definition:Equivalent Representation
- Definition:Euclidean Space
- Euler Product
- Every field is a Principal Ideal Domain
- Existence and Uniqueness Theorem for 1st Order IVPs
- Existence of Logarithm
- Exists Integer Below Any Real Number
- Exponents of Primes in Prime Decomposition are Less iff Divisor
- Extended Completeness Theorem for Propositional Tableaus and Boolean Interpretations

### H

### I

- Idempotent Operators
- Immediate Predecessor in Toset is Unique
- Immediate Successor in Toset is Unique
- Increasing Sequence in Ordered Set Terminates iff Maximal Element
- Index of Square Triangular Number from Preceding
- Definition:Induced Representation
- Inequality with Meet Operation is Equvalent to Inequality with Relative Pseudocomplement in Brouwerian Lattice
- Infinite Product of Product of Sequence of n plus alpha over Sequence of n plus beta
- Infinite Set Equivalent to Proper Subset
- Integrability Theorem for Functions Continuous on Open Intervals
- Inverse Image under Embedding of Image under Relation of Image of Point
- Definition:Irreducible Space
- Isomorphism iff Inverse Equals Adjoint

### L

### M

- Meager Sets in Arens-Fort Space
- Measurable Mappings from Product Measurable Space
- Mellin Transform of Heaviside Step Function/Lemma
- Definition:Milligram/Symbol
- Min yields Infimum of Parameters
- Mind the Gap
- Minimal WRT Restriction
- Models for Propositional Logic
- Modulus of Positive Real Number to Complex Power is Positive Real Number to Power of Real Part
- Multiplication Property of Characteristic Functions
- Multiplying Positive Inequalities

### N

- Natural Logarithm Function is Continuous
- Necessary Condition for Integral Functional to have Extremum for given function
- Newton's Identities/Proof 2
- No Membership Loops
- Nonzero natural number is another natural number successor
- Not Preceding implies Approximating Relation and not Preceding
- Numbers of form 31 x 16^n are sum of 16 Powers of 4

### O

### P

- Pi as Sum of Sequence of Reciprocal of Product of Three Consecutive Integers
- Piecewise Continuously Differentiable Function/Definition 2 is Continuous
- Pointwise Lower Limit of Measurable Functions is Measurable
- Definition:Polynomial Function/General Definition
- Definition:Positive Definite Functional
- Power Function Strictly Preserves Ordering in Ordered Group
- Power Sets are Equinumerous
- Prime Divisors of Cyclotomic Polynomials
- Definition:Principle of Stationary Action
- Product as Limit
- Product of Rational Numbers is Rational
- Pythagorean Theorem (Hilbert Space)

### R

### S

- Simple Variable End Point Problem
- Smallest Element WRT Restricted Ordering
- Strictly Increasing Infinite Sequence of Integers is Cofinal in Natural Numbers
- Definition:Strong
- Sturm-Liouville Problem
- Subring Module/Special Case
- Subset of Abelian Group Generated by Product of Element with Inverse Element is Subgroup
- Definition:Substitution (Mathematical Logic)
- Substitution for Equivalent Subformula is Equivalent
- Successor is Less than Successor
- Successor to Natural Number
- Sufficient Condition for Vector Equals Inverse iff Zero
- Sundry Coset Results