10th Asian Logic Conference
type: Item
instance of: scholarly article
title: 10th Asian Logic Conference
zbMATH Open document ID: 1162.03301
published in: The Bulletin of Symbolic Logic
publication date: 2009-06-17T00:00:00Z
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 00B05
zbMATH DE Number: 5566114
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.2178/bsl/1243948490
OpenAlex ID: W2497245960
cites work: Graev metric groups and Polishable subgroups
cites work: Borel subgroups of Polish groups
cites work: New metrics on free groups
cites work: A uniformly continuous function on [0,1] that is everywhere different from its infimum
cites work: Infinite finitely generated fields are biinterpretable with ℕ
cites work: Simplified morasses
cites work: Elementary equivalence versus isomorphism
cites work: SET MAPPING REFLECTION
cites work: Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
cites work: A comparison of tree transductions defined by monadic second order logic and by attribute grammars
cites work: Generic oracles, uniform machines, and codes
cites work: Simple unstable theories
cites work: Simple theories
cites work: Orderings for term-rewriting systems
cites work: Generalized amalgamation and \(n\)-simplicity
cites work: The Strength of Blackwell determinacy
cites work: The determinacy of Blackwell games
cites work: E and S4
cites work: Forking in Simple Unstable Theories
cites work: What is strict implication?
cites work: Coordinatisation and canonical bases in simple theories
cites work: CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION
cites work: The geometry of 1-based minimal types
cites work: A new recursion-theoretic characterization of the polytime functions
cites work: A trichotomy theorem for o-minimal structures
cites work: Linear o-minimal structures
cites work: On a combinatorial property of menas related to the partition property for measures on supercompact cardinals
cites work: Non-standard analysis in ACA0 and Riemann mapping theorem
cites work: The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
cites work: Formalizing forcing arguments in subsystems of second-order arithmetic
cites work: Transfer principle in quantum set theory
cites work: Maximal beable subalgebras of quantum mechanical observables
cites work: Measure theory and weak König's lemma
DOI: 10.2178/BSL/1243948490
description: scientific article