2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000
From MaRDI portal
Publication:2732529
DOI10.2307/2687834zbMath0969.03500OpenAlexW2314488844MaRDI QIDQ2732529
No author found.
Publication date: 23 September 2001
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0701-toc.htm
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
- Linear logic
- Normalization and excluded middle. I
- Formal semantics for mutual belief
- Functional interpretations of feasibly constructive arithmetic
- Eine Erweiterung der Infinitesimalrechnung
- Model theory of modules
- Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
- Dimensional order property and pairs of models
- Infinite combinatorics and definability
- Generic copies of countable structures
- A jump operator on honest subrecursive degrees
- A paradox regained
- A note on syntactical treatments of modality
- Semantical investigations in Heyting's intuitionistic logic
- A propositional logic with explicit fixed points
- Proceedings of the Herbrand Symposium. Logic Colloquium '81, held in Marseille, France, July 1981
- Bounded arithmetic for NC, ALogTIME, L and NL
- Principal types of BCK-lambda-terms
- Nonstandard hulls of Banach spaces
- On automorphism groups of compact Kähler manifolds
- A problem on spreading models
- Information and impossibilities
- An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
- Groupwise density and the cofinality of the infinite symmetric group
- Strong \(\Delta_1\)-definability of a model in an admissible set
- A necessary and sufficient condition for embedding ranked finite partial lattices into the computably enumerable degrees
- Logical and philosophical ideas in certain formal approaches to language
- Metamathematics of fuzzy logic
- Logic of proofs
- A theory of nonmonotonic rule systems I
- A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees
- The unfolding of non-finitist arithmetic
- Multifunction algebras and the provability of \(PH\downarrow\)
- A calculus for overloaded functions with subtyping
- Nonstandard characterization of pseudovarieties
- Relating the bounded arithmetic and polynomial time hierarchies
- Choice principles in hyperuniverses
- Intuitionistic choice and classical logic
- Semigroups of nonlinear transformations
- Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
- The consistency problem for positive comprehension principles
- Cuts, consistency statements and interpretations
- On the proof theory of the intermediate logic MH
- Partial realizations of Hilbert's program
- Gödel's Second incompleteness theorem for Q
- Grasping Infinity by Finite Sets
- Quantifier elimination for neocompact sets
- Weakly o-minimal structures and some of their properties
- The determinacy of Blackwell games
- Uniqueness of normal proofs of minimal formulas
- Partitions of products
- Hyper-regular lattice-ordered groups
- Extended Grzegorczyk Hierarchy in the BSS Model of Computability
- Products of modal logics, part 1
- Power types in explicit mathematics?
- Proofs of strong normalisation for second order classical natural deduction
- Extensions for open default theories via the domain closure assumption
- STS: a structural theory of sets
- About Segment Complexity of Turing Reductions
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
- An approach to object semantics based on terminal co-algebras
- Cofinitary Permutation Groups
- On power set in explicit mathematics
- Effective model theory vs. recursive model theory
- On the calculus of relations
- The Architecture of Mathematics
- Basic predicate calculus
This page was built for publication: 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000
