2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
From MaRDI portal
Publication:4678940
Cites work
- scientific article; zbMATH DE number 50939 (Why is no real title available?)
- scientific article; zbMATH DE number 1302869 (Why is no real title available?)
- scientific article; zbMATH DE number 625207 (Why is no real title available?)
- scientific article; zbMATH DE number 1150557 (Why is no real title available?)
- scientific article; zbMATH DE number 194992 (Why is no real title available?)
- scientific article; zbMATH DE number 1846036 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3348059 (Why is no real title available?)
- μ-definable sets of integers
- A game semantics for linear logic
- A model of set-theory in which every set of reals is Lebesgue measurable
- Adding a closed unbounded set
- An Ulm-type classification theorem for equivalence relations in Solovay model
- An algorithm for handling many relational calculus queries efficiently.
- An application of graphical enumeration to PA *
- An axiomatics for nonstandard set theory, based on von Neumann-Bernays-Gödel theory
- Analytic natural deduction
- Categoricity of an abstract elementary class in two successive cardinals
- Church-Rosser property of a simple reduction for full first-order classical natural deduction
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Decidability problems in languages with Henkin quantifiers
- Discrete families of recursive functions and index sets
- Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
- Elementary patterns of resemblance
- European summer meeting of the Association for Symbolic Logic
- Fixpoint logics, relational machines, and computational complexity
- Galois groups of first order theories
- Grothendieck Topology as Geometric Modality
- Hierarchies of Boolean algebras
- Inconsistent models of arithmetic. II: The general case
- Infinite time Turing machines
- Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
- Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
- Least fixed points in the Gödel-Löb logic
- Many-dimensional modal logics: theory and applications
- Minimale Gruppen
- Modal semantics without possible worlds
- On representing concepts in finite models
- On the proof theory of the modal logic for arithmetic provability
- On the slowly well orderedness of \(\varepsilon_0\)
- Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\)
- Ordinal arithmetic and \(\Sigma_1\)-elementarity
- Products of modal logics, part 1
- Propositional lax logic
- Quantum logic in intuitionistic perspective
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
- Semantic analysis of orthologic
- Some applications of computable one-one numberings
- Some partition relations for ideals on \(P_{\kappa}\lambda\)
- Strongly minimal modules
- Studies on the axiom of comprehension
- The classification of hypersmooth Borel equivalence relations
- The consistency problem for positive comprehension principles
- The diameter of a Lascar strong type
- The logics of orthoalgebras
- The modal logic of provability. The sequential approach
- Untersuchungen über das logische Schliessen. II
Cited in
(2)
This page was built for publication: 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4678940)
