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