Fixed-points of Set-continuous Operators

DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1521-3870(200005)46:2<183::AID-MALQ183>3.0.CO;2-2" /><183::AID-MALQ183>3.0.CO;2-2 10.1002/(SICI)1521-3870(200005)46:2<183::AID-MALQ183>3.0.CO;2-2zbMath0947.03070OpenAlexW2039043496MaRDI QIDQ4487245

Roland Hinnion, Olivier Esser, Daniel Dzierzgowski

Publication date: 7 November 2000

Full work available at URL: https://doi.org/10.1002/(sici)1521-3870(200005)46:2<183::aid-malq183>3.0.co;2-2

zbMATH Keywords

liar paradoxfixed-pointmonotone operatorsGödel-Bernays set theoryclass operatorKelley-Morse set theorydirected superclassesintersection of a directed familymaximal bisimulationsset-continuous operator

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

This page was built for publication: Fixed-points of Set-continuous Operators