Congruence lattice problem
This page lists the items of the Wikipedia article Congruence lattice problem in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1364856992, with the assessment B/Low.
| Outcome | Items |
|---|---|
| deferred | 29 |
| node | 3 |
The gap signals of the article are S1,S4,S5,S6,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | problem | Congruence lattice problem | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #0AYF | statement | Lemma | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #3PE0 | statement | Theorem (Ershov 1977, Pudlák 1985) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #8TD2 | statement | Theorem (Dobbertin 1986) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #8YDB | statement | Theorem (Freese, Lampe, and Taylor 1979) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #9MV9 | statement | Theorem (Wehrung 2004) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #BCJN | statement | Theorem (Wehrung 2008) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #CYBT | statement | Theorem (Tůma and Wehrung 2006) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #E622 | statement | Theorem (Ploščica, Tůma, and Wehrung 1998) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #ELXR | statement | Theorem (Schmidt 1981) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #F6IU | statement | Theorem (Bulman-Fleming and McDowell 1978) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #FZ64 | statement | Theorem (Wehrung 1998) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #GDR3 | statement | Theorem (Dilworth ≈1940, Grätzer and Schmidt 1962) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #IZLZ | statement | Theorem (Grätzer and Schmidt 1963) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #KAE7 | statement | Theorem (Wehrung 1999) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #KME9 | problem | Problem 3 (Goodearl 1991) | node (adopted) | Problem 3 (Goodearl 1991) | |
| #KMLU | problem | Problem 2 (Dobbertin 1983) | node (adopted) | Problem 2 (Dobbertin 1983) | |
| #LRWP | statement | Theorem | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #MHKZ | statement | Theorem | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #O1TG | statement | Theorem (Lampe 1982) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #ONSL | statement | Theorem (Pudlák 1985) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #OZ5F | statement | Theorem (Wehrung 2007) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #PI40 | statement | Theorem (Birkhoff and Frink 1948) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #PLMW | statement | A first application of Kuratowski's free set theorem | deferred until 2027-05-01 | the heading names a part of the text and not one item | |
| #R2WM | statement | Solving CLP: the Erosion Lemma | deferred until 2027-05-01 | the heading names a step or a part of the text and not one item | |
| #RS1F | problem | Problem 1 (Schmidt 1968) | node (adopted) | Problem 1 (Schmidt 1968) | |
| #S49P | statement | Theorem (Wehrung 2003) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #TU8N | statement | Theorem (Schmidt 1968) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #UT1E | definition | Definition (Ploščica, Tůma, and Wehrung 1998) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #WB8D | statement | Theorem (Růžička 2008) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #X7GH | statement | Theorem (Huhn 1985) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #YPLI | statement | Theorem (Funayama and Nakayama 1942) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item |
Refer to Wikipedia articles and their nodes for the other articles.