Bibliography of A. A. Fraenkel (p. ix-x)--Axiomatic set theory. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre, von P. Bernays.--On some problems involving inaccessible cardinals, by P. Erdös and A. Tarski.--Comparing the axioms of local and universal choice, by A. Lévy.--Frankel's addition to the axioms of Zermelo, by R. Mantague.--More on the axiom of extensionality, by D. Scott.--The problem of predicativity, by J. R. Shoenfield.--Mathematical logic. Grundgedanken einer typenfreien Logik, von W. Ackermann.--On the use of Hilbert's [epsilon]-operator in scientific theories, (...) by R. Carnap.--Basic verifiability in the combinatory theory of restricted generality, by H. B. Curry.--Uniqueness ordinals in constructive number classes, by H. Putnam.--On the construction of models, by A. Robinson.--Interpretation of mathematical theories in the first order predicate calculus, by T. Skolem.--The elementary character of two notions from general algebra, by R. Vaught.--Foundations of arithmetic and analysis. Axiomatic method and intuitionism, by A. Heyting.--On rank-decreasing functions, by G. Kurepa.--On non-standard models for number theory, by E. Mendelson.--Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic, by A. Mostowski.--Non-standard models and independence of the induction axiom, by M. O. Rabin.--Sur les ensembles raréfiés de nombres naturels, par W. Sierpinski.--Philosophy of logic and mathematics. Remarks on the paradoxes of logic and set theory, by E. W. Beth.--Logique formalisée et raisonnement juridique, par R. Feys.--Im Umkreis der sogenannten Raumprobleme, von H. Freudenthal.--Process and existence in mathematics, by H. Wang. (shrink)

The Fraenkel-Mostowski method has been widely used to prove independence results among weak versions of the axiom of choice. In this paper it is shown that certain statements cannot be proved by this method. More specifically it is shown that in all Fraenkel-Mostowski models the following hold: 1. The axiom of choice for sets of finite sets implies the axiom of choice for sets of well-orderable sets. 2. The Boolean prime ideal theorem implies a weakened form of Sikorski's theorem.

We show that it consistent with Zermelo-Fraenkel set theory that there is an infinite, compact Boolean algebra.

Two Fraenkel-Mostowski models are constructed in which the Boolean Prime Ideal Theorem is true. In both models, AC for countable sets is true, but AC for sets of cardinality 2math image and the 2m = m principle are both false. The Principle of Dependent Choices is true in the first model, but false in the second.

Foundations of Set Theory discusses the reconstruction undergone by set theory in the hands of Brouwer, Russell, and Zermelo. Only in the axiomatic foundations, however, have there been such extensive, almost revolutionary, developments. This book tries to avoid a detailed discussion of those topics which would have required heavy technical machinery, while describing the major results obtained in their treatment if these results could be stated in relatively non-technical terms. This book comprises five chapters and begins with a discussion of (...) the antinomies that led to the reconstruction of set theory as it was known before. It then moves to the axiomatic foundations of set theory, including a discussion of the basic notions of equality and extensionality and axioms of comprehension and infinity. The next chapters discuss type-theoretical approaches, including the ideal calculus, the theory of types, and Quine's mathematical logic and new foundations; intuitionistic conceptions of mathematics and its constructive character; and metamathematical and semantical approaches, such as the Hilbert program. This book will be of interest to mathematicians, logicians, and statisticians. (shrink)

We consider an example of a sentence which according to Hintikka's claim essentially requires for its logical form a Henkin quantifier. We show that if Hintikka is right then recognizing the truth value of the sentence in finite models is an NP-complete problem. We discuss also possible conclusions from this observation.

The lack of access to gender-affirming surgery represents a significant unmet health care need within the transgender community, frequently resulting in depression and self-destructive behavior. While some transgender people may have access to gender reassignment surgery, an overwhelming majority cannot afford facial feminization surgery. The former may be covered as a “medical necessity,” but FFS is considered “cosmetic” and excluded from insurance coverage. This demarcation between “necessity” and “cosmetic” in transgender health care based on specific body parts is in direct (...) opposition to the scientific community’s understanding of gender dysphoria and professional guidelines for transgender health. GRS affects one’s ability to function in an intimate relationship, while FFS has the same impact on social interactions an, therefore may have a far greater implication for one’s quality of life. FFS is a cost-effective intervention that needs to be covered by insurance policies. The benefits of such coverage far exceed the insignificant costs. (shrink)

There is a need to consider the impact of the new resident-hours regulations on the variety of aspects of medical education and patient care. Most existing literature about this subject has focused on the role of fatigue in resident performance, education, and health care delivery. However, there are other possible consequences of these new regulations, including a negative impact on decision ownership. Our main assumption of is that increased shift work in medicine can decrease ownership of treatment decisions and impact (...) negatively on quality of care. We review some potential components of decision ownership in treatment context and suggest possible ways in which the absence of decision ownership may decrease the quality of medical decision making. The article opens with the definition of decision ownership and the overview of some contextual factors that may contribute to the development of ownership in medical residency. The following section discusses decision ownership in medical care from the perspe... (shrink)

The Dual State, first published in 1941, remains one of the most erudite books on the legal origins of democracy and dictatorship. It provided the first comprehensive analysis of the rise and nature of National Socialism, and was the only such analysis written from within Hitler's Germany. Fraenkel's concept of the dual state, being the normative state and the the prerogative state. It retains its vital relevance for the theory of democracy in the twenty-first century. The Dual State considerably influenced (...) scholars studying and working on questions of political justice in the period following World War II, particularly in the context of political and legal theory; in the domain of legal history; in the area of constitutional theory; in the context of comparative politics; and in what has become known as the field of comparative constitutional law. This republication of Fraenkel's classic work makes it once again widely available to scholars and students in the field. It includes both Fraenkel's 1974 introduction to the German second edition, never before published in English, and a new introduction by Dr Jens Meierhenrich, examining the world in which The Dual State was originally published, and the lasting legacy of this classic work. (shrink)