Changing cofinalities and collapsing cardinals in models of set theory

If a˜cardinal κ₁, regular in the ground model M, is collapsed in the extension N to a˜cardinal κ₀ and its new cofinality, ρ, is less than κ₀, then, under some additional assumptions, each cardinal λ>κ₁ less than cc(P(κ₁)/[κ₁]^<κ₁) is collapsed to κ₀ as well. If in addition N=M[f], where f : ρ→κ₁ is an unbounded mapping, then N is a˜|λ|=κ₀-minimal extension. This and similar results are applied to generalized forcing notions of Bukovský and Namba.     

The strength of Mac Lane set theory

Saunders Mac Lane has drawn attention many times, particularly in his book Mathematics: Form and Function, to the system of set theory of which the axioms are Extensionality, Null Set, Pairing, Union, Infinity, Power Set, Restricted Separation, Foundation, and Choice, to which system, afforced by the principle, , of Transitive Containment, we shall refer as . His system is naturally related to systems derived from topos-theoretic notions concerning the category of sets, and is, as Mac Lane emphasises, one that is adequate for much of mathematics. In this paper we show that the consistency strength of Mac Lane's system is not increased by adding the axioms of Kripke–Platek set theory and even the Axiom of Constructibility to Mac Lane's axioms; our method requires a close study of Axiom H, which was proposed by Mitchell; we digress to apply these methods to subsystems of Zermelo set theory , and obtain an apparently new proof that is not finitely axiomatisable; we study Friedman's strengthening of , and the Forster–Kaye subsystem of , and use forcing over ill-founded models and forcing to establish independence results concerning and ; we show, again using ill-founded models, that proves the consistency of ; turning to systems that are type-theoretic in spirit or in fact, we show by arguments of Coret and Boffa that proves a weak form of Stratified Collection, and that is a conservative extension of for stratified sentences, from which we deduce that proves a strong stratified version of ; we analyse the known equiconsistency of with the simple theory of types and give Lake's proof that an instance of Mathematical Induction is unprovable in Mac Lane's system; we study a simple set theoretic assertion—namely that there exists an infinite set of infinite sets, no two of which have the same cardinal—and use it to establish the failure of the full schema of Stratified Collection in ; and we determine the point of failure of various other schemata in . The paper closes with some philosophical remarks.     

On topological set theory

This paper is concerned with topological set theory, and particularly with Skala's and Manakos' systems for which we give a topological characterization of the models. This enables us to answer natural questions about those theories, reviewing previous results and proving new ones. One of these shows that Skala's set theory is in a sense compatible with any ‘normal’ set theory, and another appears on the semantic side as a ‘Cantor theorem’ for the category of Alexandroff spaces. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Definable predicates of standardness in internal set theory

It is shown that Nelson’s internal set theory IST has no definable predicate that is a proper extension of the standardness predicate and satisfies the carry-over, idealization, and standardization principles. Translated fromMatematicheskie Zametki, Vol. 66, No. 6, pp. 803–809, December, 1999.     

Quantum set theory: Transfer Principle and De Morgan's Laws

In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for bounded quantifiers that satisfies De Morgan's Laws. To justify the new assignment, we prove the Transfer Principle, showing that this assignment of a truth value to every bounded ZFC theorem has a lower bound determined by the commutator, a projection-valued degree of commutativity, of constants in the formula. We study the most general class of truth value assignments and obtain necessary and sufficient conditions for them to satisfy the Transfer Principle, to satisfy De Morgan's Laws, and to satisfy both. For the class of assignments with polynomially definable logical operations, we determine exactly 36 assignments that satisfy the Transfer Principle and exactly 6 assignments that satisfy both the Transfer Principle and De Morgan's Laws.     

Uncertainty analysis of transport of water and pesticide in an unsaturated layered soil profile using fuzzy set theory

Incomplete information is notoriously common in planning soil and groundwater remediation. For making decisions groundwater flow and transport models are commonly used. However, uncertainty in prediction arises due to imprecise information on flow and transport parameters like saturated/unsaturated hydraulic conductivity, water retention curve parameters, precipitation and evapo-transpiration rates as well as factors governing the fate of pollutant in soil like dispersion, diffusion, degradation and chemical transformation. Different methods exist for quantifying uncertainty, e.g. first and second order Taylor’s Series and Monte-Carlo method. In this paper, a methodology based on fuzzy set theory is presented to express imprecision of input data, in terms of fuzzy number, to quantify the uncertainty in prediction. The application of the fuzzy set theory is demonstrated through pesticide (endosulfan) transport in an unsaturated layered soil profile. The governing partial differential equation along with fuzzy inputs, results in a non-linear optimization problem. The solution gives complete membership functions for flow (suction head) and pesticide concentration in soil column.     

Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant

In this paper, we generalize the method of mechanical theorem proving in curves to prove theorems about surfaces in differential geometry with a mechanical procedure. We improve the classical result on Wronskian determinant, which can be used to decide whether the elements in a partial differential field are linearly dependent over its constant field. Based on Wronskian determinant, we can describe the geometry statements in the surfaces by an algebraic language and then prove them by the characteristic set method.     

Generalized arithmetic operators and their relationship to t-norms in interval-valued fuzzy set theory

In this paper we study extensions of the arithmetic operators +, -, ·, ÷ to the lattice of closed subintervals of the unit interval. Starting from a minimal set of axioms that these operators must fulfill, we investigate which properties they satisfy. We also investigate some classes of t-norms on which can be generated using these operators; these classes provide natural extensions of the Łukasiewicz, product, Frank, Schweizer–Sklar and Yager t-norms to .     

The Hirota’s bilinear method and the tanh–coth method for multiple-soliton solutions of the Sawada–Kotera–Kadomtsev–Petviashvili equation

In this work we derive a new completely integrable dispersive equation. The equation is obtained by combining the Sawada–Kotera (SK) equation with the sense of the Kadomtsev–Petviashvili (KP) equation. The newly derived Sawada–Kotera–Kadomtsev–Petviashvili (SK–KP) equation is studied by using the tanh–coth method, to obtain single-soliton solution, and by the Hirota bilinear method, to determine the N-soliton solutions. The study highlights the significant features of the employed methods and its capability of handling completely integrable equations.