# Category:Candidates for Renaming

Jump to navigation
Jump to search

It has been suggested that the following pages receive better names. See the `{{rename}}`

template.

## Pages in category "Candidates for Renaming"

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

### 1

### A

- Absolute Value of Components of Complex Number no greater than Root 2 of Modulus
- Alternative Definition of Ordinal in Well-Founded Theory
- Analytic Continuation of Riemann Zeta Function using Jacobi Theta Function
- Axiom:Axiom of Specification/Class Theory
- Axiom of Subsets Equivalents
- Axiom:Axiomatization of 1-Based Natural Numbers

### B

### C

- Definition:Canonical Epimorphism
- Cardinal Number Equivalence or Equal to Universe
- Character of Representations over C are Algebraic Integers
- Characterization of Continuity of Linear Functional in Weak-* Topology
- Characterization of Prime Ideal
- Closure is Closed/Power Set
- Definition:Code Number for Integer
- 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
- Conjugation of Bijection between Symmetric Groups is Isomorphism
- 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
- Constructible numbers
- Continued Fraction Identities/First/Infinite
- Definition:Convergent Net/Cluster Point
- Convergent Series can be Added Term by Term
- Definition:Convex Set (Vector Space)/Line Segment
- Convex Set Characterization (Order Theory)
- Cyclic Group of Order 8 is not isomorphic to Group of Units of Integers Modulo n

### D

### E

- Equivalence of Definitions for Alternating Bilinear Mapping on Ring of Characteristic Not 2
- Equivalence of Definitions of Logical Consistence
- Equivalence of Definitions of Norm of Linear Functional/Corollary
- Equivalence of Semantic Consequence and Logical Implication
- Definition:Euclidean Space
- Euler Phi Function by Argument is Injective
- Exist Term in Arithmetic Sequence Divisible by Number
- Existence and Uniqueness Theorem for 1st Order IVPs
- Exists Integer Below Any Real Number
- Exists Subset which is not Element
- Exponents of Primes in Prime Decomposition are Less iff Divisor
- Expression for bilinear function
- Extended Completeness Theorem for Propositional Tableaus and Boolean Interpretations

### H

### I

- Increasing Sequence in Ordered Set Terminates iff Maximal Element
- Index Laws for Monoids/Product of Indices
- Index Laws for Monoids/Sum of Indices
- Index of Square Triangular Number from Preceding
- Definition:Induced Representation
- Infinite Product of Product of Sequence of n plus alpha over Sequence of n plus beta
- Integrability Theorem for Functions Continuous on Open Intervals
- Definition:Invariant Set of a Map
- Inverse Image under Embedding of Image under Relation of Image of Point
- Inverse of a Line Through Circle Center is a Line
- Invertibility of Identity Minus Operator

### L

### M

- Meager Sets in Arens-Fort Space
- Measurable Mappings from Product Measurable Space
- Measures in Jordan Decomposition of Complex Measure are Finite
- Mellin Transform of Heaviside Step Function/Lemma
- Definition:Metric/Shift of Finite Type
- Minimal WRT Restriction
- Models for Propositional Logic
- Modulus of Positive Real Number to Complex Power is Positive Real Number to Power of Real Part

### N

- N over 2 times Reciprocal of 1 Plus n Squared x Squared to the Power of 3/2 Delta Sequence
- Necessary Condition for Integral Functional to have Extremum for given function
- Definition:Negatively Invariant Set of a Map
- Definition:Neighborhood (Complex Analysis)
- No Membership Loops
- Definition:Normed Dual Space/Linguistic Note
- Not Preceding implies Approximating Relation and not Preceding
- Numbers with All Digits Have a Common Factor are Divisible by This Factor

### O

### P

- Definition:Pair Coding
- Phi is 8 has only 5 solutions
- Piecewise Continuously Differentiable Function/Definition 2 is Continuous
- Definition:Poincaré Plane
- Definition:Polynomial Function/General Definition
- Definition:Positively Invariant Set of a Map
- Preceding iff Join equals Larger Operand
- Prime Divisors of Cyclotomic Polynomials
- Product with Degenerate Linear Transformation is Degenerate
- Projective Resolution Exists Iff Enough Projectives
- Properties of Join
- Definition:Property of Morphisms Stable Under Composition
- Definition:Property of Morphisms Stable Under Pullback
- Pullback Commutes with Generating Partition

### R

### S

- Definition:Scalar Field (Linear Algebra)
- Semantic Consequence Union Negation
- Separable Degree is At Most Equal To Degree
- Separable Degree of Field Extensions is Multiplicative
- Sextuple Angle Formulas/Sine/Corollary
- Simple Variable End Point Problem
- Smallest Element WRT Restricted Ordering
- Spectrum of Self-Adjoint Bounded Linear Operator is Real and Closed
- Strictly Increasing Infinite Sequence of Integers is Cofinal in Natural Numbers
- Sturm-Liouville Problem
- 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
- Supremum Inequality for Ordinals
- Definition:Supremum Norm/Continuous on Closed Interval Real-Valued Function
- System of Linear Equations as Continuous Linear Transformation