An intuitionistic logic with probablistic operators.
An intuitionistic omitting types theorem.
An Intuitionistic Ommiting Types Theorem
An invariant for difference field extensions
In this paper we introduce a new invariant for extensions of difference fields, the distant degree, and discuss its properties.
An irrational problem
Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define to be X ∩ M with topology generated by . Suppose is homeomorphic to the irrationals; must ? We have partial results. We also answer a question of Gruenhage by showing that if is homeomorphic to the “Long Cantor Set”, then .
An o-minimal structure which does not admit cellular decomposition
We present an example of an o-minimal structure which does not admit cellular decomposition. To this end, we construct a function whose germ at the origin admits a representative for each integer , but no representative. A number theoretic condition on the coefficients of the Taylor series of then insures the quasianalyticity of some differential algebras induced by . The o-minimality of the structure generated by is deduced from this quasianalyticity property.
An Omitting Types Theorem with an Application to the Construction of Generic Structures.
An ordered structure of rank two related to Dulac's Problem
For a vector field ξ on ℝ² we construct, under certain assumptions on ξ, an ordered model-theoretic structure associated to the flow of ξ. We do this in such a way that the set of all limit cycles of ξ is represented by a definable set. This allows us to give two restatements of Dulac’s Problem for ξ - that is, the question whether ξ has finitely many limit cycles-in model-theoretic terms, one involving the recently developed notion of -rank and the other involving the notion of o-minimality.
An ordering of normal ultrafiltres
An Ordering of the set of Sentences of Peano Arithmetic
An unfinitizability proof by means of restricted reduced power
Analytic cell decomposition and analytic motivic integration
Analytic Tableaux and Interpolation
Anelli regolari separabilmente chiusi
Another approach to infinite forcing
Anzahlquantoren in der Prädikatenlogik
Application of a Tauberian theorem to finite model theory.
Applications logiques en théorie des anneaux et des modules
Applications of Model Theory to Representations of Finite-Dimensional Algebras.
Applications of ultrapowers and Lipschitz classification of Banach spaces