169:
210:
134:
89:
203:
239:
229:
234:
196:
244:
25:
44:
130:
180:
56:
223:
29:
150:," Paweł Waszkiewicz, Electronic Notes in Theoretical Computer Science 83 (2004)
129:, Encyclopedia of Mathematics and its Applications, Cambridge University Press.
109:
92:
81:
77:
147:
122:
168:
176:
21:
43:
is generated by the subbasis consisting of all complements of principal
37:
55:
is the smallest common refinement of the lower topology and the
121:
G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove,
184:
16:
In mathematics and theoretical computer science the
204:
8:
211:
197:
20:, named after Jimmie D. Lawson, is a
7:
165:
163:
14:
167:
148:How Do Domains Model Topologies?
127:Continuous Lattices and Domains
1:
183:. You can help Knowledge by
261:
162:
84:, the Lawson topology on
51:. The Lawson topology on
26:partially ordered sets
28:used in the study of
192:
191:
252:
240:General topology
213:
206:
199:
177:topology-related
171:
164:
260:
259:
255:
254:
253:
251:
250:
249:
220:
219:
218:
217:
160:
157:
154:
143:
118:
106:
96:
69:
18:Lawson topology
12:
11:
5:
258:
256:
248:
247:
242:
237:
232:
230:Topology stubs
222:
221:
216:
215:
208:
201:
193:
190:
189:
172:
152:
151:
142:
141:External links
139:
138:
137:
117:
114:
113:
112:
105:
102:
101:
100:
94:
68:
65:
57:Scott topology
34:lower topology
13:
10:
9:
6:
4:
3:
2:
257:
246:
243:
241:
238:
236:
235:Domain theory
233:
231:
228:
227:
225:
214:
209:
207:
202:
200:
195:
194:
188:
186:
182:
179:article is a
178:
173:
170:
166:
161:
158:
155:
149:
145:
144:
140:
136:
135:0-521-80338-1
132:
128:
124:
120:
119:
115:
111:
108:
107:
103:
98:
91:
87:
83:
79:
75:
71:
70:
66:
64:
62:
58:
54:
50:
46:
42:
39:
35:
31:
30:domain theory
27:
23:
19:
245:Order theory
185:expanding it
174:
159:
156:
153:
126:
88:is always a
85:
73:
60:
52:
48:
40:
33:
17:
15:
123:D. S. Scott
110:Formal ball
82:semilattice
224:Categories
116:References
67:Properties
125:(2003),
104:See also
97:topology
90:complete
78:complete
59:on
22:topology
45:filters
133:
80:upper
32:. The
175:This
76:is a
38:poset
36:on a
181:stub
131:ISBN
72:If
47:on
24:on
226::
63:.
212:e
205:t
198:v
187:.
146:"
99:.
95:1
93:T
86:P
74:P
61:P
53:P
49:P
41:P
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
