Showing papers in "Annals of Mathematical Logic in 1976"

TL;DR: In this article, it was proved that strongly compact cardinals are consistent and it is consistent to assume that the first such cardinal is the first measurable cardinal, and that the existence of supercompact cardinals is also consistent.

TL;DR: In this paper, it was proved that φ4 ≠ 0, and a way was found of associating stationary sets with most of the types in φ 4 which is useful for applications.

TL;DR: In this paper, a first-order definability of the Ramified Analytical Hierarchical Hierarchy is given, and a degree theoretic definition of the ramified analytical hierarchy is obtained.

TL;DR: In this paper, the first application of methods from logic to problems arising in analysis was made by Abraham Robinson who introduced Non-standard Analysis (NSA), which left the underlying field unaltered and analyzed real-valued structures with suitabl~: tools analogous to those in model theory.

TL;DR: In this paper, it was shown that the Rudin-frol-i-k tree does not have much height. But the problem of computing the number of p-points is not solved.

TL;DR: In this paper, the problem of testing Boolean validity in polynomial time was studied and a number of hitherto unnoticed elegant properties of Boolean expressions were established to yield generally more efficient methods for many expressions.

TL;DR: In this article, the theory of HAS has been extended to higher-order systems by means of Kripke models and a special type of model of the theory o f species is defined, but not studied.