10th Asian Logic Conference (Q3633210)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	10th Asian Logic Conference	scientific article

Statements

scholarly article

0 references

10th Asian Logic Conference (English)

0 references

The Bulletin of Symbolic Logic

0 references

publication date

17 June 2009

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.2178/bsl/1243948490

0 references

Graev metric groups and Polishable subgroups

0 references

Borel subgroups of Polish groups

0 references

New metrics on free groups

0 references

A uniformly continuous function on [0,1] that is everywhere different from its infimum

0 references

Infinite finitely generated fields are biinterpretable with ℕ

0 references

Simplified morasses

0 references

Elementary equivalence versus isomorphism

0 references

SET MAPPING REFLECTION

0 references

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

0 references

A comparison of tree transductions defined by monadic second order logic and by attribute grammars

0 references

Generic oracles, uniform machines, and codes

0 references

Simple unstable theories

0 references

Simple theories

0 references

Orderings for term-rewriting systems

0 references

Generalized amalgamation and \(n\)-simplicity

0 references

The Strength of Blackwell determinacy

0 references

The determinacy of Blackwell games

0 references

0 references

Forking in Simple Unstable Theories

0 references

What is strict implication?

0 references

Coordinatisation and canonical bases in simple theories

0 references

CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION

0 references

The geometry of 1-based minimal types

0 references

A new recursion-theoretic characterization of the polytime functions

0 references

A trichotomy theorem for o-minimal structures

0 references

Linear o-minimal structures

0 references

On a combinatorial property of menas related to the partition property for measures on supercompact cardinals

0 references

Non-standard analysis in ACA0 and Riemann mapping theorem

0 references

The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method

0 references

Formalizing forcing arguments in subsystems of second-order arithmetic

0 references

Transfer principle in quantum set theory

0 references

Maximal beable subalgebras of quantum mechanical observables

0 references

Measure theory and weak König's lemma

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

10.2178/BSL/1243948490

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3633210

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3633210&oldid=39333809"