Proper forcing axiom (Q464048): Difference between revisions
Jump to navigation
Jump to search
(Created a new Item: Document Proper forcing axiom added by Lapacz) |
(Changed an Item: Updating statements of entity ["Proper forcing axiom" (pl), "Proper forcing axiom" (en)] with Lapacz) |
||
| Property / Type | |||
| Property / Type: Unknown / rank | |||
Normal rank | |||
| Property / Version | |||
Vernon Roche | |||
| Property / Version: Vernon Roche / rank | |||
Normal rank | |||