146:
168:
354:
100:
271:
129:
215:
188:
315:
183:
151:
88:
436:
366:
47:
22:
431:
291:
210:
426:
198:
178:
342:
337:
327:
112:
67:
286:
232:
303:
173:
254:
193:
124:
395:
249:
163:
17:
244:
420:
407:
383:
332:
276:
259:
141:
371:
281:
71:
51:
227:
35:
This category has the following 2 subcategories, out of 2 total.
87:
The following 40 pages are in this category, out of 40 total.
84:Pages in category "Constructivism (mathematics)"
169:Church's thesis (constructive mathematics)
8:
355:Non-constructive algorithm existence proofs
101:Constructivism (philosophy of mathematics)
147:Brouwer–Heyting–Kolmogorov interpretation
272:Indecomposability (intuitionistic logic)
89:This list may not reflect recent changes
130:Axiom schema of predicative separation
7:
216:Disjunction and existence properties
93:
37:
29:
14:
189:Constructive nonstandard analysis
316:Limited principle of omniscience
184:Construction of the real numbers
367:Primitive recursive arithmetic
1:
23:Constructivism (mathematics)
152:Brouwer–Hilbert controversy
453:
292:Intuitionistic type theory
16:The main article for this
15:
211:Diaconescu's theorem
328:Markov's principle
199:Constructive set theory
179:Computable model theory
343:Modulus of convergence
437:Theories of deduction
338:Modulus of continuity
113:Constructive analysis
287:Intuitionistic logic
233:Friedman translation
174:Computable analysis
48:Computable analysis
432:Mathematical logic
304:KĹ‘nig's lemma
255:Heyting arithmetic
194:Constructive proof
125:Apartness relation
444:
73:
53:
452:
451:
447:
446:
445:
443:
442:
441:
417:
416:
415:
414:
413:
412:
400:
396:Subcountability
388:
376:
359:
347:
320:
308:
296:
264:
250:Heyting algebra
237:
220:
203:
164:Choice sequence
156:
134:
117:
105:
81:
80:
79:
78:
75:
74:
58:
55:
54:
28:
27:
12:
11:
5:
450:
448:
440:
439:
434:
429:
427:Constructivism
419:
418:
411:
410:
404:
401:
399:
398:
392:
389:
387:
386:
380:
377:
375:
374:
369:
363:
360:
358:
357:
351:
348:
346:
345:
340:
335:
330:
324:
321:
319:
318:
312:
309:
307:
306:
300:
297:
295:
294:
289:
284:
279:
274:
268:
265:
263:
262:
257:
252:
247:
245:Harrop formula
241:
238:
236:
235:
230:
224:
221:
219:
218:
213:
207:
204:
202:
201:
196:
191:
186:
181:
176:
171:
166:
160:
157:
155:
154:
149:
144:
138:
135:
133:
132:
127:
121:
118:
116:
115:
109:
106:
104:
103:
97:
95:
94:
85:
82:
77:
76:
66:
65:
62:
59:
57:
56:
46:
45:
42:
39:
38:
33:
30:
13:
10:
9:
6:
4:
3:
2:
449:
438:
435:
433:
430:
428:
425:
424:
422:
409:
408:Ultrafinitism
406:
405:
402:
397:
394:
393:
390:
385:
384:Realizability
382:
381:
378:
373:
370:
368:
365:
364:
361:
356:
353:
352:
349:
344:
341:
339:
336:
334:
333:Minimal logic
331:
329:
326:
325:
322:
317:
314:
313:
310:
305:
302:
301:
298:
293:
290:
288:
285:
283:
280:
278:
277:Inhabited set
275:
273:
270:
269:
266:
261:
260:Heyting field
258:
256:
253:
251:
248:
246:
243:
242:
239:
234:
231:
229:
226:
225:
222:
217:
214:
212:
209:
208:
205:
200:
197:
195:
192:
190:
187:
185:
182:
180:
177:
175:
172:
170:
167:
165:
162:
161:
158:
153:
150:
148:
145:
143:
142:Bar induction
140:
139:
136:
131:
128:
126:
123:
122:
119:
114:
111:
110:
107:
102:
99:
98:
96:
92:
90:
83:
69:
64:
63:
60:
49:
44:
43:
40:
36:
32:Subcategories
31:
25:
24:
19:
372:Pseudo-order
282:Intuitionism
86:
68:Intuitionism
34:
21:
421:Categories
228:Finitism
18:category
72:(23 P)
52:(9 P)
20:is
423::
91:.
70:‎
50:‎
403:U
391:S
379:R
362:P
350:N
323:M
311:L
299:K
267:I
240:H
223:F
206:D
159:C
137:B
120:A
108:*
61:I
41:C
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.