We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel's AFA, the Anti-Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman's method of defining the extensional membership relation ∈ by means of the intensional membership relation ε .Analogously to the usual forcing and the usual (...) class='Hi'>generic extension for FA-models, we can justify the existence of generic filters and can obtain the Forcing Theorem and the Minimal Model Theorem with some modifications. These results are on the line of works to investigate whether model theory for AFA-set theory can be developed in a similar way to that for FA-set theory.Aczel pointed out that the quotient of transition systems by the largest bisimulation and transition relations have the essentially same theory as the set theory with AFA. Therefore, we could hope that, by using our new method, some open problems about transition systems turn out to be consistent or independent. (shrink)

In this paper two new combinatorial principles in nonstandard analysis are isolated and applications are given. The second principle provides an equivalent formulation of Henson's isomorphism property.

We give some restrictions for the search for a model of the club principle with no Souslin trees. We show that ${\diamondsuit(2^\omega, [\omega]^\omega}$ , is almost constant on) together with CH and “all Aronszajn trees are special” is consistent relative to ZFC. This implies the analogous result for a double weakening of the club principle.

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

Let TP be the theory obtained by adding a generic predicate to an o-minimal theory T. We prove that if T admits elimination of imaginaries, then TP also admits elimination of imaginaries.

Among American adults 20 years and older, 59 percent take at least one prescription drug on a regular basis. Unlike most branded drugs, which are generally drugs that have a trade name and are protected by a patent, off‐patent generic drugs make up approximately 90 percent of prescriptions annually filled in the United States; yet in 2017, generic drugs made up only 23 percent of total drug costs in the U.S. The U.S. Food and Drug Administration has taken (...) the lead in encouraging increased competition in the nation's prescription drug marketplace, most recently with its release of the agency's Drug Competition Action Plan, but also with its regulatory guidance and enforcement efforts to eliminate “gaming” of the regulatory process by both branded and generic pharmaceutical manufacturers. Such “gaming” activities include “pay‐for‐delay” agreements involving financial compensation between branded and generic pharmaceutical manufacturers to forestall the emergence into the market of generic pharmaceuticals to compete against a formerly patent‐protected branded drug. A combination of new enabling legislation, federal judicial guidance, and agency regulatory activities show promise in encouraging increased competition in the prescription drug marketplace, with the American consumer the ultimate beneficiary of lower health care costs and improved overall personal health. (shrink)

It is shown that the theory of fields with an automorphism has a decidable model companion. Quantifier-elimination is established in a natural language. The theory is intimately connected to Ax's theory of pseudofinite fields, and analogues are obtained for most of Ax's classical results. Some indication is given of the connection to nonstandard Frobenius maps.

A P-point ultrafilter over \(\omega \) is called an interval P-point if for every function from \(\omega \) to \(\omega \) there exists a set _A_ in this ultrafilter such that the restriction of the function to _A_ is either a constant function or an interval-to-one function. In this paper we prove the following results. (1) Interval P-points are not isomorphism invariant under \(\textsf{CH}\) or \(\textsf{MA}\). (2) We identify a cardinal invariant \(\textbf{non}^{**}({\mathcal {I}}_{\tiny {\hbox {int}}})\) such that every filter (...) base of size less than continuum can be extended to an interval P-point if and only if \(\textbf{non}^{**}({\mathcal {I}}_{\tiny {\hbox {int}}})={\mathfrak {c}}\). (3) We prove the generic existence of slow/rapid non-interval P-points and slow/rapid interval P-points which are neither quasi-selective nor weakly Ramsey under the assumption \({\mathfrak {d}}={\mathfrak {c}}\) or \(\textbf{cov}({\mathcal {B}})={\mathfrak {c}}\). (shrink)

Given a countable transitive model of set theory and a partial order contained in it, there is a natural countable Borel equivalence relation on generic filters over the model; two are equivalent if they yield the same generic extension. We examine the complexity of this equivalence relation for various partial orders, focusing on Cohen and random forcing. We prove, among other results, that the former is an increasing union of countably many hyperfinite Borel equivalence relations, and hence is (...) amenable, while the latter is neither amenable nor treeable. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Purity and Pollution: Resisting the Rehabilitation of a VirtueAmy Mullin“Purity” is a term used infrequently in contemporary academic literature. A survey of periodical indexes for the past ten years shows that references to purity occur predominantly in metallurgy. Purity is an increasingly important topic in anthropology, religious studies, and history, but it is a decidedly rare concern in philosophy. In my most recent search I found three references.Yet “purity” (...) was once a recurrent term in the philosophical tradition ranging from Plato through Augustine and Kant to Kierkegaard. Today when we encounter the many references to purity in the history of philosophy we too often filter them out. We assume either that “pure” is a generic term for good, or, in what seems a more knowing and sophisticated response, we read “pure” as a code term for chastity or sexual morality, the elimination, suppression or control of sexual desire. In both cases purity is written off either as a generic or as an old fashioned and rather embarrassing virtue. Hence it seems there is little reason for contemporary philosophical investigation into the rhetorical use of the language of purity and pollution.Three assumptions account for the lack of contemporary philosophical interest in the topic. First, it is assumed that purity is no longer a concern in twentieth-century philosophy. Second, purity in historical discourse is considered to be limited to a prudish or downright misogynist hostility to sex. Third and finally, it is assumed that the work historians and anthropologists have done recently into connections between purity beliefs and practices and social cohesion is irrelevant for philosophy. This is because purity in philosophy is supposed to be a resolutely individualist virtue, having little or nothing to do with unified and coherent communities.There are elements of truth to all three beliefs, but they also contain important distortions of the truth. As regards the first assumption, purity remains a concern in contemporary aesthetics, where it often means roughly something like a priori and apolitical; but I am interested in whether the concern with purity has survived in philosophies with ethical implications. [End Page 509] Here it is my contention that authenticity is the twentieth-century descendant of the virtue of purity.Second, there is much more to the rhetoric and practices of purity than concern with the sexual dimension of life, though this is a key aspect of most, and the beliefs and practices are often misogynist. There have been numerous anthropological documentations of ways in which purity beliefs, particularly an emphasis on sexual purity, are used to control women. Santi Rozario’s work, for instance, makes this point in her analysis of contemporary Bengali village life. 1 The connection between the language of purity and the practice of female circumcision, which I will not discuss in this paper, is in itself evidence enough of connections between purity beliefs and practices harmful to women. 2 However, I hope to show that there is more to purity than misogyny. Purity most basically is about order, both social and personal. 3My response to the second assumption, that purity masks an obsession with sexual control, indicates the source of my disagreement with the third, the contention that purity in philosophy is exclusively an individual virtue. Communal beliefs and practices associated with the language of purity and pollution are relevant to the philosophical treatment of purity because of the presence in both the practices and the philosophies of an interplay between social and personal order. As a result I believe an understanding of the dynamics of beliefs about purity in social practice can inform a philosophical concern with purity.First I investigate shifts in beliefs and practices concerning purity and pollution. I will concentrate on three models: ancient Greek (from the eighth to the third century BC), biblical to Talmudic Judaism (from the third century BC to the third century AD), and early Christian (from the first to the fifth century AD). These represent three traditions which have played a very significant role in shaping western civilization, theology, and philosophy. 4 They were also frequently interrelated in this period, as Christian and Jewish Platonists writing in Greek attest and of course as... (shrink)

We give a simplified proof of elimination of imaginaries in ACVF, based on ideas of Hrushovski. This proof manages to avoid many of the technical issues which arose in the original proof by Haskell, Hrushovski, and Macpherson.

Logics for ‘generally’ were introduced for handling assertions with vague notions, by non-standard generalized quantifiers, and to reason qualitatively about them . Filter logic is intended to address ‘most’. Here, we show that filter logic can be faithfully embedded into a classical first-order theory of certain predicates, called compatible. We also use representative predicates to enable elimination of the generalized quantifier. These devices permit using classical first-order methods to reason about consequence in filter logic and help (...) clarifying the role of such extended logics for ‘generally’. (shrink)

We show that any relational generic structure whose theory has finite closure and amalgamation over closed sets is stable CM-trivial with weak elimination of imaginaries.

We show that any relational generic structure whose theory has finite closure and amalgamation over closed sets is stable CM-trivial with weak elimination of imaginaries.

We consider a question of T. Jech and K. Prikry that asks if the existence of a precipitous filter implies the existence of a normal precipitous filter. The aim of this paper is to improve a result of Gitik (Israel J Math, 175:191–219, 2010) and to show that measurable cardinals of a higher order rather than just measurable cardinals are necessary in order to have a model with a precipitous filter but without a normal one.

It is known that there is a close relation between Prikry forcing and the iteration of ultrapowers: If U is a normal ultrafilter on a measurable cardinal κ and 〈Mn, jm,n | m ≤ n ≤ ω〉 is the iteration of ultrapowers of V by U, then the sequence of critical points 〈j0,n | n ∈ ω〉 is a Prikry generic sequence over Mω. In this paper we generalize this for normal precipitous filters.

In the data collection phase, the digital images are captured using sensors that often contaminated by noise (undesired random signal). In digital image processing task, enhancing the image quality and reducing the noise is a central process. Image denoising effectively preserves the image edges to a higher extend in the flat regions. Several adaptive filters (median filter, Gaussian filter, fuzzy filter, etc.) have been utilized to improve the smoothness of digital image, but these filters failed to preserve (...) the image edges while removing noise. In this paper, a modified fuzzy set filter has been proposed to eliminate noise for restoring the digital image. Usually in fuzzy set filter, sixteen fuzzy rules are generated to find the noisy pixels in the digital image. In modified fuzzy set filter, a set of twenty-four fuzzy rules are generated with additional four pixel locations for determining the noisy pixels in the digital image. The additional eight fuzzy rules ease the process of finding the image pixels,whether it required averaging or not. In this scenario, the input digital images were collected from the underwater photography fish dataset. The efficiency of the modified fuzzy set filter was evaluated by varying degrees of Gaussian noise (0.01, 0.03, and 0.1 levels of Gaussian noise). For performance evaluation, Structural Similarity (SSIM), Mean Structural Similarity (MSSIM), Mean Square Error (MSE), Normalized Mean Square Error (NMSE), Universal Image Quality Index (UIQI), Peak Signal to Noise Ratio (PSNR), and Visual Information Fidelity (VIF) were used. The experimental results showed that the modified fuzzy set filter improved PSNR value up to 2-3 dB, MSSIM up to 0.12-0.03, and NMSE value up to 0.38-0.1 compared to the traditional filtering techniques. (shrink)

Controlling access to the Internet by means of filtering softwarehas become a growth industry in the U.S. and elsewhere. Its usehas increased as the mandatory response to the current plagues ofsociety, namely, pornography, violence, hate, and in general,anything seen to be unpleasant or threatening. Also of potentialconcern is the possible limitation of access to Web sites thatdiscuss drugs, without distinguishing advocacy from scientificand informed analysis of addiction. With the rise of an effectivecreationist movement dedicated to the elimination of evolutionarytheory (...) in the curriculum, it is to be expected that attempts willbe made to limit access to sites presenting such theories, incertain jurisdictions in the U.S. The current preferred method ofchoice to limit access is to filter content either by blockingaccess to specific Web sites, referred to by their URLs, or byusing a large set of keywords to prevent accessing sites thatcontain one or more of these words. Another more insidious schemeis to encourage or even require every Web site to rate itscontent along a number of dimensions, including violence,language, sexual explicitness, and nudity. Then individualbrowsers can be programmed to return references only to thosesites that fall below a pre-specified profile. The dangers forfree speech inherent in such schemes will be discussed. Effortsto produce legislation in the U.S. to mandate the use offiltering or rating programs will be described, as will somerecent court decisions involving their use in libraries. (shrink)

