Sciweavers

1996 search results - page 81 / 400
» Financial Theory 2
Sort
View
BSL
2007
53views more  BSL 2007»
13 years 10 months ago
Fragment of Nonstandard Analysis with a Finitary Consistency Proof
We introduce a nonstandard arithmetic NQA− based on the theory developed by R. Chuaqui and P. Suppes in [2] (we will denote it by NQA+ ), with a weakened external open minimizati...
Michal Rössler, Emil Jerábek
APAL
2000
90views more  APAL 2000»
13 years 9 months ago
The definable multiplicity property and generic automorphisms
Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T {" is an automorphism"} is an elementary clas...
Hirotaka Kikyo, Anand Pillay
DCG
2006
90views more  DCG 2006»
13 years 10 months ago
Combinatorial Complexity of Convex Sequences
We show that the equation si1 + si2 +
Alex Iosevich, S. Konyagin, Michael Rudnev, V. Ten
JSYML
2007
57views more  JSYML 2007»
13 years 10 months ago
Red fields
We apply Hrushovski-Fra¨ıss´e’s amalgamation procedure to obtain a theory of fields of prime characteristic of Morley rank 2 equipped with a
Andreas Baudisch, A. Martin-Pizarro, M. Ziegler
TCS
2002
13 years 9 months ago
Binary (generalized) Post Correspondence Problem
An instance of the (Generalized) Post Correspondence Problem is during the decision process typically reduced to one or more other instances, called its successors. In this paper ...
Vesa Halava, Tero Harju, Mika Hirvensalo