2004 Annual Meeting of the Association for Symbolic Logic (Q3370628): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q3340832
@@ Property / cites work: Q3340832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness and reducibility
@@ Property / cites work: Randomness and reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+TPS: A theorem-proving system for classical type theory
+Normal rank
@@ Property / cites work @@
+Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
+Normal rank
@@ Property / cites work @@
+Simple and immune relations on countable structures
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Weakly computable real numbers
@@ Property / cites work: Weakly computable real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Refined program extraction from classical proofs
@@ Property / cites work: Refined program extraction from classical proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511553
@@ Property / cites work: Q4511553 / rank @@
+Normal rank