Sciweavers

AML
2002
112views more  AML 2002»
13 years 10 months ago
Strong normalization of a symmetric lambda calculus for second-order classical logic
Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.
Yoriyuki Yamagata
AML
2002
69views more  AML 2002»
13 years 10 months ago
Transfer principles in nonstandard intuitionistic arithmetic
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
J. Avigad, Jeremy Helzner
AML
2002
62views more  AML 2002»
13 years 10 months ago
Vitali's Theorem and WWKL
Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivi...
Douglas K. Brown, Mariagnese Giusto, Stephen G. Si...
AML
2002
66views more  AML 2002»
13 years 10 months ago
A primer of simple theories
We present a self-contained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shela...
Rami P. Grossberg, José Iovino, Olivier Les...
AML
2002
94views more  AML 2002»
13 years 10 months ago
H-theories, fragments of HA and PA-normality
For a classical theory T, H(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the ra...
Morteza Moniri
AML
2002
36views more  AML 2002»
13 years 10 months ago
Shelah's stability spectrum and homogeneity spectrum in finite diagrams
We present Saharon Shelah's Stability Spectrum and Homogeneity Spectrum theorems, as well as the equivalence between the order property and instability in the framework of Fin...
Rami P. Grossberg, Olivier Lessmann
AML
2002
55views more  AML 2002»
13 years 10 months ago
Strongly meager and strong measure zero sets
In this paper we present two consistency results concerning the existence of large strong measure zero and strongly meager sets.
Tomek Bartoszynski, Saharon Shelah
AML
2002
70views more  AML 2002»
13 years 10 months ago
On the formal points of the formal topology of the binary tree
Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...
Silvio Valentini