10th Asian Logic Conference
From MaRDI portal
Publication:3633210
DOI10.2178/bsl/1243948490zbMath1162.03301OpenAlexW2497245960MaRDI QIDQ3633210
No author found.
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
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Orderings for term-rewriting systems
- The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
- New metrics on free groups
- Generalized amalgamation and \(n\)-simplicity
- A uniformly continuous function on [0,1 that is everywhere different from its infimum]
- Generic oracles, uniform machines, and codes
- A new recursion-theoretic characterization of the polytime functions
- Linear o-minimal structures
- Simple theories
- Elementary equivalence versus isomorphism
- A comparison of tree transductions defined by monadic second order logic and by attribute grammars
- Maximal beable subalgebras of quantum mechanical observables
- Graev metric groups and Polishable subgroups
- E and S4
- Formalizing forcing arguments in subsystems of second-order arithmetic
- Borel subgroups of Polish groups
- Measure theory and weak König's lemma
- 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
- The Strength of Blackwell determinacy
- On a combinatorial property of menas related to the partition property for measures on supercompact cardinals
- Non-standard analysis in ACA0 and Riemann mapping theorem
- CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION
- Infinite finitely generated fields are biinterpretable with ℕ
- Simplified morasses
- A trichotomy theorem for o-minimal structures
- Simple unstable theories
- The determinacy of Blackwell games
- The geometry of 1-based minimal types
- Forking in Simple Unstable Theories
- Coordinatisation and canonical bases in simple theories
- Transfer principle in quantum set theory
- What is strict implication?
- SET MAPPING REFLECTION
This page was built for publication: 10th Asian Logic Conference
