2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

DOI10.2178/bsl/1146620064zbMath1107.03303OpenAlexW2318616287MaRDI QIDQ3430941

No author found.

Publication date: 5 April 2007

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

Full work available at URL: https://doi.org/10.2178/bsl/1146620064

Mathematics Subject Classification ID

Collections of abstracts of lectures (00B05) 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• A new strongly minimal set
• Inherent complexity of recursive queries
• What truth depends on
• Syntax and semantics of superintuitionistic logics
• Partial-predicate logic in computer science
• On groups and fields definable in o-minimal structures
• On the number of steps in proofs
• Choiceless polynomial time
• A propositional logic with explicit fixed points
• The structuralist view of mathematical objects
• An optimal lower bound on the number of variables for graph identification
• A new recursion-theoretic characterization of the polytime functions
• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• An algebraic approach to non-classical logics
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Metamathematics of fuzzy logic
• Logic of proofs
• The strength of some Martin-Löf type theories
• Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets
• Computable structures and the hyperarithmetical hierarchy
• Hilbert's paradox
• Forcing indestructibility of MAD families
• Possible-worlds semantics for modal notions conceived as predicates
• \(n\)-permutable varieties satisfy non trivial congruence identities
• Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
• The monadic theory of morphic infinite words and generalizations
• Cohen-stable families of subsets of integers
• Explicit Provability and Constructive Semantics
• Some Weak Forms of the Axiom of Choice Restricted to the Real Line
• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• Small profinite groups
• Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers
• Small profinite structures
• Separating Classes of Groups by First-Order Sentences
• The Mathematics of Sentence Structure
• Temporal logic can be more expressive
• Cuts, consistency statements and interpretations
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• ON THE TWO-COLOURING OF HYPERGRAPHS
• Constructive set theory
• Gödel's Second incompleteness theorem for Q
• Undecidability of modal and intermediate first-order logics with two individual variables
• On the Correspondence Between Modal and Classical Logic: an Automated Approach
• On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics
• Choice principles for special subsets of the real line
• How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
• On polynomial time computation over unordered structures
• Provably total functions of Basic Arithmetic
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• Mathematics as a Science of Patterns: Epistemology
• Datalog programs and their persistency numbers
• What is strict implication?
• FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC
• Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
• No future
• Basic predicate calculus

This page was built for publication: 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05