1999 European Summer Meeting of the Association for Symbolic Logic (Q4953838): Difference between revisions

@@ Property / OpenAlex ID @@
+W2314691009
@@ Property / OpenAlex ID: W2314691009 / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Counterfactuals and comparative possibility
@@ Property / cites work: Counterfactuals and comparative possibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of some Martin-Löf type theories
@@ Property / cites work: The strength of some Martin-Löf type theories / rank @@
+Normal rank
@@ Property / cites work @@
+A well-ordering proof for Feferman's theoryT 0
@@ Property / cites work: A well-ordering proof for Feferman's theoryT 0 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+An Elementary Approach to the Fine Structure of <i>L</i>
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchies and Boolean terms
@@ Property / cites work: Fine hierarchies and Boolean terms / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate logics without the structure rules
@@ Property / cites work: Predicate logics without the structure rules / rank @@
+Normal rank
@@ Property / cites work @@
+Implicational formulas in intuitionistic logic
@@ Property / cites work: Implicational formulas in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theoretic properties of frequency computation and bounded queries
+Normal rank
@@ Property / cites work @@
+The theory of the recursively enumerable weak truth-table degrees is undecidable
+Normal rank
@@ Property / cites work @@
+Q3998431
@@ Property / cites work: Q3998431 / rank @@
+Normal rank
@@ Property / cites work @@
+On groups and fields definable in o-minimal structures
+Normal rank
@@ Property / cites work @@
+Q4160890
@@ Property / cites work: Q4160890 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational types from a logical perspective
@@ Property / cites work: Computational types from a logical perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and intuitionistic models of arithmetic
@@ Property / cites work: Classical and intuitionistic models of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic validity in \(T\)-normal Kripke structures
+Normal rank
@@ Property / cites work @@
+Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik
+Normal rank
@@ Property / cites work @@
+A logic stronger than intuitionism
@@ Property / cites work: A logic stronger than intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Logical and philosophical ideas in certain formal approaches to language
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+The Picard group of noncommutative rings, in particular of orders
+Normal rank
@@ Property / cites work @@
+Q4331784
@@ Property / cites work: Q4331784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995219
@@ Property / cites work: Q3995219 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomially solvable satisfiability problems
@@ Property / cites work: Polynomially solvable satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank