User contributions
- 09:40, 21 October 2016 diff hist +21 N Funayama–Nakayama theorem Redirected page to Lattice current
- 07:40, 21 October 2016 diff hist +242 Quasi-identity define identity, cite Malcev current
- 06:59, 21 October 2016 diff hist -2,340 Horn clauses, theory of Tex done current
- 21:39, 20 October 2016 diff hist -583 Quasi-identity Tex done
- 21:36, 20 October 2016 diff hist -4 m Horn clauses, theory of better
- 19:06, 20 October 2016 diff hist +32 N Lawson topology Redirected page to Continuous lattice current
- 19:05, 20 October 2016 diff hist +32 N Scott topology Redirected page to Continuous lattice current
- 19:02, 20 October 2016 diff hist +19 m Order topology →References: expand bibliodata
- 19:01, 20 October 2016 diff hist +19 m Generalized sequence →References: expand bibliodata
- 18:46, 20 October 2016 diff hist +464 Order topology Comment on left and right topologies
- 18:45, 20 October 2016 diff hist +3 m Generalized sequence →References: expand bibliodata
- 12:51, 20 October 2016 diff hist 0 m Order topology typo
- 06:53, 20 October 2016 diff hist +2 m Order topology →Comments: anchor
- 06:52, 20 October 2016 diff hist +28 N Interval topology Redirected page to Order topology current
- 06:50, 20 October 2016 diff hist -1,311 Order topology Tex done
- 19:25, 19 October 2016 diff hist +4 m Yosida representation theorem link
- 19:25, 19 October 2016 diff hist +4 m Continuous lattice link
- 19:24, 19 October 2016 diff hist +4 m Order topology link
- 19:24, 19 October 2016 diff hist +4 m Order topology link
- 19:23, 19 October 2016 diff hist +4 m Upper bound of a family of topologies link
- 19:22, 19 October 2016 diff hist +21 N Pre-base Richard Pinch moved page Pre-base to Subbase: More usual term current
- 19:22, 19 October 2016 diff hist 0 m Subbase Richard Pinch moved page Pre-base to Subbase: More usual term current
- 19:22, 19 October 2016 diff hist -42 Subbase MSC 54A05
- 19:19, 19 October 2016 diff hist -2,210 Base Tex partly done
- 17:34, 19 October 2016 diff hist +18 N Closed base Redirected page to Base current
- 17:34, 19 October 2016 diff hist -1,192 Wallman compactification Tex done current
- 10:44, 19 October 2016 diff hist -731 Stone-Čech compactification Tex done current
- 18:24, 18 October 2016 diff hist -442 Spectral resolution Tex done current
- 17:26, 18 October 2016 diff hist -496 Fourier number Tex done
- 16:48, 18 October 2016 diff hist -202 Formalization method Tex done current
- 10:43, 18 October 2016 diff hist +4 m Domain of individuals (in logic) link current
- 06:46, 18 October 2016 diff hist +19 Predicate symbol define n-ary
- 06:45, 18 October 2016 diff hist +4 m Beth definability theorem link
- 06:44, 18 October 2016 diff hist +4 m Model theory of valued fields link
- 06:44, 18 October 2016 diff hist +8 m Model theory link
- 06:42, 18 October 2016 diff hist +4 m Structure link
- 06:41, 18 October 2016 diff hist +4 m Real closed field link
- 06:40, 18 October 2016 diff hist +4 m O-minimal link
- 06:39, 18 October 2016 diff hist +30 N Relation symbol Redirected page to Predicate symbol current
- 18:41, 17 October 2016 diff hist +22 Predicate symbol more Tex
- 18:39, 17 October 2016 diff hist -1,516 Differentiable vector in a representation space Tex done current
- 18:39, 16 October 2016 diff hist -251 Engel algebra Tex done current
- 18:23, 16 October 2016 diff hist -171 Affinity Tex done current
- 18:19, 16 October 2016 diff hist -12 m Co-basis links current
- 06:32, 16 October 2016 diff hist +22 m Radical of rings and algebras →Radicals in the class of associative rings.: link
- 06:30, 16 October 2016 diff hist -77 m Rings and algebras links
- 20:33, 15 October 2016 diff hist +39 N Levitskii radical Redirected page to Locally nilpotent algebra current
- 16:48, 14 October 2016 diff hist -463 Locally convex lattice Tex done current
- 18:32, 11 October 2016 diff hist +6 m Quadratic form link
- 18:29, 11 October 2016 diff hist +34 N Petersson conjecture Redirected page to Ramanujan hypothesis current