216:
257:
181:
250:
32:
71:
39:
286:
243:
56:
281:
276:
192:
177:
134:
227:
83:
17:
270:
146:
158:
223:
24:
215:
197:
55:
is the same as the membership relation ∈ of a set theoretical
191:
Chow, Timothy Y. (2007). "A beginner's guide to forcing".
231:
251:
8:
258:
244:
196:
174:Set theory and the continuum hypothesis
117:Usually, when one talks about a model
7:
212:
210:
230:. You can help Knowledge (XXG) by
121:of set theory, it is assumed that
14:
214:
49:where the membership relation ∈
161:is necessarily a class model.
82:that satisfies the additional
1:
62:(restricted to the domain of
303:
209:
15:
108:standard transitive model
16:Not to be confused with
226:-related article is a
172:Cohen, P. J. (1966).
129:, i.e. the domain of
66:). In other words,
20:(particle physics).
176:. Addison–Wesley.
239:
238:
183:978-0-8053-2327-6
141:If the domain of
78:A standard model
294:
287:Set theory stubs
260:
253:
246:
218:
211:
202:
200:
187:
112:transitive model
302:
301:
297:
296:
295:
293:
292:
291:
267:
266:
265:
264:
207:
205:
190:
184:
171:
167:
86:condition that
54:
21:
12:
11:
5:
300:
298:
290:
289:
284:
279:
269:
268:
263:
262:
255:
248:
240:
237:
236:
219:
204:
203:
188:
182:
168:
166:
163:
50:
29:standard model
18:standard model
13:
10:
9:
6:
4:
3:
2:
299:
288:
285:
283:
280:
278:
275:
274:
272:
261:
256:
254:
249:
247:
242:
241:
235:
233:
229:
225:
220:
217:
213:
208:
199:
194:
189:
185:
179:
175:
170:
169:
164:
162:
160:
156:
152:
148:
144:
140:
136:
132:
128:
124:
120:
115:
113:
110:(or simply a
109:
105:
102: ∈
101:
97:
93:
90: ∈
89:
85:
81:
77:
73:
69:
65:
61:
58:
53:
48:
44:
41:
37:
34:
30:
26:
19:
282:Model theory
232:expanding it
221:
206:
173:
154:
150:
147:proper class
142:
138:
130:
126:
122:
118:
116:
111:
107:
103:
99:
95:
91:
87:
84:transitivity
79:
75:
72:substructure
67:
63:
59:
51:
46:
42:
35:
28:
22:
159:inner model
155:class model
277:Set theory
271:Categories
224:set theory
165:References
25:set theory
198:0712.1320
127:set model
98:implies
92:y ∈
57:universe
149:, then
180:
94:
33:theory
31:for a
222:This
193:arXiv
157:. An
153:is a
145:is a
133:is a
125:is a
106:is a
70:is a
40:model
38:is a
228:stub
178:ISBN
45:for
27:, a
137:in
135:set
114:).
74:of
23:In
273::
139:V.
76:V.
259:e
252:t
245:v
234:.
201:.
195::
186:.
151:M
143:M
131:M
123:M
119:M
104:M
100:x
96:M
88:x
80:M
68:M
64:M
60:V
52:M
47:T
43:M
36:T
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
