ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC

We consider iterations of satisfaction classes and apply them to construct expansions of models of Peano arithmetic to models of A|Δ+∑-AC. 1991 MSC: 03F35, 03C62.     

Generic cuts in models of arithmetic

We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y. The notion of “indicator” is de.ned in a novel way, without initially specifying what property is indicated and is used to de.ne a topological space of cuts of the model. Various familiar properties of cuts (strength, regularity, saturation, coding properties) are investigated in this sense, and several results are given stating whether or not the set of cuts having the property is comeagre. A new notion of “generic cut” is introduced and investigated and it is shown in the case of countable arithmetically saturated models M ? PA that generic cuts exist, indeed the set of generic cuts is comeagre in the sense of Baire, and furthermore that two generic cuts within the same “small interval” of the model are conjugate by an automorphism of the model.The paper concludes by outlining some applications to constructions of cuts satisfying properties incompatible with genericity, and discussing in model‐theoretic terms those properties for which there is an indicator Y. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A critical assessment of truth functional modification and its use in approximate reasoning

We examine the inconsistencies in the current notion of fuzzy truth values and show how these have arisen from an attempt to equate two separate concepts. We argue that any approximate reasoning system based on truth functional modification is redundnat and inefficient.     

Normal subgroups of nonstandard symmetric and alternating groups

Let be a nonstandard model of Peano Arithmetic with domain M and let be nonstandard. We study the symmetric and alternating groups S _n and A _n of permutations of the set internal to , and classify all their normal subgroups, identifying many externally defined such normal subgroups in the process. We provide evidence that A _n and S _n are not split extensions by these normal subgroups, by showing that any such complement if it exists, cannot be a limit of definable sets. We conclude by identifying an -valued metric on and (where B _S , B _A are the maximal normal subgroups of S _n and A _n identified earlier) making these groups into topological groups, and by showing that if is -saturated then and are complete with respect to this metric.      

Morse theory and conjugacy classes of finite subgroups

We construct a CAT(0) group containing a finitely presented subgroup with infinitely many conjugacy classes of finite-order elements. Unlike previous examples (which were based on right-angled Artin groups) our ambient CAT(0) group does not contain any rank 3 free abelian subgroups. We also construct examples of groups of type F _n inside mapping class groups, Aut(), and Out() which have infinitely many conjugacy classes of finite-order elements.      

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.     

Lognormality of rates and term structure models

A term structure model with lognormal type volatility structure is proposed. The Heath, Jarrow and Morton (HJM) framework, coupled with the theory of stochastic evolution equations in infinite dimensions, is used to show that the resulting instantaneous rates are well defined (they do not explode) and remain positive, contrary to those derived in [2]. They are also bounded from below and above by lognormal processes. The model can be used to price and hedge caps, swaptions and other interest rate and currency derivatives including the Eurodollar futures contract, which requires integrability of one over zero coupon bond. This extends results obtained by Sandmann and Sondermann in [22] and [23] for Markovian lognormal short rates to (non-Markovian) lognormal forward rates. We show also existence of invariant measures for the proposed term structure dynamics     

A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut‐free logic

A new technique for proving realisability results is presented, and is illustrated in detail for the simple case of arithmetic minus induction. CL is a Gentzen formulation of classical logic. CPQ is CL minus the Cut Rule. The basic proof theory and model theory of CPQ and CL is developed. For the semantics presented CPQ is a paraconsistent logic, i.e. there are non‐trivial CPQ models in which some sentences are both true and false. Two systems of arithmetic minus induction are introduced, CL‐A and CPQ‐A based on CL and CPQ, respectively. The realisability theorem for CPQ‐A is proved: It is shown constructively that to each theorem A of CPQ‐A there is a formula A *, a so‐called “realised disjunctive form of A ”, such that variables bound by essentially existential quantifiers in A * can be written as recursive functions of free variables and variables bound by essentially universal quantifiers. Realisability is then applied to prove the consistency of CL‐A, making use of certain finite non‐trivial inconsistent models of CPQ‐A. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Small extensions of models of o-minimal theories and absolute homogeneity

We obtain some results on existence of small extensions of models of weakly o-minimal atomic theories. In particular, we find a sharp upper estimate for the Hanf number of such a theory for omitting an arbitrary family of pure types. We also find a sharp upper estimate for cardinalities of weakly o-minimal absolutely homogeneous models and a sufficient condition for absolute homogeneity.     

Eisenstein Cohomology and the Construction of p-Adic Analytic L-Functions

Let be a cuspidal automorphic representation of GL₃( ), unramified at pand of cohomological type at infinity. We construct p-adic L-functions, which interpolate the critical values of L(,s) and which satisfy a logarithmic growth condition. We obtain these functions as p-adic Mellin transforms of certain distributions on _p ^* having values in some fixed number field and which are of moderate growth. In the p-ordinary case we obtain the bound |(U)| _p |_Haar(U)| _p for open subsets U _p ^*, where _Haardenotes the invariant distribution on _p ^*.     

Playing with models and optimization to overcome the tragedy of the commons in groundwater

Groundwater is the natural resource most extracted in the world. It supplies 50% of the total potable water requirements, 40% of the industry take, and 20% of agriculture groundwater is a strategic resource for every country. That common‐pool resources are highly susceptible to lead to a tragedy of the commons is a well‐known fact. We claim that a combination of groundwater modeling, optimization, and a game theoretical analysis may in fact avoid the tragedy. A groundwater model in MODFLOW from Zamora aquifer in Mexico was used as input of a basic but instructive, optimization problem: extract the greatest possible volume of water, but at the same time minimizing the drawdown and drawdown velocity. The solutions of the optimization problem were used to construct the payoffs of a hypothetical game among the aquifer users, the resource's administrator, and a resource protector entity. We show that the success of the optimal management program depends heavily on the information that the users have about the resource. Therefore, better decision‐making processes are a consequence of sustainability literacy. Particularly, water literacy could lead to the usage of water considering it as a part of an ecosystem and not only as a natural resource. Additionally, a new non‐classical equation for underground flow was derived, that may be specially important to understand and predict the groundwater flow in highly heterogeneous conditions as in karstic aquifers or fractured media. © 2013 Wiley Periodicals, Inc. Complexity 19: 9–21, 2013     

On tests for selection of variables and independence under multivariate regression models

The authors consider various procedures for testing the hypotheses of independence of two sets of variables and certain regression coefficients are zero under multivariate regression model. Various properties of these procedures and the asymptotic distributions associated with these procedures are also considered.