Fixed-points of Set-continuous Operators (Q4487245)
From MaRDI portal
scientific article; zbMATH DE number 1463086
Language | Label | Description | Also known as |
---|---|---|---|
English | Fixed-points of Set-continuous Operators |
scientific article; zbMATH DE number 1463086 |
Statements
7 November 2000
0 references
class operator
0 references
Gödel-Bernays set theory
0 references
Kelley-Morse set theory
0 references
set-continuous operator
0 references
fixed-point
0 references
intersection of a directed family
0 references
monotone operators
0 references
directed superclasses
0 references
liar paradox
0 references
maximal bisimulations
0 references
Fixed-points of Set-continuous Operators (English)
0 references