Review: Ulrich Felgner, Comparison of the Axioms of Local and Universal Choice; Andrzej Mostowski, Models of Second Order Arithmetic with Definable Skolem Functions [Book Review]

Journal of Symbolic Logic 38 (4):652-653 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ulrich Felgner. Comparison of the axioms of local and universal choice. Fundamenta mathematicae, vol. 71 no. 1 , pp. 43–62. - Andrzej Mostowski. Models of second order arithmetic with definable Skolem functions. Fundamenta mathematicae, vol. 75 no. 3 , pp. 223–234. [REVIEW]S. G. Simpson - 1973 - Journal of Symbolic Logic 38 (4):652-653.
Review: A. Mostowski, A Class of Models for Second Order Arithmetic; A. Mostowski, Formal System of Analysis Based on an Infinitistic Rule of Proof. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):128-129.
Review: Stephen G. Simpson, Subsystems of Second Order Arithmetic. [REVIEW]Peter Cholak - 1999 - Journal of Symbolic Logic 64 (3):1356-1357.
Review: Th. Skolem, Peano's Axioms and Models of Arithmetic. [REVIEW]Solomon Feferman - 1957 - Journal of Symbolic Logic 22 (3):306-306.
Review: Andrzej Mostowski, On Definable Sets of Positive Integers. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (2):112-113.
Review: Stephen G. Simpson, Friedman's Research on Subsystems of Second Order Arithmetic. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):870-874.
Review: Andrzej Mostowski, On a Set of Integers Not Definable by Means of One-Quantifier Predicates. [REVIEW]Martin Davis - 1950 - Journal of Symbolic Logic 15 (2):135-135.
Uniformization and Skolem Functions in the Class of Trees.Shmuel Lifsches & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (1):103-127.
Review: Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Godel. [REVIEW]G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
Review: Andrzej Mostowski, Axiom of Choice for Finite Sets. [REVIEW]László Kalmár - 1948 - Journal of Symbolic Logic 13 (1):45-46.

Analytics

Added to PP
2013-11-22

Downloads
8 (#1,334,194)

6 months
2 (#1,446,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
Some results on consecutive large cardinals.Arthur W. Apter - 1983 - Annals of Pure and Applied Logic 25 (1):1-17.
Boolean valued models and generalized quantifiers.Jouko Väänänen - 1980 - Annals of Mathematical Logic 18 (3):193-225.
A nonconservativity result on global choice.Matt Kaufmann & Saharon Shelah - 1984 - Annals of Pure and Applied Logic 27 (3):209-214.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references