AML
2002
13 years 11 months ago
2002
Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.
AML
2002
13 years 11 months ago
2002
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...
AML
2002
13 years 11 months ago
2002
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...
AML
2002
13 years 11 months ago
2002
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...
AML
2002
13 years 11 months ago
2002
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...
AML
2002
13 years 11 months ago
2002
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...
AML
2002
13 years 11 months ago
2002
AML
2002
13 years 11 months ago
2002
In this paper we present two consistency results concerning the existence of large strong measure zero and strongly meager sets.
AML
2002
13 years 11 months ago
2002
AML
2002
13 years 11 months ago
2002
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...