PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (51)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'first-order theory'
1. $AB$ and $BA$ are almost isospectral by asteroid
2. $C^*$-algebra by asteroid
3. $L^{\infty}(X, \mu)$ by ack
4. $\Omega$-spectrum by bci1
5. Albert Einstein by PrimeFan
6. Alexander Grothendieck by PrimeFan
7. Alexander Grothendieck's biography and his major mathematical contributions by bci1
8. algebraic geometry by archibal
9. algebraic number theory by alozano
10. algebraic sets and polynomial ideals by mathcam
11. all one polynomial by Derk
12. analytics and formal logics in meta-mathematics by bci1
13. Anja Meyer by PrimeFan
14. anti-cone by stevecheng
15. arbitrary join by CWoo
16. automatic presentation by mathcam
17. axiom by rmilson
18. Baer ring by CWoo
19. band by mclase
20. Bernhard Riemann by pahio
21. Bernstein polynomial by stitch
22. Berry's paradox by yesitis
23. best approximation by asteroid
24. best approximation in inner product spaces by asteroid
25. beyond formalism: G\"{o}del's incompleteness by gribskoff
26. bibliography for algebraic geometry by alozano
27. bifurcation by CWoo
28. Borel-Bott-Weil theorem by mathcam
29. Bourbaki, Nicolas by Daume
30. bridges of K\"onigsberg by akrowne
31. Burnside's Theorem by rm50
32. canonical by mathcam
33. Carath\'eodory's extension theorem by gel
34. Carath\'eodory's lemma by gel
35. Catalan's conjecture by pahio
36. categorical diagrams as functors by bci1
37. categorical dynamics by bci1
38. categorical quantum logics as quantum LM-algebraic logic by bci1
39. category of $(M,R)$--systems by bci1
40. category of additive fractions by bci1
41. category of Riemannian manifolds by bci1
42. category theory by archibal
43. Cauchy integral theorem by rmilson
44. Cayley table by akrowne
45. change of variables in integral on $\mathbb{R}^n$ by stevecheng
46. cognitive science by gprasad
47. Cohen-Macaulay module by mathcam
48. compact quantum groupoids related to C*-algebras by bci1
49. composition algebras over $\mathbb{Q}$ by Algeboy
50. conical neighborhood by urelement
51. connection by rspuzio
52. consequence operator by rspuzio
53. consistent by Henry
54. construction of outer measures by gel
55. continuity equation by perucho
56. continuous geometry by CWoo
57. convex analysis by matte
58. coordinate systems by matte
59. countably categorical structures by amador
60. creating an infinite model by CWoo
61. Dedekind-finite by CWoo
62. definable by CWoo
63. density function by drini
64. derangement by CWoo
65. diagonalizable operator by asteroid
66. differential geometry by rspuzio
67. dimension of the special orthogonal group by stevecheng
68. discrete Fourier transform by stitch
69. discrete time Fourier transform in relation with continuous time Fourier transform by fernsanz
70. distribution by matte
71. duality in mathematics by bci1
72. duality principle by mathcam
73. Dynkin's lemma by gel
74. Egyptian fraction by milogardner
75. elementary proof of orders by Algeboy
76. elliptic curve by djao
77. equitable matrix by matte
78. ergodic by asteroid
79. Erich K\"ahler by PrimeFan
80. Ernst Lindel\"of by pahio
81. Ernst Straus by PrimeFan
82. error function by rspuzio
83. ETAC by bci1
84. Evelyn Boyd Granville by Mravinci
85. example of a universal structure by uzeromay
86. example of definable type by aplant
87. example of strongly minimal by CWoo
88. examples of cyclotomic polynomials by alozano
89. examples of elliptic functions by alozano
90. examples on how to find Taylor series from other known series by alozano
91. exponential by rmilson
92. extended real numbers by matte
93. exterior algebra by rmilson
94. Fermat's last theorem by akrowne
95. field is discrete and cocompact in its ad\`{e}les by rm50
96. four hundred ninety-six by CompositeFan
97. Frances Kirwan by Mravinci
98. free and bound variables by CWoo
99. Freiman isomorphism by bbukh
100. functional analysis by PrimeFan
101. functional equation for the Riemann Xi function by rspuzio
102. fundamental character of level $n$ for the inertia group at $p$ by alozano
103. fundamental complexity diagrams by bci1
104. fuzzy logic by ggerla
105. Gabor frame by ErlendA
106. Galois connection by CWoo
107. game theory by Henry
108. Gauss Green theorem by paolini
109. Gelfand spectral radius theorem by Andrea Ambrosio
110. generalized Van Kampen theorems (HD-VKT), higher dimensional by bci1
111. genetic nets by bci1
112. geometric lattice by CWoo
113. geometry as the study of invariants under certain transformations by rspuzio
114. Georg Frobenius by PrimeFan
115. Graham's number by PrimeFan
116. graph theory by karteef
117. Green functions and conformal mapping by rspuzio
118. Grothendieck spectral sequence by bwebste
119. group extension by CWoo
120. groupoid and group representations related to quantum symmetries by bci1
121. G\"odel's incompleteness theorems by mathcam
122. Haar measure by djao
123. Hanna Neumann by Mravinci
124. Harnack theorem by perucho
125. Hecke algebra by olivierfouquetx
126. Herbrand structure by iwnbap
127. Herbrand's theorem (first order logic) by iwnbap
128. higher dimensional algebra by bci1
129. highly-complex system diagrams by bci1
130. Hilbert's $\varepsilon$-operator by gribskoff
131. Hodge theory by bwebste
132. holomorphic functions of several variables by jirka
133. homology by mathcam
134. homomorphisms of simple groups by rspuzio
135. hyperbolic plane in quadratic spaces by CWoo
136. idempotent semiring by CWoo
137. identity element by mclase
138. IF-logic by mathcam
139. indecomposable group by smw
140. index of special functions by rspuzio
141. initial value problem by rspuzio
142. interpretation of intuitionistic logic by means of functionals by gribskoff
143. intuitionistic logic by gribskoff
144. isoperimetric inequality by bbukh
145. Jacobi $\vartheta$ functions by rspuzio
146. Jessie MacWilliams by PrimeFan
147. Joan Birman by Mravinci
148. Julia Bowman Robinson by Mravinci
149. K-theory by mhale
150. kernel of a morphism by CWoo
151. Kleene algebra by CWoo
152. Klein 4-group by Algeboy
153. Kronecker's Jugendtraum by mathcam
154. Kronecker-Weber theorem by alozano
155. Krull-Schmidt theorem by smw
156. Kummer theory by alozano
157. labeled graph by CWoo
158. Lagrange multipliers on manifolds by stevecheng
159. lattice ideal by CWoo
160. lattice of ideals by CWoo
161. lattice of subgroups by CWoo
162. Lebesgue integral by djao
163. Lie algebra by djao
164. Lie algebra cohomology by rmilson
165. Lie group by rmilson
166. line bundle by bwebste
167. logarithm by rmilson
168. logic by Henry
169. mathematical programs in quantum gravity by bci1
170. Mayan math by milogardner
171. metalanguage by yesitis
172. Millennium Problems by Mravinci
173. minimax inequality by bchui
174. models constructed from constants by ratboy
175. Morse homology by PrimeFan
176. motion of continuum by perucho
177. multivariate distribution function by CWoo
178. near operators by mathcam
179. neighborhood by djao
180. Nicolas Rashevsky by bci1
181. Niels Henrik Abel by pahio
182. non-commutative structure by bci1
183. number theory by olivierfouquetx
184. operator induced by a measure preserving map by asteroid
185. order valuation by pahio
186. orders and structure of classical groups by Algeboy
187. organismic sets by bci1
188. Otto H\"older by Mravinci
189. PA by Henry
190. partial fractions for polynomials by stevecheng
191. Pauli matrices by invisiblerhino
192. persistence of differential equations by rspuzio
193. Pfaff's problem by rspuzio
194. Plato's mathematics by milogardner
195. point-free geometry by ggerla
196. polyhedron by Mathprof
197. prime by djao
198. probabilistic method by bbukh
199. projections as noncommutative characteristic functions by asteroid
200. proof of Goursat's theorem by rmilson
201. proof of H\"{o}lder inequality by paolini
202. proof that a nontrivial normal subgroup of a finite $p$-group $G$ and the center of $G$ have nontrivial intersection by rm50
203. quantization by bci1
204. quantum electrodynamics by bci1
205. quantum field state on the tetrahedron by bci1
206. quantum geometry by bci1
207. quantum groupoids by bci1
208. quantum groups by bci1
209. quantum groups and von Neumann algebras by bci1
210. quantum Riemannian geometry by bci1
211. quantum space-times by bci1
212. quantum super-operators by bci1
213. quasiconformal mapping by jirka
214. quaternion algebra by djao
215. random vector by CWoo
216. real closed fields by mathcam
217. recursively axiomatizable theory by mathcam
218. related rates by rmilson
219. relation theory by Jon Awbrey
220. representation theory of $\mathfrak{sl}_2 \mathbb{C}$ by benjaminfjones
221. repunit by PrimeFan
222. restricted Lie algebra by Algeboy
223. Richard Feynman by Mravinci
224. Riemannian manifold by djao
225. ring hierarchy by Algeboy
226. Rolf Nevanlinna by pahio
227. Ronald Graham by Mravinci
228. Ruth Lawrence by Mravinci
229. Schreier's lemma by Algeboy
230. semilattice by mclase
231. semisimple group by Algeboy
232. several complex variables by jirka
233. sign relation by Jon Awbrey
234. Simon Stevin by PrimeFan
235. simple and semi-simple Lie algebras by mathcam
236. simplicial complex by djao
237. site by mathcam
238. small site on a scheme by rspuzio
239. spectral measure by asteroid
240. strongly minimal by Timmy
241. structure sheaf by djao
242. subsemigroup of a cyclic semigroup by CWoo
243. substitution by CWoo
244. supernatural number by mathcam
245. surface bundle over the circle by juanman
246. surface integration with respect to area by rspuzio
247. Susan Howson by Mravinci
248. suspension isomorphism by antonio
249. Sylvester's law by rspuzio
250. symbolic computation by akrowne
251. tail event by fernsanz
252. Tarski's result on the undefinability of truth by mathcam
253. Taylor series by stevecheng
254. tensor array by rmilson
255. the arithmetic of elliptic curves by alozano
256. theory by CWoo
257. theory from orders of classical groups by Algeboy
258. theory of rational and irrational numbers by alozano
259. Thom class by antonio
260. time dilation by curious
261. top ten coolest numbers by rspuzio
262. topic entry on algebra by rspuzio
263. topic entry on analysis by CWoo
264. topic entry on miscellaneous mathematics by rm50
265. topic on applied mathematical physics and physical mathematics by bci1
266. topic on the algebraic foundations of quantum algebraic topology by bci1
267. topic: groupoid symmetry and duality by bci1
268. topics in algebraic topology by bci1
269. topics on ideal class groups and discriminants by alozano
270. topics on ideals by pahio
271. topics on low dimensional topology by juanman
272. topics on vectors by perucho
273. topological conjugation by Koro
274. transfer function by lha
275. triadic relation by Jon Awbrey
276. ultra-complex systems by bci1
277. universal enveloping algebra by draisma
278. variable groupoid by bci1
279. variety by mps
280. Vaught's test by Evandar
281. vector by rmilson
282. vector field by mathcam
283. vibrating string by perucho
284. Vitali convergence theorem by stevecheng
285. Vizing's theorem by marijke
286. volume of solid of revolution by pahio
287. von Neumann algebras of dimension greater than one contain non-trivial projections by asteroid
288. weak homotopy addition lemma by bci1
289. weak Hopf algebra by bci1
290. weak Hopf C*-algebra by bci1
291. weak-* topology of the space of Radon measures by stevecheng
292. \'{E}lie Cartan by bci1
293. \v{S}tefan Zn\'am by Mravinci