A new medical image enhancement algorithm based on spatial frequency domain is presented in this article. The medical image is first divided into several sub-images based on dyadic wavelet scale analysis. At each level, different directional sub-band images can reflect the different characteristics of the image. A low-frequency sub-band image maintains the original image content information, and high-frequency sub-band images represent image details such as edges and regional boundaries. The corresponding sub-band images are then enhanced by different Butterworth homomorphic filtering (...) functions, which can attenuate the low frequencies and amplify the high frequencies. A linear adjustment is carried out on the low frequency of the highest level. Then, the wavelet reconstruction course is used to obtain the final enhanced image. Experiments on magnetic resonance images of temporomandibular joint soft tissues have shown that the proposed method can effectively eliminate the non-uniform luminance distribution of medical images. Its performance is much better than traditional Butterworth homomorphic filtering algorithm whether in subjective vision quality or objective evaluations such as detailed information entropy and average gradient. (shrink)

Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T{“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automorphisms, and prove: the class of existentially closed models of T{“σi is an automorphism”: i=1,2} (...) is an elementary class if and only if T has the definable multiplicity property. (shrink)

The study investigates the possibility of applying texture analysis (TA) for testing Duchenne Muscular Dystrophy (DMD) therapies. The work is based on the Golden Retriever Muscular Dystrophy (GRMD) canine model, in which 3 phases of canine growth and/or dystrophy development are identified: the first phase (0–4 months of age), the second phase (from over 4 to 6 months), and the third phase (from over 6 months to death). Two differentiation problems are posed: (i) the first phase vs. the second phase (...) and (ii) the second phase vs. the third phase. Textural features are derived from T2-weighted Magnetic Resonance Imaging (MRI) images. In total, 37 features provided by 8 different TA methods (statistical, filter-based, and model-based) have been tested. The work focuses on finding such textural features that evolve along with the dog’s growth. These features are indicated by means of statistical analyses and eliminated from further investigation, as they may disturb the correct assessment of response to treatment in dystrophy. The relative importance of each remaining feature is then assessed with the use of the Monte Carlo (MC) procedure. Furthermore, feature selection based on the MC procedure is employed to find the optimal subset of age-independent features. Finally, three classifiers are used for evaluating different sets of textural features: Adaptive Boosting (AB), back-propagation Neural Network (NN), and nonlinear Support Vector Machines (SVM). The best subsets of age-independent features ensure 80.0% and 78.5% of correctly identified phases of dystrophy progression, for the first (i) and second (ii) differentiation problem respectively. (shrink)

We show how to build various models of first-order theories, which also have properties like: tree with only definable branches, atomic Boolean algebras or ordered fields with only definable automorphisms. For this we use a set-theoretic assertion, which may be interesting by itself on the existence of quite generic subsets of suitable partial orders of power λ + , which follows from ♦ λ and even weaker hypotheses . For a related assertion, which is equivalent to the morass see (...) Shelah and Stanley [16]. The various specific constructions serve also as examples of how to use this set-theoretic lemma. We apply the method to construct rigid ordered fields, rigid atomic Boolean algebras, trees with only definable branches; all in successors of regular cardinals under appropriate set- theoretic assumptions. So we are able to answer the following algebraic question. Saltzman's Question . Is there a rigid real closed field, which is not a subfield of the reals? (shrink)

his is a book to broaden the mind. It brings the reader into a world only vaguely imaginable and richly enlightens it with extraordinary attention to interesting historical details. It is beautifully written and endlessly interesting.

Studies in astrophysical cosmology have served to reveal the incomprehensible fine-tuning of the fundamental constants and cosmological quantities which must obtain if a universe like ours is to be life-permitting. Traditionally, such fine-tuning of the universe for life would have been taken as evidence of divine design. William Dembski’s ’generic chance elimination argument’ provides a framework for evaluating the hypothesis of design with respect to the fine-tuning of the universe. On Dembski’s model the key to a design inference (...) is the elimination of the competing alternatives of physical necessity and chance. In debates over fine-tuning, the former is represented by a ’theory of everything’, which would eliminate or significantly reduce the improbabilities of fine-tuning. The latter takes the shape of the ’many worlds hypothesis’, according to which a ’world ensemble’ of universes exist, thus providing purchase for the ’anthropic principle’. This paper assesses the relative merit. (shrink)

We prove that for every singular cardinal μ of cofinality ω, the complete Boolean algebra contains a complete subalgebra which is isomorphic to the collapse algebra CompCol. Consequently, adding a generic filter to the quotient algebra collapses μ0 to 1. Another corollary is that the Baire number of the space U of all uniform ultrafilters over μ is equal to ω2. The corollaries affirm two conjectures of Balcar and Simon. The proof uses pcf theory.

Our main result states that a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give some results concerning cardinal characteristics of the σ-ideals determined by those universality parameters.

Given a cardinal κ that is λ-supercompact for some regular cardinal λ⩾κ and assuming GCH, we show that one can force the continuum function to agree with any function F:[κ,λ]∩REG→CARD satisfying ∀α,β∈domα F. Our argument extends Woodinʼs technique of surgically modifying a generic filter to a new case: Woodinʼs key lemma applies when modifications are done on the range of j, whereas our argument uses a new key lemma to handle modifications done off of the range of j (...) on the ghost coordinates. This work answers a question of Friedman and Honzik [5]. We also discuss several related open questions. (shrink)

We show: There are pairs of universes V1V2 and there is a notion of forcing PV1 such that the change mentioned in the title occurs when going from V1[G] to V2[G] for a P-generic filter G over V2. We use forcing iterations with partial memories. Moreover, we implement highly transitive automorphism groups into the forcing orders.

We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theories having a so-called pre-model. As a corollary, we retrieve cut elimination for several axiomatic theories, including Church's simple type theory.

We characterize complete Boolean algebras with dense subtrees. The main results show that a complete Boolean algebra contains a dense tree if its generic filter collapses the algebra's density to its distributivity number and the reverse holds for homogeneous algebras.

The notion of quality is analysed for its functional roots as a social heuristic for reusing others’ quality judgements and hence aiding choice. This is applied to the context of academic publishing, where the costs of publishing have greatly decreased, but the problem of finding the papers one wants has become harder. This paper suggests that instead of relying on generic quality judgements, such as those delivered by journal reviewers, that the maximum amount of judgemental information be preserved and (...) then made available to potential readers to help them find papers that meet their particular needs. The suggestion is that: multidimensional quality data be captured on review of papers, this information is stored on a database, and then used to filter papers according to the criteria set by the searcher—personalising the quality filter. In other words the quality judgements and subsequent use are maintained in a disaggregated form, maintaining the maximum informational context of the judgements for future use. The advantages, disadvantages, challenges and possible variations of this proposal are discussed. (shrink)

We live in a world saturated in both racial and gendered divisions. Our focus is on one place where attitudes about these divisions diverge: language. We suspect most everyone would be horrified at the idea of adding race-specific pronouns, honorifics, generic terms, and so on to English. And yet gender-specific terms of the same sort are widely accepted and endorsed. We think this asymmetry cannot withstand scrutiny. We provide three considerations against incorporating additional race-specific terms into English, and argue (...) that these considerations also support eliminating the analogous gender-specific terms. With respect to these parts of speech, English should be no more gender-specific than it already is race-specific. (shrink)

Conceptual therapy seeks to eliminate from our vocabulary of concepts those that are conceptually pathological. The very use of such concepts—which is much of the time—brings about dysfunctional thinking: thought, that is to say, that leads us astray, paving the way for beliefs and claims to knowledge that are fundamentally nonsensical. A therapy for such concepts may be likened to holding a selective sieve and pouring the ideas with which we attempt to make sense of the world through it, allowing (...) the sieve to filter out those that would otherwise infect our thinking with meaninglessness. -/- Conceptual Therapy: An Introduction to Framework-relative Epistemology was written by the author as an introductory text for university classes in applied skills in epistemological analysis. (shrink)

Numerical probabilities are eliminated in favor of qualitative notions, with an eye to isolating what it is about probabilities that is essential to judgements of acceptability. A basic choice point is whether the conjunction of two propositions, each acceptable, must be deemed acceptable. Concepts of acceptability closed under conjunction are analyzed within Keisler's weak logic for generalized quantifiers — or more specifically, filter quantifiers. In a different direction, the notion of a filter is generalized so as to allow (...) sets with probability non-infinitesimally below 1 to be acceptable. (shrink)

Uncountable superperfect forcing is tree forcing on regular uncountable cardinals κ with κ<κ=κ, using trees in which the heights of nodes that split along any branch in the tree form a club set, and such that any node in the tree with more than one immediate extension has measure-one-many extensions, where the measure is relative to some κ-complete, nonprincipal normal filter F. This forcing adds a generic of minimal degree if and only if F is κ-saturated.

We use the language of categorical logic to construct generic saturated models of intuitionistic theories. Our main technique is the thorough study of the filter construction on categories with finite limits, which is the completion of subobject lattices under filtered meets. When restricted to coherent or Heyting categories, classifying categories of intuitionistic first-order theories, the resulting categories are filtered meet coherent categories, coherent categories with complete subobject lattices such that both finite disjunctions and existential quantification distribute over filtered (...) meets. Such categories naturally embed into Grothendieck toposes which then contain saturated models of the theory we started with. (shrink)

The dissertation deals with problems in "logic", more precisely, it deals with particular formal systems aiming at capturing patterns of valid reasoning. Sequent calculi were proposed to characterize logical connectives via introduction rules. These systems customarily also have structural rules which allow one to rearrange the set of premises and conclusions. In the "structurally free logic" of Dunn and Meyer the structural rules are replaced by combinatory rules which allow the same reshuffling of formulae, and additionally introduce an explicit marker (...) for the application of the rule---the combinator. The dissertation gives syntactic extensions of such systems introducing conjunction and disjunction . Cut elimination is proved for these systems. ;Syntactic systems as a rule are accompanied by a semantics which interprets them. The extended systems are supplied with semantics using algebraic methods. First, the Lindenbaum algebras are formed, and then these algebras are represented in an algebra of sets. This gives a so called Kripke-style semantics for the systems. The representation for the distributive extension utilizes well-known techniques; it uses sets of prime filters and set theoretical operations on them to deal with conjunction and disjunction, plus a ternary accessibility relation to accommodate the intensional operators as fusion and implication. The representation theorem is proven generally, i.e., for arbitrary sets of combinators using the "squeeze lemma" of Routley and Meyer. ;The non-distributive calculi require a different representation since union and intersection are distributive. Two previous representations for lattices are overviewed, and a modification of the Hartonas-Dunn representation is successfully augmented with the intensional operations. Instead of sets of filters, sets of pairs of minimally inconsistent filters and ideals are used and the representation theorem is proven. The representation results provide soundness and completeness for the systems. The dissertation also investigates properties of dual combinators , proving a series of lemmas about dual combinatory systems not being Church-Rosser and being inconsistent. Combinatorially definable classes of lambda-terms are considered as well. (shrink)

In "The Variation of Chinese Literature and the Formation of World Literature" Shunqing Cao and Lu Zhai discuss how Chinese works of literature entered other countries' literary circles through variation, and became an essential part of world literature. Both ancient Chinese literature and contemporary Chinese literature have undergone textual circulation, language translation and cultural filtering before becoming part of world literature, all of which are the reasons why literary variation occurs. According to Cao and Zhai, the occurrence of variation is (...) a key factor for Chinese literature to become world literature, and an important foundation for the formation of world literature. A country's literature absorbs the characteristics of other countries' literature through variation, thus adapting to the cultural background and reading habits of other countries' readers in terms of language and style, in order to enter the world literature market. Variation may lead to a certain loss of nationality in literary works, and result in significant differences from the original texts. However, the formation of world literature does not come at the cost of eliminating nationality; variation facilitates the formation of world literature. (shrink)

This article discusses the ethics of knowledge production from a cultural point of view, in contrast with the more usual emphasis on the ethical issues facing individuals involved in KP. Here, the emphasis is on the cultural environment within which individuals, groups and institutions perform KP. A principal purpose is to suggest ways in which reliable scientific knowledge could be produced more efficiently. The distinction between ethical hazard and ethical behaviour is noted. Ethical hazards cannot be eliminated but they can (...) be reduced if the cultural ambience is suitable. The main suggestions for reducing ethical hazards in KP relate to the review process. It is argued that some defects of the current, largely anonymous, review process could be ameliorated by a process of comprehensive, open and ongoing review. This includes partial professionalisation of the work of reviewing. Review at several stages is a vital part of the long filtering that incorporates some claims into the canon of reliable knowledge. The review process would be an acknowledged and explicit part of KP—a respected, public and rewarded activity. COOR would be expensive but cost-effective. The costs should be built explicitly into research culture. Finally, the considerations about a more ‘KP friendly’ culture lead to advocacy of a ‘long-term, short-term’ synthesis; that is, of the synthesis of long-term vision, such as a more cooperative and less competitive culture, with incremental changes which may be implemented in the short term. (shrink)

Burke proved that the generalized nonstationary ideal, denoted by NS, is universal in the following sense: every normal ideal, and every tower of normal ideals of inaccessible height, is a canonical Rudin‐Keisler projection of the restriction of NS to some stationary set. We investigate how far Burke's theorem can be pushed, by analyzing the universality properties of NS with respect to the wider class of ‐systems of filters introduced by Audrito and Steila. First we answer a question of Audrito and (...) Steila, by proving that ‐systems of filters do not capture all kinds of set‐generic embeddings. We provide a characterization of supercompactness in terms of short extenders and canonical projections of NS, without any reference to the strength of the extenders; as a corollary, NS can consistently fail to canonically project to arbitrarily strong short extenders. We prove that ω‐cofinal towers of normal ultrafilters, e.g., the kind used to characterize I2 and I3 embeddings, are well‐founded if and only if they are canonical projections of NS. Finally, we provide a characterization of “ is Jónsson” in terms of canonical projections of NS. (shrink)

The purpose of this paper is to propose and explore a general framework within which a wide variety of model construction techniques from contemporary set theory can be subsumed. Taking our inspiration from presheaf constructions in category theory and Boolean ultrapowers, we will show that generic extensions, ultrapowers, extenders and generic ultrapowers can be construed as examples of a single model construction technique. In particular, we will show that Łoś's theorem can be construed as a specific case of (...) Cohen's truth lemma, and we isolate the weakest conditions a filter must satisfy in order for the truth lemma to work. (shrink)

We investigate the effect of a variant of Matet forcing on ultrafilters in the ground model and give a characterization of those P-points that survive such forcing, answering a question left open by Blass [4]. We investigate the question of when this variant of Matet forcing can be used to diagonalize small filters without destroying P-points in the ground model. We also deal with the question of generic existence of stable ordered-union ultrafilters.

: The Hamblin-Karttunen approach has led to many insights about questions in English. In this article the results of this rule-by-rule tradition are reconsidered from a crosslinguistic perspective. Starting from the type-driven XLS theory developed in Bittner (1994a, b), it is argued that evidence from simple questions (in English, Polish, Lakhota and Warlpiri) leads to certain revisions. The revised XLS theory then immediately generalizes to complex questions — including scope marking (Hindi), questions with quantifiers (English) and multiple wh-questions (English, Hindi, (...) Japanese). Eliminating language- and construction-specific information from the compositional rules, in favor of universal semantic filters, leads to analyses that not only generalize across unrelated languages but are also empirically more accurate, not less. (shrink)

... [T]here manifestly is not one drop of principle in the whole vast reservoir of established scientific theory that has sprung from any other source than the power of the human mind to originate ideas that are true. But this power, for all it has accomplished, is so feeble that as ideas flow from their springs in the soul, the truths are almost drowned in a flood of false notions; and that which experience does is gradually, and by a sort (...) of fractionation, to precipitate and filter off the false ideas, eliminating them and letting the truth pour on in its mighty current. But precisely how does this action of experience take place? It takes place by a series of surprises. Throughout the.. (shrink)

Fifteen years ago, Ruth Macklin shook the medical community with her claim in the BMJ that dignity is a useless concept. Her essay provoked a storm of reactions. What have we learned from the debate? In this article I analyse the responses to her essay and the following debate to investigate whether she was right that “[d]ignity is a useless concept in medical ethics and can be eliminated without any loss of content.” While some of the commentaries misconstrued her claim (...) and argue against strawmen, others forcefully maintained that the concept of dignity has functions beyond “respect for persons and their autonomy.” One important point that came out of the debate is that dignity is a generic concept that covers more ground than “respect for persons or their autonomy.” In particular, dignity seems to have a wide range of protective functions as well as having reciprocal, relational, and social aspects. Dignity appears more attributional and norm‐formative than respect for persons and autonomy. While the claim that dignity is unclear, vague, and can be used sloganistically seems highly relevant, it is argued that this vagueness fulfils important functions in ethics. Moreover, dismissing dignity because of its lack of clarity has implications for “respect for persons” and “autonomy,” which are also used vaguely and sloganistically. No doubt medical ethics should use as a clear concept as the context requires. Nonetheless, dignity still seems to be a widely used generic concept in ethical debates and doing as much ethical work as “respect for persons” or “respect for autonomy.” Therefore, the death of dignity seems to be greatly exaggerated. (shrink)

Let κ and λ be infinite cardinals, F a filter on κ, and G a set of functions from κ to κ. The filter F is generated by G if F consists of those subsets of κ which contain the range of some element of G. The set G is $ -closed if it is closed in the $ -topology on κ κ. (In general, the $ -topology on IA has basic open sets all Π i∈ I U (...) i such that, for all $i \in I, U_i \subseteq A$ and $|\{i \in I: U_i \neq A\}| .) The primary question considered in this paper asks "Is there a uniform ultrafilter on κ which is generated by a closed set of functions?" (Closed means $ -closed.) We also establish the independence of two related questions. One is due to Carlson: "Does there exist a regular cardinal κ and a subtree T of $^{ such that the set of branches of T generates a uniform ultrafilter on κ?"; and the other is due to Pouzet: "For all regular cardinals κ, is it true that no uniform ultrafilter on κ is analytic?" We show that if κ is a singular, strong limit cardinal, then there is a uniform ultrafilter on κ which is generated by a closed set of increasing functions. Also, from the consistency of an almost huge cardinal, we get the consistency of CH + "There is a uniform ultrafilter on ℵ 1 which is generated by a closed set of increasing functions". In contrast with the above results, we show that if κ is any cardinal, λ is a regular cardinal less than or equal to κ and P is the forcing notion for adding at least $(\kappa^{ generic subsets of λ, then in V P , no uniform ultrafilter on κ is generated by a closed set of functions. (shrink)