115:
156:
93:
66:
175:
149:
180:
142:
17:
35:
89:
83:
62:
56:
126:
169:
31:
38:
universal and existential quantification and preimages by recursive functions.
122:
61:, Studies in Logic and the Foundations of Mathematics, Elsevier, p. 158,
22:
88:, Handbook of the History of Logic, vol. 6, Elsevier, p. 465,
114:
130:
82:
Gabbay, Dov M.; Kanamori, Akihiro; Woods, John (2012),
34:
pointsets and is closed under recursive substitution,
150:
8:
85:Sets and Extensions in the Twentieth Century
157:
143:
47:
7:
111:
109:
129:. You can help Knowledge (XXG) by
14:
113:
1:
16:In the mathematical field of
55:Moschovakis, Y. N. (1987),
197:
108:
176:Descriptive set theory
125:-related article is a
58:Descriptive Set Theory
18:descriptive set theory
30:if it contains all
138:
137:
188:
181:Set theory stubs
159:
152:
145:
117:
110:
100:
98:
79:
73:
71:
52:
196:
195:
191:
190:
189:
187:
186:
185:
166:
165:
164:
163:
106:
104:
103:
96:
81:
80:
76:
69:
54:
53:
49:
44:
12:
11:
5:
194:
192:
184:
183:
178:
168:
167:
162:
161:
154:
147:
139:
136:
135:
118:
102:
101:
94:
74:
67:
46:
45:
43:
40:
26:can be called
13:
10:
9:
6:
4:
3:
2:
193:
182:
179:
177:
174:
173:
171:
160:
155:
153:
148:
146:
141:
140:
134:
132:
128:
124:
119:
116:
112:
107:
97:
95:9780080930664
91:
87:
86:
78:
75:
70:
68:9780080963198
64:
60:
59:
51:
48:
41:
39:
37:
33:
29:
25:
24:
19:
131:expanding it
120:
105:
84:
77:
57:
50:
27:
21:
15:
170:Categories
123:set theory
42:References
23:pointclass
32:recursive
28:adequate
36:bounded
92:
65:
121:This
127:stub
90:ISBN
63:ISBN
20:, a
172::
158:e
151:t
144:v
133:.
99:.
72:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.