2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106): Difference between revisions

@@ Property / DOI @@
-.2178/bsl/1305810915
@@ Property / DOI: 10.2178/bsl/1305810915 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/bsl/1305810915
+Normal rank
@@ Property / OpenAlex ID @@
+W2504265904
@@ Property / OpenAlex ID: W2504265904 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of König's duality theorem for countable bipartite graphs
+Normal rank
@@ Property / cites work @@
+On the strength of König's duality theorem for infinite bipartite graphs
+Normal rank
@@ Property / cites work @@
+Menger's theorem for infinite graphs
@@ Property / cites work: Menger's theorem for infinite graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Menger's theorem for countable graphs
@@ Property / cites work: Menger's theorem for countable graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms which imply GCH
@@ Property / cites work: Axioms which imply GCH / rank @@
+Normal rank
@@ Property / cites work @@
+The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard Arithmetic and Reverse Mathematics
@@ Property / cites work: Nonstandard Arithmetic and Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of sharply bounded induction requires MSP
+Normal rank
@@ Property / cites work @@
+The strict order property and generic automorphisms
+Normal rank
@@ Property / cites work @@
+Model companions of theories with an automorphism
@@ Property / cites work: Model companions of theories with an automorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and interpolation in non-classical logics
+Normal rank
@@ Property / cites work @@
+Quotient topologies in constructive set theory and type theory
+Normal rank
@@ Property / cites work @@
+Aspects of general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+Q3028990
@@ Property / cites work: Q3028990 / rank @@
+Normal rank
@@ Property / cites work @@
+Abelsche \(p\)-Gruppen und ihre Automorphismengruppen
+Normal rank
@@ Property / cites work @@
+A model complete theory of valued <i>D</i>-fields
@@ Property / cites work: A model complete theory of valued <i>D</i>-fields / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory of the Frobenius on the Witt vectors
@@ Property / cites work: Model theory of the Frobenius on the Witt vectors / rank @@
+Normal rank
@@ Property / cites work @@
+Homomorphismes ''abstraits'' de groupes algébriques simples
+Normal rank
@@ Property / cites work @@
+Post's Programme for the Ershov Hierarchy
@@ Property / cites work: Post's Programme for the Ershov Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Categoricity in homogeneous complete metric spaces
+Normal rank
@@ Property / cites work @@
+Properties of forking in ω-free pseudo-algebraically closed fields
+Normal rank
@@ Property / cites work @@
+OCA and automorphisms of \({\mathfrak P}(\omega)/\text{fin}\)
+Normal rank
@@ Property / cites work @@
+Proper forcing
@@ Property / cites work: Proper forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Homogeneity problems in the theory of Cech compactifications
+Normal rank
@@ Property / cites work @@
+The theory of modules of separably closed fields 1
+Normal rank
@@ Property / cites work @@
+Weak systems of determinacy and arithmetical quasi-inductive definitions
+Normal rank
@@ Property / cites work @@
+Strong and weak constructivization and computable families
+Normal rank
@@ Property / cites work @@
+The product of two reflection classes of the symmetric group
+Normal rank
@@ Property / cites work @@
+Gauss decomposition with prescribed semisimple part in chevalley groups II exceptional cases
+Normal rank
@@ Property / cites work @@
+Gauss decomposition with prescribed semisimple part in classical chevalley groups
+Normal rank
@@ Property / cites work @@
+On a theorem of Schreier and Ulam for countable permutations
+Normal rank
@@ Property / cites work @@
+Best solving modal equations
@@ Property / cites work: Best solving modal equations / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible categories, saturation and categoricity
+Normal rank
@@ Property / cites work @@
+Upward stability transfer for tame abstract elementary classes
+Normal rank
@@ Property / cites work @@
+Separating Classes of Groups by First-Order Sentences
+Normal rank
@@ Property / cites work @@
+Interpreting the arithmetic in Thompson's group \(F\).
+Normal rank
@@ Property / cites work @@
+Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A posteriori convergence in complete Boolean algebras with the sequential topology
+Normal rank
@@ Property / cites work @@
+Unifiability in extensions of K4
@@ Property / cites work: Unifiability in extensions of K4 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between <i>ATR</i><sub>0</sub> and
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey methods in analysis
@@ Property / cites work: Ramsey methods in analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis by iterated reflection
@@ Property / cites work: Proof-theoretic analysis by iterated reflection / rank @@
+Normal rank
@@ Property / cites work @@
+On the induction schema for decidable predicates
@@ Property / cites work: On the induction schema for decidable predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter free induction and provably total computable functions
+Normal rank
@@ Property / cites work @@
+A proof-theoretic analysis of collection
@@ Property / cites work: A proof-theoretic analysis of collection / rank @@
+Normal rank
@@ Property / cites work @@
+Saturated models of universal theories
@@ Property / cites work: Saturated models of universal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3836191
@@ Property / cites work: Q3836191 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Categoricity in hyperarithmetical degrees
@@ Property / cites work: Categoricity in hyperarithmetical degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Logical structures and genus of proofs
@@ Property / cites work: Logical structures and genus of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotic cyclic expansion and bridge groups of formal proofs
+Normal rank
@@ Property / cites work @@
+A cofinality-preserving small forcing may introduce a special Aronszajn tree
+Normal rank
@@ Property / cites work @@
+A Ramsey theorem for trees
@@ Property / cites work: A Ramsey theorem for trees / rank @@
+Normal rank
@@ Property / cites work @@
+Convex decompositions in the plane and continuous pair colorings of the irrationals
+Normal rank
@@ Property / cites work @@
+CONTINUOUS RAMSEY THEORY ON POLISH SPACES AND COVERING THE PLANE BY FUNCTIONS
+Normal rank
@@ Property / cites work @@
+Borel chromatic numbers
@@ Property / cites work: Borel chromatic numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A dichotomy for the definable universe
@@ Property / cites work: A dichotomy for the definable universe / rank @@
+Normal rank
@@ Property / cites work @@
+Compression schemes, stable definable families, and o-minimal structures
+Normal rank
@@ Property / cites work @@
+Defining the set of integers in expansions of the real field by a closed discrete set
+Normal rank
@@ Property / cites work @@
+The model theory of the field of reals with a subgroup of the unit circle
+Normal rank
@@ Property / cites work @@
+Selection functions, bar recursion and backward induction
+Normal rank
@@ Property / cites work @@
+Q3072543
@@ Property / cites work: Q3072543 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable models of theories with few models
@@ Property / cites work: Computable models of theories with few models / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive models of \(\aleph_1\)-categorical theories
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Q3515133
@@ Property / cites work: Q3515133 / rank @@
+Normal rank
@@ Property / cites work @@
+A Borel reductibility theory for classes of countable structures
+Normal rank
@@ Property / cites work @@
+Aristotle's syllogistic
@@ Property / cites work: Aristotle's syllogistic / rank @@
+Normal rank
@@ Property / cites work @@
+The effective theory of Borel equivalence relations
+Normal rank
@@ Property / cites work @@
+Complexity of Categorical Theories with Computable Models
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Located sets and reverse mathematics
@@ Property / cites work: Located sets and reverse mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Comparing DNR and WWKL
@@ Property / cites work: Comparing DNR and WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Relative recursive enumerability of generic degrees
+Normal rank
@@ Property / cites work @@
+Bounding non-GL<sub>2</sub> and R.E.A.
@@ Property / cites work: Bounding non-GL<sub>2</sub> and R.E.A. / rank @@
+Normal rank
@@ Property / cites work @@
+ω-Degree Spectra
@@ Property / cites work: ω-Degree Spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform regular enumerations
@@ Property / cites work: Uniform regular enumerations / rank @@
+Normal rank
@@ Property / cites work @@
+The  -Enumeration Degrees
@@ Property / cites work: The -Enumeration Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+SQUARES, SCALES AND STATIONARY REFLECTION
@@ Property / cites work: SQUARES, SCALES AND STATIONARY REFLECTION / rank @@
+Normal rank
@@ Property / cites work @@
+The torsionfree part of the Ziegler spectrum of <i>RG</i> when <i>R</i> is a Dedekind domain and <i>G</i> is a finite group
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal temporal epistemic logic
@@ Property / cites work: Minimal temporal epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
+Normal rank
@@ Property / cites work @@
+Q5391629
@@ Property / cites work: Q5391629 / rank @@
+Normal rank
@@ Property / DOI @@
+.2178/BSL/1305810915
@@ Property / DOI: 10.2178/BSL/1305810915 / rank @@
+Normal rank