AML
2010
13 years 1 months ago
2010
We study definability of second-order generalized quantifiers. We show that the question whether a second-order generalized quantifier Q1 is definable in terms of another quantifie...
AML
2010
13 years 4 months ago
2010
The article shows a simple way of calibrating the strength of the theory of positive induction, ID
AML
2010
13 years 4 months ago
2010
AML
2010
13 years 4 months ago
2010
Let M be a premouse with a top extender, F. Suppose that (a) M is linearly coarsely iterable via hitting F and its images, and (b) if M is a linear iterate of M as in (a), then M ...
AML
2010
13 years 4 months ago
2010
Let J (M2 ) denote the -ideal associated with two-dimensional Miller forcing. We show that it is relatively consistent with ZFC that the additivity of J (M2 ) is bigger than the c...
AML
2010
13 years 4 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
AML
2010
13 years 4 months ago
2010
AML
2010
13 years 4 months ago
2010
We investigate the development of terms during cut-elimination in first-order logic and Peano arithmetic for proofs of existential formulas. The form of witness terms in cut-free p...
AML
2010
13 years 4 months ago
2010
A Schnorr test relative to some oracle A may informally be called "universal" if it covers all Schnorr tests. Since no true universal Schnorr test exists, such an A cann...
AML
2010
13 years 4 months ago
2010
When no single universal model for a set of structures exists at a given cardinal, then one may ask in which models of set theory does there exist a small family which embeds the r...