1999 European Summer Meeting of the Association for Symbolic Logic

DOI10.2307/421084zbMath0949.03500OpenAlexW2314691009MaRDI QIDQ4953838

No author found.

Publication date: 9 November 2000

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0601-toc.htm

zbMATH Keywords

European Summer MeetingSymbolic logicLogic colloquiumUtrecht, The Netherlands

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

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