10th Asian Logic Conference

DOI10.2178/BSL/1243948490zbMATH Open1162.03301OpenAlexW2497245960MaRDI QIDQ3633210FDOQ3633210

Authors:

Publication date: 17 June 2009

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

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

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Collections of abstracts of lectures (00B05)

Cites Work

• The determinacy of Blackwell games
• A new recursion-theoretic characterization of the polytime functions
• Orderings for term-rewriting systems
• Simple theories
• Simple unstable theories
• Borel subgroups of Polish groups
• A uniformly continuous function on [0,1] that is everywhere different from its infimum
• Measure theory and weak König's lemma
• SET MAPPING REFLECTION
• Coordinatisation and canonical bases in simple theories
• Graev metric groups and Polishable subgroups
• Non-standard analysis in ACA0 and Riemann mapping theorem
• Forking in Simple Unstable Theories
• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• Formalizing forcing arguments in subsystems of second-order arithmetic
• 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
• CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION
• Maximal beable subalgebras of quantum mechanical observables
• Simplified morasses
• On a combinatorial property of menas related to the partition property for measures on supercompact cardinals
• A trichotomy theorem for o-minimal structures
• Linear o-minimal structures
• The geometry of 1-based minimal types
• What is strict implication?
• A comparison of tree transductions defined by monadic second order logic and by attribute grammars
• New metrics on free groups
• Elementary equivalence versus isomorphism
• Generic oracles, uniform machines, and codes
• Generalized amalgamation and \(n\)-simplicity
• E and S4
• Transfer principle in quantum set theory
• Infinite finitely generated fields are biinterpretable with ℕ
• The Strength of Blackwell determinacy

This page was built for publication: 10th Asian Logic Conference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3633210)