The definable tree property for successors of cardinals (Q506976): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+E35
@@ Property / Mathematics Subject Classification ID: 03E35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E05
@@ Property / Mathematics Subject Classification ID: 03E05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E55
@@ Property / Mathematics Subject Classification ID: 03E55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E50
@@ Property / Mathematics Subject Classification ID: 03E50 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6680072
@@ Property / zbMATH DE Number: 6680072 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Aronszajn tree
@@ Property / zbMATH Keywords: Aronszajn tree / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+definable tree property
@@ Property / zbMATH Keywords: definable tree property / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\varPi ^{1}_1\)-reflecting cardinal
@@ Property / zbMATH Keywords: \(\varPi ^{1}_1\)-reflecting cardinal / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Easton reverse iteration
@@ Property / zbMATH Keywords: Easton reverse iteration / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+extender based Prikry forcing
@@ Property / zbMATH Keywords: extender based Prikry forcing / rank @@
+Normal rank

Revision as of 01:48, 1 July 2023