|
|
|
References to 'implication'
|
|
|
1.
$AB$ and $BA$ are almost isospectral
by asteroid
2.
$C^*$-algebra
by asteroid
3.
$m$-system
by CWoo
4.
$n$-chain
by mps
5.
$y^2= x^3-2$
by CWoo
6.
$\Diamond$
by Henry
7.
$\Diamond$ is equivalent to $\clubsuit$ and continuum hypothesis
by Henry
8.
$\epsilon$-transition
by CWoo
9.
$\Omega$-stability theorem
by Koro
10.
(closed) walk / trek / trail / path
by marijke
11.
(path) connectness as a homotopy invariant
by joking
12.
a connected normal space with more than one point is uncountable
by azdbacks4234
13.
a finite integral domain is a field
by yark
14.
a functor is an equivalence iff it is fully faithful and essentially surjective
by CWoo
15.
a group homomorphism is injective iff the kernel is trivial
by alozano
16.
a group of even order contains an element of order 2
by azdbacks4234
17.
a pathological function of Riemann
by pahio
18.
a series related to harmonic series
by pahio
19.
a space $\mathnormal{X}$ is Hausdorff if and only if $\Delta(X)$ is closed
by mathcam
20.
abelian group is divisible if and only if it is an injective object
by joking
21.
abelian groups form an abelian category, proof that
by mps
22.
abelian variety
by archibal
23.
absolute convergence of integral and boundedness of derivative
by pahio
24.
absolute value in a vector lattice
by CWoo
25.
absorbing set
by CWoo
26.
abstract family of languages
by CWoo
27.
additive inverse of a sum in a ring
by rspuzio
28.
additive inverse of the zero in a ring
by aplant
29.
adjoint
by Koro
30.
adjugate
by rmilson
31.
affine combination
by CWoo
32.
affine geometry
by CWoo
33.
Albert Einstein
by PrimeFan
34.
Alexander trick
by juanman
35.
algebraic and geometric multiplicity do not coincide
by matte
36.
algebraic geometry
by archibal
37.
algebraic sets and polynomial ideals
by mathcam
38.
all bases for a vector space have the same cardinality
by CWoo
39.
all norms on finite-dimensional vector spaces are equivalent
by jirka
40.
alternative definition of algebraically closed
by polarbear
41.
alternative definition of category
by rspuzio
42.
alternative definitions of countable
by CWoo
43.
an associative quasigroup is a group
by CWoo
44.
an integral domain is lcm iff it is gcd
by CWoo
45.
an outline of Hilbert's programme
by gribskoff
46.
analytic continuation
by rspuzio
47.
analytic continuation of gamma function
by pahio
48.
analytic continuation of Riemann zeta (using integral)
by rspuzio
49.
analytic set
by jirka
50.
angle between two planes
by CWoo
51.
another proof of Dini's theorem
by gumau
52.
another proof that a number is polite iff it is positive and not a positive power of $2$
by CWoo
53.
antisymmetric
by rmilson
54.
application of Cauchy criterion for convergence
by pahio
55.
application of logarithm series
by pahio
56.
arbitrary join
by CWoo
57.
Archimedean ordered fields are real
by rspuzio
58.
argument of product and quotient
by pahio
59.
Aristotelian logic
by Daume
60.
asymptotics of central binomial coefficient
by rspuzio
61.
attaching pullback squares
by mps
62.
average value of function
by pahio
63.
axiom of choice
by GrafZahl
64.
axiom of dependent choices
by CWoo
65.
axiom schema of separation
by Sabean
66.
Banach limit
by stevecheng
67.
basis-free definition of determinant
by mps
68.
Bergman space
by jirka
69.
Bernoulli polynomial
by KimJ
70.
Bernoulli polynomials and numbers
by pahio
71.
best approximation in inner product spaces
by asteroid
72.
beyond formalism: G\"{o}del's incompleteness
by gribskoff
73.
bilinear form
by rmilson
74.
Boolean algebra homomorphism
by CWoo
75.
Boolean prime ideal theorem
by CWoo
76.
Boolean subalgebra
by CWoo
77.
Borsuk-Ulam theorem
by RevBobo
78.
bound for the rank of an elliptic curve
by alozano
79.
boundary of a closed set is nowhere dense
by neapol1s
80.
bounded linear extension of an operator
by asteroid
81.
bounded linear functionals on $L^p(\mu)$
by azdbacks4234
82.
bounded linear functionals on $L^\infty(\mu)$
by gel
83.
bounded operator
by bwebste
84.
Bourbaki, Nicolas
by Daume
85.
Brandt groupoid
by CWoo
86.
Brauer's ovals theorem
by Andrea Ambrosio
87.
Burnside basis theorem
by alozano
88.
Cantor-Bendixson derivative
by CWoo
89.
Carath\'eodory's lemma
by gel
90.
categories of Polish groups and Polish spaces
by bci1
91.
category with arbitrary products and pullbacks is complete
by CWoo
92.
Cauchy integral theorem
by rmilson
93.
Cauchy-Schwarz inequality
by drini
94.
center of a Hausdorff topological group is closed
by asteroid
95.
characteristic function
by Koro
96.
characterization of a Kleene algebra
by CWoo
97.
characterization of almost convex functions
by rspuzio
98.
characterization of free submonoids
by Ziosilvio
99.
characterization of full families of groups
by joking
100.
characterization of maximal ideals of the algebra of continuous functions on a compact set
by rspuzio
101.
characterization of ordered groups of rank one
by rspuzio
102.
characterization of prime ideals
by GrafZahl
103.
characterizations of integral
by pahio
104.
Chernoff-Cramer bound
by Andrea Ambrosio
105.
Chinese remainder theorem in terms of divisor theory
by pahio
106.
Chinese remainder theorem proof
by vampyr
107.
choice function
by yark
108.
Church-Rosser property
by CWoo
109.
class number divisibility in extensions
by alozano
110.
class structure
by CWoo
111.
classes of ordinals and enumerating functions
by mathcam
112.
classification of Platonic solids
by mps
113.
closure space
by CWoo
114.
Cochran's theorem
by CWoo
115.
colorings of plane graphs
by marijke
116.
commensurable numbers
by pahio
117.
common formulas in calculus of differential forms
by juanman
118.
commutativity theorems on rings
by CWoo
119.
commuting matrices
by Algeboy
120.
comparison between Lebesgue and Riemann Integration
by Mathprof
121.
complete bipartite graph
by yark
122.
complete group
by CWoo
123.
complete uniform space
by CWoo
124.
completely Hausdorff
by PrimeFan
125.
completely separated
by CWoo
126.
complex arithmetic-geometric mean
by rspuzio
127.
complex multiplication
by alozano
128.
complex sine and cosine
by pahio
129.
composition algebra
by Algeboy
130.
composition preserves chain condition
by Henry
131.
computer representation of integers
by rm50
132.
concavity of sine function
by rspuzio
133.
condition for power basis
by pahio
134.
conditional distribution of multi-variate normal variable
by stevecheng
135.
conditional expectations are uniformly integrable
by gel
136.
congruence
by mclase
137.
congruence axioms
by CWoo
138.
congruence in algebraic number field
by pahio
139.
congruence lattice
by CWoo
140.
congruence of arbitrary degree
by pahio
141.
connected locally compact topological groups are $\sigma$-compact
by asteroid
142.
connection
by rspuzio
143.
consistent estimator
by CWoo
144.
constant functions and continuity
by mathcam
145.
constructing automata from regular languages
by CWoo
146.
constructing well ordered sets
by CWoo
147.
construction of Dirac delta function
by djao
148.
contact manifold
by RevBobo
149.
continuity and convergent nets
by azdbacks4234
150.
continuity of convex functions
by pbruin
151.
continuity of natural power
by pahio
152.
continuous almost everywhere versus equal to a continuous function almost everywhere
by Wkbj79
153.
continuous epimorphism of compact groups preserves Haar measure
by asteroid
154.
continuous functional calculus
by asteroid
155.
continuous relation
by CWoo
156.
contrapositive
by yark
157.
convergence in probability
by CWoo
158.
convergent series
by yark
159.
convergent series where not only$~a_n$ but also $na_n$ tends to 0
by pahio
160.
convergents to a continued fraction
by rm50
161.
converse
by pahio
162.
converse of Euler's homogeneous function theorem
by pahio
163.
convex function
by matte
164.
convex subgroup
by CWoo
165.
corollaries of basic theorem on ordered groups
by rspuzio
166.
corollary of B\'ezout's lemma
by pahio
167.
cotangent bundle
by rspuzio
168.
countably infinite
by vampyr
169.
covariance
by Koro
170.
criteria for a poset to be a complete lattice
by CWoo
171.
criterion for interchanging summation and integration
by rspuzio
172.
criterion of N\'eron-Ogg-Shafarevich
by alozano
173.
cubic reciprocity law
by mathcam
174.
curvature determines the curve
by pahio
175.
cyclic group
by yark
176.
cyclic rings and zero rings
by Wkbj79
177.
Darboux's theorem (symplectic geometry)
by bwebste
178.
de Rham cohomology
by pbruin
179.
decomposable homomorphisms and full families of groups
by joking
180.
Dedekind domain
by mathcam
181.
Dedekind-finite
by CWoo
182.
defect theorem
by Ziosilvio
183.
dense ring of linear transformations
by CWoo
184.
dependence relation
by CWoo
185.
derivation of Euler-Lagrange differential equation (elementary)
by rspuzio
186.
derivation of integral representations of Jacobi $\vartheta$ functions
by rspuzio
187.
derivation of mutual information
by tdunning
188.
derivation of properties of regular open set
by CWoo
189.
derivation of properties on interior operation
by CWoo
190.
derivation of Pythagorean triples
by pahio
191.
derivative of exponential function
by rspuzio
192.
derived Boolean operations
by CWoo
193.
derived functor
by mathcam
194.
determinant as a multilinear mapping
by rmilson
195.
determinant inequalities
by Andrea Ambrosio
196.
determination of Fourier coefficients
by pahio
197.
determining the continuations of exponent
by pahio
198.
diamond lemma
by CWoo
199.
differentiable function
by Koro
200.
digital root
by PrimeFan
201.
dimension of a poset
by CWoo
202.
dimension of the special orthogonal group
by stevecheng
203.
discrete time Fourier transform in relation with continuous time Fourier transform
by fernsanz
204.
distributive inequalities
by CWoo
205.
divisibility by prime number
by pahio
206.
divisibility by product
by pahio
207.
divisor as factor of principal divisor
by pahio
208.
divisor function is multiplicative, the
by yark
209.
domain
by CWoo
210.
Doob's inequalities
by gel
211.
double series
by PrimeFan
212.
dual isogeny
by mathcam
213.
duality principle
by mathcam
214.
e is irrational
by rspuzio
215.
e is transcendental
by pahio
216.
economic context of Egyptian fractions
by milogardner
217.
effective equivalence relation
by CWoo
218.
Egyptian fraction
by milogardner
219.
eigenvalue (of a matrix)
by mathcam
220.
Eilenberg-MacLane space
by antonio
221.
Einstein summation convention
by PrimeFan
222.
elementary results about multiplicative functions and convolution
by Wkbj79
223.
elliptic curve
by djao
224.
empty set
by djao
225.
enumerating algebras
by Algeboy
226.
enumerative combinatorics
by mps
227.
epi
by CWoo
228.
equality of complex numbers
by pahio
229.
equivalence of Kuratowski's lemma and Zorn's lemma
by CWoo
230.
equivalence of Zorn's lemma and the axiom of choice
by Henry
231.
equivalent
by sleske
232.
equivalent characterizations of Dedekind domains
by gel
233.
equivalent conditions for uniform integrability
by gel
234.
equivalent machines
by CWoo
235.
equivalent regular expressions
by CWoo
236.
equivalent statements of Lindemann-Weierstrass theorem
by CWoo
237.
equivalent valuations
by pahio
238.
ergodic theorem
by Koro
239.
Euclid's lemma proof
by akrowne
240.
Euclidean axiom by Hilbert
by pahio
241.
Euler path
by CWoo
242.
Euler's derivation of the quartic formula
by pahio
243.
Euler's substitutions for integration
by pahio
244.
Eulerian poset
by mps
245.
every normed space with Schauder basis is separable
by asteroid
246.
every ordered field with the least upper bound property is isomorphic to $\mathbb{R}$, proof that
by mps
247.
every permutation has a cycle decomposition
by rspuzio
248.
every vector space has a basis
by GrafZahl
249.
evolute of cycloid
by pahio
250.
exact sequences for modules with finite projective dimension
by joking
251.
example of an Alexandroff space which cannot be turned into a topological group
by joking
252.
example of antisymmetric
by Algeboy
253.
example of converging increasing sequence
by pahio
254.
example of cylindric algebra
by CWoo
255.
example of exact functor
by CWoo
256.
example of false implies true
by Algeboy
257.
example of Fermat's last theorem
by Thomas Heye
258.
example of four exponentials conjecture
by archibal
259.
example of free module
by mathcam
260.
example of groups of order pq
by jh
261.
example of improper integral
by pahio
262.
example of Lipschitz condition
by me_and
263.
example of multiply transitive
by Algeboy
264.
example of planar graph with two different embeddings into the plane
by archibal
265.
example of quantifier
by hkkass
266.
example of solving the heat equation
by pahio
267.
example of universe of finite sets
by rspuzio
268.
examples of 1-automorphic numbers
by PrimeFan
269.
examples of contrapositive
by alozano
270.
examples of epis
by CWoo
271.
existence of extensions of field isomorphisms to splitting fields
by azdbacks4234
272.
exponential function never vanishes
by pahio
273.
extended norm
by rspuzio
274.
extension of a poset
by CWoo
275.
extension of Krull valuation
by pahio
276.
exterior algebra
by rmilson
277.
extreme point
by jirka
278.
factorization system
by CWoo
279.
faithful functor
by CWoo
280.
Farkas lemma, proof of
by CWoo
281.
Fermat numbers
by drini
282.
Fermat's little theorem
by CWoo
283.
Fine and Wilf's theorem on words
by Ziosilvio
284.
finite changes in convergent series
by pahio
285.
finite difference
by CWoo
286.
finite fields of sets
by rspuzio
287.
finite nilpotent groups
by Algeboy
288.
finite projective plane
by Mathprof
289.
finite projective planes have $q^2+q+1$ points and $q^2+q+1$ lines
by marijke
290.
finitely generated modules over a principal ideal domain
by yark
291.
fix
by Wkbj79
292.
forcings are equivalent if one is dense in the other
by Henry
293.
formal congruence
by pahio
294.
formal power series
by AxelBoldt
295.
formally real field
by CWoo
296.
fourth isomorphism theorem
by bwebste
297.
fractional part
by Wkbj79
298.
free Lie algebra
by Algeboy
299.
free modules over a ring which is not a PID
by joking
300.
free objects in concrete categories
by joking
301.
from Hilbert's tenth problem to G\"{o}del's trichotomy
by gribskoff
302.
fully T4
by Mathprof
303.
function differentiable at only one point
by matte
304.
functional analysis
by PrimeFan
305.
functional equation for the Riemann Xi function
by rspuzio
306.
fundamental character of level $n$ for the inertia group at $p$
by alozano
307.
fundamental homomorphism theorem
by yark
308.
fundamental theorem of arithmetic, proof of the
by mps
309.
fundamental theorem of demography, proof of
by aplant
310.
F\"urstenberg's proof of the infinitude of primes
by mathcam
311.
Galois group of a biquadratic extension
by rm50
312.
Galois representation
by alozano
313.
generalization of a pseudometric
by CWoo
314.
generalized toposes with many-valued logic subobject classifiers
by bci1
315.
generator for the mutiplicative group of a field
by polarbear
316.
generators of inverse ideal
by pahio
317.
generatrices of one-sheeted hyperboloid
by pahio
318.
golden ratio
by Mathprof
319.
Graham's number
by PrimeFan
320.
group action
by djao
321.
group actions and homomorphisms
by CWoo
322.
grouplike elements in Hopf algebras
by joking
323.
groupoid and group representations related to quantum symmetries
by bci1
324.
groupoid C*-convolution algebras
by bci1
325.
groupoid representation theorem
by bci1
326.
groups of order pq
by yark
327.
groups with abelian inner automorphism group
by rm50
328.
Gr\"obner basis
by mathcam
329.
G\"{o}del's beta function
by gribskoff
330.
Haar integral
by rspuzio
331.
hairy ball theorem
by rspuzio
332.
Hausdorff space not completely Hausdorff
by drini
333.
Hecke algebra
by olivierfouquetx
334.
heptahedron
by CWoo
335.
hereditary ring
by CWoo
336.
Heron's principle
by pahio
337.
Heyting algebra
by CWoo
338.
Hilbert's $\varepsilon$-operator
by gribskoff
339.
HNN extension
by juanman
340.
holomorphic mapping of curve and tangent
by pahio
341.
homology of the sphere
by mathcam
342.
homomorphism between partial algebras
by CWoo
343.
homotopy invariance
by pbruin
344.
Hopf theorem
by jirka
345.
Hurwitz genus formula
by alozano
346.
hyperbolas orthogonal to ellipses
by pahio
347.
hyperbolic sine integral
by pahio
348.
hyperk\"ahler manifold
by tiphareth
349.
ideal completion of a poset
by CWoo
350.
ideal included in union of prime ideals
by polarbear
351.
idempotency of infinite cardinals
by CWoo
352.
idempotent semiring
by CWoo
353.
identification topology
by rspuzio
354.
if $\sum_{k=1}^\infty a_k$ converges then $a_k\to 0$
by matte
355.
Ihara's theorem
by bwebste
356.
implicational class
by CWoo
357.
in a vector space, $\lambda v = 0$ if and only if $\lambda =0$ or $v$ is the zero vector
by aoh45
358.
incidence geometry
by CWoo
359.
incidence structure
by CWoo
360.
increasing/decreasing/monotone function
by Koro
361.
induced Alexandroff topology on a poset
by joking
362.
induced partial order on an Alexandroff space
by joking
363.
induction
by Daume
364.
inequality of logarithmic and asymptotic density
by kompik
365.
infimum and supremum for real numbers
by matte
366.
infinite descent
by Thomas Heye
367.
infinitude of inverses
by CWoo
368.
inflection points and canonical forms of non-singular cubic curves
by rspuzio
369.
injective and surjective morphisms in concrete categories
by joking
370.
injective function
by drini
371.
integer contraharmonic means
by pahio
372.
integral basis of quadratic field
by pahio
373.
integral of limit function
by pahio
374.
integral related to arc sine
by pahio
375.
integrity characterized by places
by pahio
376.
interpretation of intuitionistic logic by means of functionals
by gribskoff
377.
interpretation of well-formed formulas
by CWoo
378.
intuitionistic logic
by gribskoff
379.
invariant differential form
by asteroid
380.
inverse Laplace transform of derivatives
by pahio
381.
inverse Laplace transform of meromorphic function
by pahio
382.
inverse statement
by Wkbj79
383.
invertible ideal is finitely generated
by pahio
384.
irreducible ideal
by CWoo
385.
irreducible polynomial
by pahio
386.
isosceles trapezoid
by Wkbj79
387.
isosceles triangle
by drini
388.
joint normal distribution
by gel
389.
Julius K\"onig
by WM
390.
juxtaposition of automata
by CWoo
391.
Kahun Papyrus and Arithmetic Progressions
by milogardner
392.
Kempe chain
by marijke
393.
kite
by yark
394.
Kolakoski sequence
by PrimeFan
395.
Kolmogorov zero-one law
by fernsanz
396.
Krull valuation domain
by pahio
397.
K\"onig's lemma
by mps
398.
K\"onig's theorem
by yark
399.
Lagrange multiplier method, proof of
by aplant
400.
Lagrange multipliers on manifolds
by stevecheng
401.
Laplace equation in cylindrical coordinates
by bloftin
402.
Laplace integrals
by pahio
403.
Laplace transform of $\frac{f(t)}{t}$
by pahio
404.
Laplace transform of derivative
by pahio
405.
Lasker-Noether theorem
by CWoo
406.
lattice filter
by CWoo
407.
lattice interval
by CWoo
408.
lattice of ideals
by CWoo
409.
lecture notes on determinants
by rmilson
410.
left / right perpendicular
by Algeboy
411.
Legendre Transform
by fernsanz
412.
Levy process
by juansba
413.
Levy-Desplanques theorem
by Andrea Ambrosio
414.
Lie algebra
by djao
415.
limit examples
by pahio
416.
limit of geometric sequence
by pahio
417.
limit of nth root of n
by pahio
418.
limits of natural logarithm
by pahio
419.
Lindenmayer system
by CWoo
420.
linear complex structure
by Mazzu
421.
Liouville's theorem
by Koro
422.
Lipschitz inverse mapping theorem
by Koro
423.
LL(k)
by CWoo
424.
local homeomorphisms between real numbers
by joking
425.
local ring
by djao
426.
localization of a module
by CWoo
427.
locally ringed space
by djao
428.
logarithm series
by pahio
429.
logic
by Henry
430.
logical implication
by Jon Awbrey
431.
logicism
by gribskoff
432.
LR(k)
by CWoo
433.
LU decomposition
by rmilson
434.
M-matrix
by kshum
435.
Martin's axiom and the continuum hypothesis
by Henry
436.
Martin's axiom is consistent
by mathcam
437.
martingale proof of Kolmogorov's strong law for square integrable variables
by gel
438.
martingale proof of the Radon-Nikodym theorem
by gel
439.
mathematical platonism
by gribskoff
440.
mathematics vocabulary
by matte
441.
MatheRealism
by WM
442.
matrix ring
by CWoo
443.
matroid
by mps
444.
maximal ideal is prime
by pahio
445.
McAlister covering theorem
by mathcam
446.
measurability of stochastic processes
by gel
447.
measurable function
by CWoo
448.
meet continuous
by CWoo
449.
Mersenne numbers, two small results on
by Cosmin
450.
method of integrating factors
by pahio
451.
metric superfields
by bci1
452.
microlocal analysis
by PrimeFan
453.
model
by CWoo
454.
modes of convergence of sequences of measurable functions
by Wkbj79
455.
modular group
by rm50
456.
modular inequality
by ixionid
457.
modular theory
by Algeboy
458.
module-finite
by yark
459.
monadic algebra
by CWoo
460.
monoid bialgebra is a Hopf algebra if and only if monoid is a group
by joking
461.
monomorphic set
by CWoo
462.
monomorphisms are pullback stable
by rmilson
463.
monomorphisms of category of sets
by rspuzio
464.
Moore graphs of $d=2$ are $v$-valent and order is $v^2+1$
by marijke
465.
more on division in groups
by CWoo
466.
Morse lemma
by matte
467.
motion in central-force field
by pahio
468.
motion of continuum
by perucho
469.
multiplication of series
by pahio
470.
multiplication ring
by PrimeFan
471.
multiplicative sets in rings and prime ideals
by joking
472.
multiplicatively closed
by CWoo
473.
multivalued function
by CWoo
474.
Myhill-Nerode theorem
by Ziosilvio
475.
Myhill-Nerode theorem for semigroups
by Ziosilvio
476.
natural numbers are well-ordered
by pahio
477.
necessary and sufficient
by Wkbj79
478.
negation
by pahio
479.
Nerode equivalence
by Ziosilvio
480.
nets and closures of subspaces
by azdbacks4234
481.
neutral geometry
by CWoo
482.
nil and nilpotent ideals
by mclase
483.
nilpotent matrix
by jgade
484.
no continuous function switches the rational and the irrational numbers
by yark
485.
no countable dense subset of a complete metric space is a $G_\delta$
by gumau
486.
nonabelian group
by drini
487.
nonmodular sublattice
by ixionid
488.
normal subgroup lattice is modular
by CWoo
489.
nullcline
by Daume
490.
numerable set
by juanman
491.
octonion
by CWoo
492.
one-sided continuity by series
by pahio
493.
one-to-one function from onto function
by mathcam
494.
opposite number
by pahio
495.
optional process
by gel
496.
order of elements in finite groups
by rm50
497.
order valuation
by pahio
498.
ordered vector space
by CWoo
499.
organismic supercategories and super-complex systems biodynamics
by bci1
500.
orthocomplemented lattice
by CWoo
501.
orthogonal decomposition theorem
by asteroid
502.
orthogonal morphisms
by CWoo
503.
orthogonality of Laguerre polynomials
by pahio
504.
orthogonality of Legendre polynomials
by pahio
505.
orthomodular lattice
by CWoo
506.
pairwise comaximal ideals property
by polarbear
507.
partial ordering in a topological space
by CWoo
508.
partially ordered category
by CWoo
509.
partially ordered group
by CWoo
510.
partially ordered ring
by CWoo
511.
partition is equivalent to an equivalence relation
by CWoo
512.
Peano arithmetic
by alozano
513.
Peirce's law
by Jon Awbrey
514.
Pell's equation and simple continued fractions
by Thomas Heye
515.
pencil of lines
by pahio
516.
perfect bilinear form
by matsuura
517.
periodic functions
by pahio
518.
periodicity of a Markov chain
by CWoo
519.
periodicity of exponential function
by pahio
520.
permanent
by marijke
521.
permutable congruences
by CWoo
522.
pi
by mathcam
523.
Picard's theorem
by Koro
524.
PID and UFD are equivalent in a Dedekind domain
by rm50
525.
places of holomorphic function
by pahio
526.
pluriharmonic function
by jirka
527.
Poincare-Bendixson theorem
by jarino
528.
polarities and forms
by Algeboy
529.
polynomial function is a proper map
by joking
530.
polynomial ring over a field
by pahio
531.
polynomially convex hull
by jirka
532.
possible orders of elliptic functions
by rspuzio
533.
potential of hollow ball
by pahio
534.
potential theory
by rspuzio
535.
power of point
by PrimeFan
536.
power-associative algebra
by CWoo
537.
preservation of uniform integrability
by gel
538.
primary decomposition theorem
by gumau
539.
prime ideal factorization is unique
by gel
540.
prime ideals by Artin are prime ideals
by pahio
541.
prime theorem of a convergent sequence, a
by georgiosl
542.
primitive element theorem
by alozano
543.
primitive root
by CWoo
544.
principle of finite induction
by smw
545.
product of categories
by CWoo
546.
product of non-empty set of non-empty sets is non-empty
by CWoo
547.
product of posets
by CWoo
548.
projection
by rmilson
549.
projective line configurations
by rspuzio
550.
proof of $\Diamond$ is equivalent to $\clubsuit$ and continuum hypothesis
by Henry
551.
proof of $\frac{f(t)-f(s)}{t-s}\leq\frac{f(u)-f(s)}{u-s}\leq\frac{f(u)-f(t)}{u-t}$ for convex $f$
by yesitis
552.
proof of 5-lemma
by bwebste
553.
proof of a corollary to Euler-Fermat theorem
by alozano
554.
proof of Abel's convergence theorem
by rmilson
555.
proof of alternative characterization of filter
by rspuzio
556.
proof of alternative characterization of ultrafilter
by rspuzio
557.
proof of arithmetic-geometric means inequality
by mathcam
558.
proof of arithmetic-geometric means inequality using Lagrange multipliers
by stevecheng
559.
proof of Banach fixed point theorem
by asteroid
560.
proof of Banach-Steinhaus theorem
by Koro
561.
proof of basic criterion for self-adjointness
by Koro
562.
proof of basic theorem about ordered groups
by rspuzio
563.
proof of Bennett inequality
by Andrea Ambrosio
564.
proof of Bernoulli's inequality
by danielm
565.
proof of Bernstein inequalities
by Andrea Ambrosio
566.
proof of Birkhoff-von Neumann theorem
by Andrea Ambrosio
567.
proof of Bohr-Mollerup theorem
by Andrea Ambrosio
568.
proof of Bolzano-Weierstrass Theorem
by akrowne
569.
proof of Borel-Cantelli 1
by kshum
570.
proof of Borel-Cantelli 2
by kshum
571.
proof of Brouwer fixed point theorem
by uriw
572.
proof of butterfly theorem
by drini
573.
proof of Carath\'eodory's lemma
by gel
574.
proof of Casorati-Weierstrass theorem
by pbruin
575.
proof of casus irreducibilis for real fields
by rm50
576.
proof of Cauchy-Schwarz inequality for real numbers
by stitch
577.
proof of Ceva's theorem
by yark
578.
proof of characterization of connected compact metric spaces.
by paolini
579.
proof of characterizations of the Jacobson radical
by rspuzio
580.
proof of Chebyshev's inequality
by pbruin
581.
proof of Clarkson inequality
by CWoo
582.
proof of closed graph theorem
by Koro
583.
proof of conformal mapping theorem
by pbruin
584.
proof of convergence theorem
by matte
585.
proof of Cramer's rule
by rmilson
586.
proof of criterion for convexity
by rspuzio
587.
proof of crossing lemma
by bbukh
588.
proof of determinant of the Vandermonde matrix
by rspuzio
589.
proof of Egorov's theorem
by Koro
590.
proof of Eisenstein criterion
by rspuzio
591.
proof of embedding theorem for ordered abelian groups of rank one
by rspuzio
592.
proof of equivalent definitions of analytic sets for measurable spaces
by gel
593.
proof of equivalent definitions of analytic sets for paved spaces
by gel
594.
proof of equivalent definitions of analytic sets for Polish spaces
by gel
595.
proof of estimating theorem of contour integral
by cvalente
596.
proof of exhaustion by compact sets for $\mathbb{R}^n$
by cvalente
597.
proof of existence and uniqueness of singular value decomposition
by fernsanz
598.
proof of extended mean-value theorem
by pbruin
599.
proof of factor theorem due to Fermat
by pahio
600.
proof of first isomorphism theorem
by uriw
601.
proof of fourth isomorphism theorem
by aoh45
602.
proof of fundamental theorem of algebra (argument principle)
by rspuzio
603.
proof of fundamental theorem of Galois theory
by pbruin
604.
proof of general means inequality
by pbruin
605.
proof of Hadamard's inequality
by Andrea Ambrosio
606.
proof of Hartman-Grobman theorem
by Koro
607.
proof of Heine-Borel theorem
by stevecheng
608.
proof of Heine-Cantor theorem
by drini
609.
proof of identity theorem of holomorphic functions
by rspuzio
610.
proof of infinite product of sums $1\!+\!a_i$ result without exponentials
by rspuzio
611.
proof of infinitude of primes
by rspuzio
612.
proof of invariance of dimension
by Algeboy
613.
proof of Jordan's Inequality
by mathcam
614.
proof of Lagrange's four-square theorem
by CWoo
615.
proof of Lebesgue number lemma
by scanez
616.
proof of limit of nth root of n
by rspuzio
617.
proof of limit rule of product
by pahio
618.
proof of matrix inverse calculation by Gaussian elimination
by rspuzio
619.
proof of maximal modulus principle
by cvalente
620.
proof of monotonicity criterion
by paolini
621.
proof of Morley's theorem
by mathcam
622.
proof of necessary and sufficient conditions for a normed vector space to be a Banach space
by willny
623.
proof of Pappus's theorem
by mathcam
624.
proof of parallelogram law
by Mathprof
625.
proof of parallelogram theorems
by rm50
626.
proof of pivot theorem
by pbruin
627.
proof of Poincar\'e lemma
by pbruin
628.
proof of primitive element theorem
by alozano
629.
proof of Prohorov inequality
by Andrea Ambrosio
630.
proof of properties of the closure operator
by archibal
631.
proof of properties of the exponential
by rspuzio
632.
proof of pseudoparadox in measure theory
by rspuzio
633.
proof of Ptolemy's theorem
by drini
634.
proof of Pythagorean triplet
by Thomas Heye
635.
proof of rank-nullity theorem
by rmilson
636.
proof of rational root theorem
by Wkbj79
637.
proof of rearrangement inequality
by pbruin
638.
proof of Riemann mapping theorem
by rspuzio
639.
proof of Riemann's removable singularity theorem
by pbruin
640.
proof of Riesz representation theorem
by asteroid
641.
proof of Riesz' Lemma
by gumau
642.
proof of Rouch\'e's theorem
by rspuzio
643.
proof of Ruffa's formula for continuous functions
by rspuzio
644.
proof of Silverman-Toeplitz theorem
by rspuzio
645.
proof of Simson's line
by giri
646.
proof of Stone-Weierstrass theorem
by rspuzio
647.
proof of tangents law
by CWoo
648.
proof of the Cauchy-Riemann equations
by rmilson
649.
proof of the existence of transcendental numbers
by kidburla2003
650.
proof of the uniformization theorem
by Simone
651.
proof of the weak Nullstellensatz
by pbruin
652.
proof of theorem on equivalent valuations
by rspuzio
653.
proof of Tietze extension theorem
by bbukh
654.
proof of uniqueness of center of a circle
by CWoo
655.
proof of upper and lower bounds to binomial coefficient
by rspuzio
656.
proof of Urysohn's lemma
by scanez
657.
proof of Van Aubel's theorem
by mathcam
658.
proof of Vitali convergence theorem
by stevecheng
659.
proof of von Neumann double commutant theorem
by asteroid
660.
proof of weak maximum principle for real domains
by rspuzio
661.
proof of Wedderburn's theorem
by lieven
662.
proof of Weierstrass approximation theorem
by rspuzio
663.
proof of Weierstrass' criterion of uniform convergence
by argerami
664.
proof of Wielandt-Hoffman theorem
by Andrea Ambrosio
665.
proof of Wilson's theorem result
by Cosmin
666.
proof of Zermelo's postulate
by Wkbj79
667.
proof that $C_\cup$ and $C_\cap$ are consequence operators
by rspuzio
668.
proof that a domain is Dedekind if its ideals are invertible
by gel
669.
proof that a domain is Dedekind if its ideals are products of primes
by gel
670.
proof that a gcd domain is integrally closed
by CWoo
671.
proof that contrapositive statement is logically equivalent to original statement
by sprocketboy
672.
proof that number of sum-product numbers in any base is finite
by rspuzio
673.
proof that uniformly continuous is proximity continuous
by CWoo
674.
proof to Cauchy-Riemann equations (polar coordinates)
by Daume
675.
properties of a gcd domain
by CWoo
676.
properties of an affine transformation
by CWoo
677.
properties of arbitrary joins and meets
by CWoo
678.
properties of certain monotone functions
by CWoo
679.
properties of complement
by CWoo
680.
properties of diagonally dominant matrix
by Andrea Ambrosio
681.
properties of direct product
by CWoo
682.
properties of ellipse
by pahio
683.
properties of group commutators and commutator subgroups
by GrafZahl
684.
properties of injective functions
by rspuzio
685.
properties of linear independence
by CWoo
686.
properties of monomorphisms and epimorphisms
by kompik
687.
properties of ordinals
by CWoo
688.
properties of regular and extremal monomorphisms
by kompik
689.
properties of spanning sets
by CWoo
690.
properties of the adjoint operator
by Koro
691.
propositional calculus
by Jon Awbrey
692.
propositional logic
by Henry
693.
proximal neighborhood
by CWoo
694.
proximity continuous
by porton
695.
proximity space
by CWoo
696.
PTAH inequality
by Mathprof
697.
PTAH inequality result
by cappymate
698.
pure subgroup
by CWoo
699.
push-down theorem on class numbers
by alozano
700.
Pythagorean theorem
by drini
701.
quadratic character of 2
by mathcam
702.
quadratic congruence
by pahio
703.
quadratic equation in $\mathbb{C}$
by pahio
704.
quadratic extension
by CWoo
705.
quadratic Lie algebra
by benjaminfjones
706.
quadratic map
by Algeboy
707.
quantale
by CWoo
708.
quantum automata and computation
by bci1
709.
quantum operator algebras in quantum field theories
by bci1
710.
quantum topos
by bci1
711.
quasisymmetric mapping
by jirka
712.
quotient category
by CWoo
713.
quotient group
by azdbacks4234
714.
ramification of archimedean places
by alozano
715.
Ramsey numbers
by wdsmith
716.
Ramsey-theoretic proof of the Erd\H{o}s-Szekeres theorem
by mps
717.
rank of an elliptic curve
by alozano
718.
rational numbers are real numbers
by matte
719.
rational set
by CWoo
720.
real part series and imaginary part series
by pahio
721.
real ring
by jocaps
722.
realization of a formula by a truth function
by CWoo
723.
reduced automaton
by CWoo
724.
reduced ring
by CWoo
725.
reductio ad absurdum
by gribskoff
726.
regular elements of finite ring
by pahio
727.
regular open algebra
by CWoo
728.
Reinhardt domain
by jirka
729.
relation algebra
by CWoo
730.
relation between positive function and its gradient when its Hessian matrix is bounded
by Andrea Ambrosio
731.
relation on objects
by CWoo
732.
relation reduction
by Jon Awbrey
733.
relationship among different kinds of compactness
by rm50
734.
representants of quadratic residues
by pahio
735.
residuated
by CWoo
736.
resultant (alternative treatment)
by Mathprof
737.
Ricci tensor
by rmilson
738.
Riemann zeta function has no zeros on $\Re s=0,1$
by rm50
739.
rigorous definition of tangent function
by rspuzio
740.
rigorous definition of the logarithm
by rspuzio
741.
rings of rational numbers
by pahio
742.
rings whose every module is free
by joking
743.
RMP 35 to 38 plus RMP 66
by milogardner
744.
RMP 53, 54, 55
by milogardner
745.
rotund space
by Mathprof
746.
Russell's theory of types
by Aatu
747.
Schreier index formula
by yark
748.
Schroeder-Bernstein theorem, proof of
by mps
749.
Schr\"odinger's wave equation
by Cosmin
750.
Scott continuous
by CWoo
751.
Scott topology
by CWoo
752.
semi-continuous
by drini
753.
semi-Thue system
by CWoo
754.
semicubical parabola
by pahio
755.
semilattice decomposition of a semigroup
by mclase
756.
semisimple ring
by CWoo
757.
separability is required for integral closures to be finitely generated
by rm50
758.
separation axioms
by Koro
759.
set
by Mathprof
760.
set theory
by mathwizard
761.
sheaf of sections
by guffin
762.
Siegel's theorem
by alozano
763.
sign relation
by Jon Awbrey
764.
Sikorski's extension theorem
by CWoo
765.
similar matrix
by Wkbj79
766.
simple field extension
by pahio
767.
simplicity of the alternating groups
by rmilson
768.
simply transitive
by benjaminfjones
769.
simultaneous triangularisation of commuting matrices over any field
by lars_h
770.
sinc function
by mathcam
771.
sinc is not $L^1$
by cvalente
772.
sine integral
by pahio
773.
sines law proof
by drini
774.
skew-symmetric matrix
by Daume
775.
SL(n;R) is connected
by Stephaninos
776.
slower convergent series
by pahio
777.
snake lemma, proof of
by mps
778.
sober space
by CWoo
779.
solenoidal field
by giri
780.
solid set
by CWoo
781.
Solovay-Strassen test
by mathwizard
782.
solution of the Levi problem
by jirka
783.
solving the wave equation due to D. Bernoulli
by pahio
784.
some facts about injective and surjective linear maps
by joking
785.
special case of Dirichlet's theorem on primes in arithmetic progressions
by bbukh
786.
special elements in a lattice
by CWoo
787.
spectral values classification
by fernsanz
788.
splitting field of a finite set of polynomials
by polarbear
789.
square
by drini
790.
square-free number
by akrowne
791.
Stephen William Hawking
by bci1
792.
Stirling numbers of the first kind
by rmilson
793.
Stone-Weierstrass theorem (complex version)
by asteroid
794.
strict
by rspuzio
795.
strong AI thesis
by dankomed
796.
subgroup
by Daume
797.
subgroup of topological group is either clopen or has empty interior
by asteroid
798.
subharmonic and superharmonic functions
by jirka
799.
subsemigroup of a cyclic semigroup
by CWoo
800.
subset
by Wkbj79
801.
sufficient condition of identical congruence
by pahio
802.
sum of powers of binomial coefficients
by Andrea Ambrosio
803.
summation by parts
by rm50
804.
sums of normal random variables need not be normal
by gel
805.
superfields, superspace and supergravity
by bci1
806.
surjection and axiom of choice
by CWoo
807.
surjective open maps in terms of nets
by asteroid
808.
Sylvester's law
by rspuzio
809.
symmetric algebra
by CWoo
810.
symmetry of a solution of an ordinary differential equation
by Daume
811.
syntactic congruence
by Ziosilvio
812.
syntopogenous structure
by CWoo
813.
tangent space
by rmilson
814.
Taniyama-Shimura theorem
by djao
815.
Tarski's axiom
by rspuzio
816.
Tarski-Knaster theorem
by kompik
817.
tautology
by rspuzio
818.
Teichm\"uller character
by alozano
819.
telegraph equation
by pahio
820.
tensor product basis
by lars_h
821.
tensor product of dual spaces is a dual space of tensor product
by joking
822.
termwise differentiation
by Mathprof
823.
TFAE
by ariels
824.
the continuous image of a compact space is compact
by cvalente
825.
the derived subgroup is normal
by juanman
826.
the Gr\"ossencharacter associated to a CM elliptic curve
by alozano
827.
the inclusion of classical into intuitionistic logic
by gribskoff
828.
the limit of a uniformly convergent sequence of continuous functions is continuous
by neapol1s
829.
the only compact metric spaces that admit a positively expansive homeomorphism are discrete spaces
by Koro
830.
theorem for the direct sum of finite dimensional vector spaces
by matte
831.
theorem on constructible angles
by Wkbj79
832.
theory for separation of variables
by pahio
833.
therefore sign
by pahio
834.
Thom class
by antonio
835.
Thurston's geometrization conjecture
by PrimeFan
836.
time-dependent example of heat equation
by pahio
837.
topics on ideal class groups and discriminants
by alozano
838.
topological vector lattice
by CWoo
839.
topology via converging nets
by CWoo
840.
torsion element
by mathcam
841.
trace forms on algebras
by Algeboy
842.
transfinite induction
by jihemme
843.
transitive
by akrowne
844.
transitive relation
by yark
845.
transpose
by mathcam
846.
traveling hump sequence
by Wkbj79
847.
trick to sum all the reciprocal triangular numbers
by juanman
848.
trigonometric formulas from de Moivre identity
by pahio
849.
truth table
by rspuzio
850.
Tychonoff's theorem
by matte
851.
Tychonoff's theorem implies AC
by CWoo
852.
types of morphisms
by kompik
853.
ultrametric triangle inequality
by pahio
854.
unconditional convergence
by kompik
855.
uniform convergence on union interval
by pahio
856.
uniform neighborhood
by CWoo
857.
uniform proximity is a proximity
by CWoo
858.
uniformly continuous on $\mathbb{R}$ is roughly linear
by Mathprof
859.
union of non-disjoint connected sets is connected
by matte
860.
unique factorization and ideals in ring of integers
by pahio
861.
uniqueness of cardinality
by mathcam
862.
uniqueness of digital representation
by pahio
863.
unity of subring
by pahio
864.
universal derivation
by pbruin
865.
using Laplace transform to solve heat equation
by pahio
866.
using primitive roots and index to solve congruences
by alozano
867.
using residue theorem near branch point
by pahio
868.
valuation ring of a field
by rm50
869.
Van Kampen's theorem
by RonaldBrown
870.
variant of Cauchy integral formula
by pahio
871.
variations on axiom of choice
by CWoo
872.
vector lattice
by CWoo
873.
wavelet set
by swiftset
874.
way below
by CWoo
875.
weak Hopf algebra
by bci1
876.
weak Hopf C*-algebra
by bci1
877.
weakly compact cardinals and the tree property
by Henry
878.
well-foundedness and axiom of foundation
by CWoo
879.
well-ordering principle for natural numbers proven from the principle of finite induction
by smw
880.
well-ordering principle implies axiom of choice
by Wkbj79
881.
Weyl's criterion
by bbukh
882.
when all singularities are poles
by pahio
883.
Why Study Egyptian Fraction Mathematics
by milogardner
884.
Wilson's theorem for prime powers
by Thomas Heye
885.
zeroes of analytic functions are isolated
by brianbirgen
886.
zeros and poles of rational function
by pahio
887.
Zorn's lemma and bases for vector spaces
by CWoo
888.
\'etale morphism
by mps
|
|
|
|
