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 (237)
Orphanage
Unclass'd
Unproven (550)
Corrections (54)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'first order language'
1. $\Delta_1$ bootstrapping by Henry
2. $\kappa$-categorical by Evandar
3. $\mathcal{NJ}p$ by Henry
4. algebraic representation of relation composition by Jon Awbrey
5. alternative definitions of countable by CWoo
6. ampheck by Jon Awbrey
7. an outline of Hilbert's programme by gribskoff
8. arithmetical hierarchy by CWoo
9. artificial intelligence by aplant
10. atomic formula by CWoo
11. automaton by CWoo
12. axiom by rmilson
13. axiom of determinacy by CWoo
14. axiom of foundation by Henry
15. axiom schema of separation by Sabean
16. axiomatizable class by CWoo
17. beyond formalism: G\"{o}del's incompleteness by gribskoff
18. biogroupoids: mathematical models of species evolution by bci1
19. Boolean ideal by CWoo
20. Boolean subalgebra by CWoo
21. Boolean valued model by Henry
22. Boolean-valued function by Jon Awbrey
23. category of automata by bci1
24. category of quantum automata by bci1
25. characterization of primitive recursive functions of one variable by rspuzio
26. class by yark
27. CNF by rspuzio
28. combinatory logic by Logan
29. complex systems biology by bci1
30. comprehension axiom by Henry
31. consequence operator by rspuzio
32. construction of well-formed formulas by CWoo
33. criterion for consistency of sets of formulas by jihemme
34. cylindric algebra by CWoo
35. deductions are $\Delta_1$ by mathcam
36. definable by CWoo
37. definable type by Timmy
38. derived Boolean operations by CWoo
39. diamond lemma by CWoo
40. differential propositional calculus by Jon Awbrey
41. disjoint union by yark
42. DNF by rspuzio
43. downward Lowenheim-Skolem theorem by Evandar
44. elementarily equivalent by CWoo
45. elementary embedding by CWoo
46. ETAS interpretation by bci1
47. every proposition is equivalent to a proposition in DNF by rspuzio
48. example of a universal structure by uzeromay
49. example of false implies true by Algeboy
50. example of G\"odel numbering by Henry
51. example of strongly minimal by CWoo
52. examples of simple recurrence relations by PrimeFan
53. first order logic by Henry
54. first-order theory by CWoo
55. foundations of mathematics: overview by gribskoff
56. free and bound variables by CWoo
57. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
58. functional completeness by CWoo
59. fuzzy logic by ggerla
60. generalized sequential machine by CWoo
61. geometric representation of relation composition by Jon Awbrey
62. Golomb's sequence by PrimeFan
63. graph-theoretic representation of relation composition by Jon Awbrey
64. G\"odel numbering by Henry
65. G\"odel's incompleteness theorems by mathcam
66. G\"{o}del's beta function by gribskoff
67. Herbrand structure by iwnbap
68. Herbrand's theorem (first order logic) by iwnbap
69. Hilbert's $\varepsilon$-operator by gribskoff
70. Hofstadter's MIU system by Daume
71. homogeneous by mathcam
72. IF-logic by mathcam
73. implication by akrowne
74. implicational class by CWoo
75. importance of primitive recursion by CWoo
76. induction axiom by Henry
77. infinitesimal by mps
78. interpolation property by CWoo
79. interpretation of intuitionistic logic by means of functionals by gribskoff
80. intuitionistic logic by gribskoff
81. language by mps
82. Lindenbaum-Tarski algebra by CWoo
83. logical axiom by CWoo
84. logical implication by Jon Awbrey
85. logicism by gribskoff
86. L\"ob's theorem by dankomed
87. many-sorted language by CWoo
88. Markov algorithm by CWoo
89. Martin's axiom is consistent by mathcam
90. mathematical platonism by gribskoff
91. matrix representation of relation composition by Jon Awbrey
92. metalanguage by yesitis
93. models constructed from constants by ratboy
94. modus ponens by CWoo
95. monadic algebra by CWoo
96. motivation for von Neumann ordinals by yark
97. mutual recursion by CWoo
98. natural deduction by Henry
99. non-Abelian structures by bci1
100. non-Abelian theory by bci1
101. non-commutative dynamic modeling diagrams by bci1
102. non-standard analysis by PrimeFan
103. operations on relations by CWoo
104. ordering relation by djao
105. orthomodular lattice by CWoo
106. pairing function by rspuzio
107. Peirce's law by Jon Awbrey
108. Penrose's first G\"odelian argument by dankomed
109. polynomials in algebraic systems by CWoo
110. predicativism by gribskoff
111. prenex form by rspuzio
112. Presburger arithmetic by Henry
113. proof equivalence of formulation of foundation by Henry
114. proof of compactness theorem for first order logic by CWoo
115. proof of downward Lowenheim-Skolem theorem by GodelsTheorem
116. propositional calculus by Jon Awbrey
117. propositional logic by Henry
118. quantifier algebra by CWoo
119. quantifier free by mathcam
120. quantum automata and computation by bci1
121. quantum logic by CWoo
122. rational number by djao
123. real closed fields by mathcam
124. realization of a formula by a truth function by CWoo
125. recursive function by rspuzio
126. recursively axiomatizable theory by mathcam
127. relation by CWoo
128. relation composition by Jon Awbrey
129. relation reduction by Jon Awbrey
130. relation theory by Jon Awbrey
131. satisfaction relation by CWoo
132. sentence by Henry
133. sequent by Henry
134. set closed under an operation by archibal
135. Sheffer stroke by CWoo
136. sign relation by Jon Awbrey
137. sign relational complex by Jon Awbrey
138. signature by CWoo
139. similarity and analogous systems: dynamic adjointness and topological equivalence by bci1
140. strong AI thesis by dankomed
141. strongly minimal by Timmy
142. subformula by CWoo
143. subset construction by CWoo
144. supercategory by bci1
145. supercategory theories by bci1
146. syntactic compactness theorem for first order logic by jihemme
147. Tarski's result on the undefinability of truth by mathcam
148. techniques in mathematical proofs by CWoo
149. term algebra by CWoo
150. the inclusion of classical into intuitionistic logic by gribskoff
151. theory by CWoo
152. transfinite induction by jihemme
153. transfinite recursion by CWoo
154. triadic relation by Jon Awbrey
155. type by ratboy
156. unique readability of parenthesized formulas by CWoo
157. universal relation by Henry
158. universal structure by Timmy
159. unlimited register machine by CWoo
160. upward Lowenheim-Skolem theorem by Evandar
161. variable by stevecheng
162. Vaught's test by Evandar
163. visualizing maximal elements by stevecheng
164. von Neumann-Bernays-G\"odel set theory by Aatu
165. weakly compact cardinal by Henry
166. well-founded induction on formulas by jihemme
167. well-founded recursion by CWoo
168. word by juanman
169. Zermelo-Fraenkel axioms by mathcam
170. zeroth order logic by Jon Awbrey