On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos (Q2805156): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Sur le théorème de Zorn / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3671978 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Discrete Objects in the Effective Topos / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5622402 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3671153 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Realizability. An introduction to its categorical side / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet / rank | |||
Normal rank |
Latest revision as of 23:13, 11 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos |
scientific article |
Statements
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos (English)
0 references
10 May 2016
0 references
constructive fixed-point theorems
0 references
chain-complete posets
0 references
effective topos
0 references