66:
190:
231:
250:
157:
224:
255:
28:
217:
152:
43:
121:
101:
197:
20:
140:
133:
35:
50:
201:
65:
244:
173:
127:
113:
107:
39:
49:
Saying that a theory is elementary is a weaker condition than saying it is
169:
32:
189:
178:
Sheaves in
Geometry and Logic: A First Introduction to Topos Theory,
60:
205:
77:
225:
8:
232:
218:
96:Examples of elementary theories include:
7:
186:
184:
141:Axiomization of Euclidean geometry
14:
188:
64:
31:that involves axioms using only
158:Elementary theory of the reals
42:or using any axioms that have
1:
204:. You can help Knowledge by
272:
183:
251:Mathematical logic stubs
38:, without reference to
200:-related article is a
153:Elementary definition
46:equal to set theory.
44:consistency strength
256:Mathematical logic
198:mathematical logic
134:real closed fields
76:. You can help by
21:mathematical logic
16:Mathematical logic
213:
212:
94:
93:
36:first-order logic
25:elementary theory
263:
234:
227:
220:
192:
185:
89:
86:
68:
61:
271:
270:
266:
265:
264:
262:
261:
260:
241:
240:
239:
238:
166:
149:
90:
84:
81:
74:needs expansion
59:
17:
12:
11:
5:
269:
267:
259:
258:
253:
243:
242:
237:
236:
229:
222:
214:
211:
210:
193:
182:
181:
165:
162:
161:
160:
155:
148:
145:
144:
143:
138:
137:
136:
132:The theory of
130:
126:The theory of
120:The theory of
118:
117:
116:
114:abelian groups
112:The theory of
110:
106:The theory of
100:The theory of
92:
91:
71:
69:
58:
55:
15:
13:
10:
9:
6:
4:
3:
2:
268:
257:
254:
252:
249:
248:
246:
235:
230:
228:
223:
221:
216:
215:
209:
207:
203:
199:
194:
191:
187:
179:
175:
171:
168:
167:
163:
159:
156:
154:
151:
150:
146:
142:
139:
135:
131:
129:
128:finite fields
125:
124:
123:
119:
115:
111:
109:
108:finite groups
105:
104:
103:
99:
98:
97:
88:
79:
75:
72:This section
70:
67:
63:
62:
56:
54:
52:
47:
45:
41:
37:
34:
30:
26:
22:
206:expanding it
195:
177:
95:
85:January 2021
82:
78:adding to it
73:
48:
24:
18:
245:Categories
164:References
40:set theory
51:algebraic
174:Moerdijk
170:Mac Lane
57:Examples
33:finitary
180:page 4.
147:Related
122:fields
102:groups
29:theory
196:This
27:is a
23:, an
202:stub
172:and
80:.
19:In
247::
176:,
53:.
233:e
226:t
219:v
208:.
87:)
83:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.