Sciweavers

JSYML
2010
120views more  JSYML 2010»
12 years 10 months ago
First order properties on nowhere dense structures
A set A of vertices of a graph G is called d-scattered in G if no two d-neighborhoods of (distinct) vertices of A intersect. In other words, A is d-scattered if no two distinct ver...
Jaroslav Nesetril, Patrice Ossona de Mendez
JSYML
2010
60views more  JSYML 2010»
12 years 10 months ago
Generalizations of small profinite structures
We generalize the model theory of small profinite structures developed by Newelski to the case of compact metric spaces considered together with compact groups of homeomorphisms a...
Krzysztof Krupinski
JSYML
2010
78views more  JSYML 2010»
12 years 10 months ago
A characterization of the 0-basis homogeneous bounding degrees
We say a countable model A has a 0-basis if the types realized in A are uniformly computable. We say A has a (d-)decidable copy if there exists a model B = A such that the element...
Karen Lange
JSYML
2010
129views more  JSYML 2010»
12 years 10 months ago
On changing cofinality of partially ordered sets
It is shown that under GCH every poset preserves its cofinality in any cofinality preserving extension. On the other hand, starting with measurable cardinals, a model with a part...
Moti Gitik
JSYML
2010
70views more  JSYML 2010»
12 years 10 months ago
The bounded functional interpretation of the double negation shift
We prove that the (non-intuitionistic) law of the double negation shift has a bounded functional interpretation with bar recursive functionals of finite type. As an application, we...
Patrícia Engrácia, Fernando Ferreira
JSYML
2010
58views more  JSYML 2010»
12 years 10 months ago
On Tao's "finitary" infinite pigeonhole principle
In 2007, Terence Tao wrote on his blog an essay about soft analysis, hard analysis and the finitization of soft analysis statements into hard analysis statements. One of his main ...
Jaime Gaspar, Ulrich Kohlenbach
JSYML
2010
48views more  JSYML 2010»
12 years 10 months ago
Uniquely undefinable elements
Greg Hjorth
JSYML
2010
95views more  JSYML 2010»
12 years 10 months ago
Some natural decision problems in automatic graphs
For automatic and recursive graphs, we investigate the following problems: (A) existence of a Hamiltonian path and existence of an infinite path in a tree (B) existence of an Euler...
Dietrich Kuske, Markus Lohrey