Sciweavers

APAL
2008
95views more  APAL 2008»
13 years 11 months ago
Cartesian closed Dialectica categories
When G
Bodil Biering
APAL
2008
63views more  APAL 2008»
13 years 11 months ago
The nonstandard quantum plane
Ivo Herzog, Sonia L'Innocente
APAL
2008
93views more  APAL 2008»
13 years 11 months ago
Arithmetic of Dedekind cuts of ordered Abelian groups
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the th...
Antongiulio Fornasiero, Marcello Mamino
APAL
2008
72views more  APAL 2008»
13 years 11 months ago
A semi-linear group which is not affine
In this short note we provide an example of a semi-linear group G which does not admit a semi-linear affine embedding; in other words, there is no semi-linear isomorphism between t...
Pantelis E. Eleftheriou
APAL
2008
55views more  APAL 2008»
13 years 11 months ago
What is o-minimality?
We characterize the o-minimal expansions of the ring of real numbers, in mathematically transparent terms. This should help bridge the gap between investigators in ominimality and ...
Harvey M. Friedman
APAL
2008
88views more  APAL 2008»
13 years 11 months ago
Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence
Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic T-coalgebras that interpret coalgebraic logic which is defined in terms of predicate ...
Ernst-Erich Doberkat
APAL
2008
104views more  APAL 2008»
13 years 11 months ago
Atomic models higher up
There exists a countable structure M of Scott rank CK 1 where M 1 = CK 1 and where the LCK 1 ,-theory of M is not -categorical. The Scott rank of a model is the least ordinal whe...
Jessica Millar, Gerald E. Sacks
APAL
2008
67views more  APAL 2008»
13 years 11 months ago
Proof nets sequentialisation in multiplicative linear logic
Abstract. We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a ...
Paolo Di Giamberardino, Claudia Faggian
APAL
2008
77views more  APAL 2008»
13 years 11 months ago
More on SOP1 and SOP2
This paper continues [Sh500] and [DzSh692]. We present a rank function for NSOP1 theories and give an example of a theory which is NSOP1 but not simple. We also investigate the con...
Saharon Shelah, Alexander Usvyatsov