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