1995 Annual Meeting of the Association for Symbol Logic (Q4858811): Difference between revisions

@@ Property / OpenAlex ID @@
+W4239168855
@@ Property / OpenAlex ID: W4239168855 / rank @@
+Normal rank
@@ Property / cites work @@
+A simplified proof of \(DDL<DL\)
@@ Property / cites work: A simplified proof of \(DDL<DL\) / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of Borel determinacy
@@ Property / cites work: An extension of Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+General Relativity
@@ Property / cites work: General Relativity / rank @@
+Normal rank
@@ Property / cites work @@
+Determinacy and the sharp function on the reals
@@ Property / cites work: Determinacy and the sharp function on the reals / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence of determinacy and iterated sharps
+Normal rank
@@ Property / cites work @@
+Groups with the minimal condition on centralizers
@@ Property / cites work: Groups with the minimal condition on centralizers / rank @@
+Normal rank
@@ Property / cites work @@
+Supercompact cardinals, sets of reals, and weakly homogeneous trees
+Normal rank
@@ Property / cites work @@
+Labelling systems and r.e. structures
@@ Property / cites work: Labelling systems and r.e. structures / rank @@
+Normal rank
@@ Property / cites work @@
+Models of arithmetic and upper bounds for arithmetic sets
+Normal rank
@@ Property / cites work @@
+Gleason's theorem is not constructively provable
@@ Property / cites work: Gleason's theorem is not constructively provable / rank @@
+Normal rank