display all the ideas for this combination of texts
2 ideas
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |