On the role of Ramsey quantifiers in first order arithmetic

1982 ◽  
Vol 47 (2) ◽  
pp. 423-435 ◽  
Author(s):  
James H. Schmerl ◽  
Stephen G. Simpson
Keyword(s):  
Formal System ◽  
Intended Meaning ◽  
Completeness Proof ◽  
First Order ◽  
Uncountable Cardinal ◽  
Consistent Extension ◽  
Witness Set ◽  
Order Arithmetic ◽  
Infinite Set

The purpose of this paper is to study a formal system PA(Q2) of first order Peano arithmetic, PA, augmented by a Ramsey quantifier Q2 which binds two free variables. The intended meaning of Q2xx′φ(x, x′) is that there exists an infinite set X of natural numbers such that φ(a, a′) holds for all a, a′ Є X such that a ≠ a′. Such an X is called a witness set for Q2xx′φ(x, x′). Our results would not be affected by the addition of further Ramsey quantifiers Q3, Q4, …, Here of course the intended meaning of Qkx1 … xkφ(x1,…xk) is that there exists an infinite set X such that φ(a1…, ak) holds for all k-element subsets {a1, … ak} of X.Ramsey quantifiers were first introduced in a general model theoretic setting by Magidor and Malitz [13]. The system PA{Q2), or rather, a system essentially equivalent to it, was first defined and studied by Macintyre [12]. Some of Macintyre's results were obtained independently by Morgenstern [15]. The present paper is essentially self-contained, but all of our results have been directly inspired by those of Macintyre [12].After some preliminaries in §1, we begin in §2 by giving a new completeness proof for PA(Q2). A by-product of our proof is that for every regular uncountable cardinal k, every consistent extension of PA(Q2) has a k-like model in which all classes are definable. (By a class we mean a subset of the universe of the model, every initial segment of which is finite in the sense of the model.)

On generalized quantifiers in arithmetic

1982 ◽  
Vol 47 (1) ◽  
pp. 187-190 ◽  
Author(s):  
Carl Morgenstern
Keyword(s):  
Axiom System ◽  
Peano Arithmetic ◽  
Order Logic ◽  
First Order Logic ◽  
Generalized Quantifiers ◽  
First Order ◽  
Order Language ◽  
Truth Definition ◽  
Order Arithmetic ◽  
Infinite Set

In this note we investigate an extension of Peano arithmetic which arises from adjoining generalized quantifiers to first-order logic. Markwald [2] first studied the definability properties of L1, the language of first-order arithmetic, L, with the additional quantifer Ux which denotes “there are infinitely many x such that…. Note that Ux is the same thing as the Keisler quantifier Qx in the ℵ0 interpretation.We consider L2, which is L together with the ℵ0 interpretation of the Magidor-Malitz quantifier Q2xy which denotes “there is an infinite set X such that for distinct x, y ∈ X …”. In [1] Magidor and Malitz presented an axiom system for languages which arise from adding Q2 to a first-order language. They proved that the axioms are valid in every regular interpretation, and, assuming ◊ω1, that the axioms are complete in the ℵ1 interpretation.If we let denote Peano arithmetic in L2 with induction for L2 formulas and the Magidor-Malitz axioms as logical axioms, we show that in we can give a truth definition for first-order Peano arithmetic, . Consequently we can prove in that is Πn sound for every n, thus in we can prove the Paris-Harrington combinatorial principle and the higher-order analogues due to Schlipf.

scholarly journals Proof theory for quantified monotone modal logics

2019 ◽  
Vol 27 (4) ◽  
pp. 478-506
Author(s):  
Sara Negri ◽  
Eugenio Orlandelli
Keyword(s):  
Proof Theory ◽  
Modal Logics ◽  
Cut Elimination ◽  
Sequent Calculi ◽  
Completeness Proof ◽  
First Order ◽  
Constant Domains ◽  
Normal Modal Logics ◽  
Order Extension

Abstract This paper provides a proof-theoretic study of quantified non-normal modal logics (NNML). It introduces labelled sequent calculi based on neighbourhood semantics for the first-order extension, with both varying and constant domains, of monotone NNML, and studies the role of the Barcan formulas in these calculi. It will be shown that the calculi introduced have good structural properties: invertibility of the rules, height-preserving admissibility of weakening and contraction and syntactic cut elimination. It will also be shown that each of the calculi introduced is sound and complete with respect to the appropriate class of neighbourhood frames. In particular, the completeness proof constructs a formal derivation for derivable sequents and a countermodel for non-derivable ones, and gives a semantic proof of the admissibility of cut.

Exploring Baryon Rich Matter with Heavy-Ion Collisions

2019 ◽  
Vol 64 (7) ◽  
pp. 583 ◽  
Author(s):  
S. Harabasz
Keyword(s):  
Center Of Mass ◽  
Heavy Ion ◽  
State Density ◽  
Heavy Nuclei ◽  
First Order ◽  
Center Of Mass Energy ◽  
Ion Collisions ◽  
Deconfinement Phase Transition ◽  
Ground State Density

Collisions of heavy nuclei at (ultra-)relativistic energies provide a fascinating opportunity to re-create various forms of matter in the laboratory. For a short extent of time (10-22 s), matter under extreme conditions of temperature and density can exist. In dedicated experiments, one explores the microscopic structure of strongly interacting matter and its phase diagram. In heavy-ion reactions at SIS18 collision energies, matter is substantially compressed (2–3 times ground-state density), while moderate temperatures are reached (T < 70 MeV). The conditions closely resemble those that prevail, e.g., in neutron star mergers. Matter under such conditions is currently being studied at the High Acceptance DiElecton Spectrometer (HADES). Important topics of the research program are the mechanisms of strangeness production, the emissivity of matter, and the role of baryonic resonances herein. In this contribution, we will focus on the important experimental results obtained by HADES in Au+Au collisions at 2.4 GeV center-of-mass energy. We will also present perspectives for future experiments with HADES and CBM at SIS100, where higher beam energies and intensities will allow for the studies of the first-order deconfinement phase transition and its critical endpoint.

Modality and folk psychology

2019 ◽  
Vol 28 (1) ◽  
pp. 19-27
Author(s):  
Ja. O. Petik
Keyword(s):  
Modal Logic ◽  
Brain Activity ◽  
Formal System ◽  
Philosophy Of Logic ◽  
Psychological States ◽  
Formal Systems ◽  
Modern Psychology ◽  
Philosophical Interpretation ◽  
Important Direction

The connection of the modern psychology and formal systems remains an important direction of research. This paper is centered on philosophical problems surrounding relations between mental and logic. Main attention is given to philosophy of logic but certain ideas are introduced that can be incorporated into the practical philosophical logic. The definition and properties of basic modal logic and descending ones which are used in study of mental activity are in view. The defining role of philosophical interpretation of modality for the particular formal system used for research in the field of psychological states of agents is postulated. Different semantics of modal logic are studied. The hypothesis about the connection of research in cognitive psychology (semantics of brain activity) and formal systems connected to research of psychological states is stated.

Relativized realizability in intuitionistic arithmetic of all finite types

1978 ◽  
Vol 43 (1) ◽  
pp. 23-44 ◽  
Author(s):  
Nicolas D. Goodman
Keyword(s):  
Extension Theorem ◽  
General Notion ◽  
Conservative Extension ◽  
First Order ◽  
New Information ◽  
Reflection Theorem ◽  
Order Arithmetic ◽  
Special Case ◽  
Dependent Choice ◽  
Intuitionistic Arithmetic

In this paper we introduce a new notion of realizability for intuitionistic arithmetic in all finite types. The notion seems to us to capture some of the intuition underlying both the recursive realizability of Kjeene [5] and the semantics of Kripke [7]. After some preliminaries of a syntactic and recursion-theoretic character in §1, we motivate and define our notion of realizability in §2. In §3 we prove a soundness theorem, and in §4 we apply that theorem to obtain new information about provability in some extensions of intuitionistic arithmetic in all finite types. In §5 we consider a special case of our general notion and prove a kind of reflection theorem for it. Finally, in §6, we consider a formalized version of our realizability notion and use it to give a new proof of the conservative extension theorem discussed in Goodman and Myhill [4] and proved in our [3]. (Apparently, a form of this result is also proved in Mine [13]. We have not seen this paper, but are relying on [12].) As a corollary, we obtain the following somewhat strengthened result: Let Σ be any extension of first-order intuitionistic arithmetic (HA) formalized in the language of HA. Let Σω be the theory obtained from Σ by adding functionals of finite type with intuitionistic logic, intensional identity, and axioms of choice and dependent choice at all types. Then Σω is a conservative extension of Σ. An interesting example of this theorem is obtained by taking Σ to be classical first-order arithmetic.

scholarly journals Nilpotents in semigroups of partial transformations

1997 ◽  
Vol 55 (3) ◽  
pp. 453-467 ◽  
Author(s):  
R. P. Sullivan
Keyword(s):  
Partial Transformation ◽  
Index 2 ◽  
Infinite Set

In 1987, Sullivan determined when a partial transformation α of an infinite set X can be written as a product of nilpotent transformations of the same set: he showed that when this is possible and the cardinal of X is regular then α is a product of 3 or fewer nilpotents with index at most 3. Here, we show that 3 is best possible on both counts, consider the corresponding question when the cardinal of X is singular, and investigate the role of nilpotents with index 2. We also prove that the nilpotent-generated semigroup is idempotent-generated but not conversely.

The spectrum of resplendency

1990 ◽  
Vol 55 (2) ◽  
pp. 626-636
Author(s):  
John T. Baldwin
Keyword(s):  
Homogeneous Model ◽  
Order Theory ◽  
First Order ◽  
First Order Theory ◽  
Uncountable Cardinal ◽  
Recursive Theory ◽  
Finite Language

AbstractLet T be a complete countable first order theory and λ an uncountable cardinal. Theorem 1. If T is not superstable, T has 2λ resplendent models of power λ. Theorem 2. If T is strictly superstable, then T has at least min(2λ, ℶ2) resplendent models of power λ. Theorem 3. If T is not superstable or is small and strictly superstable, then every resplendent homogeneous model of T is saturated. Theorem 4 (with Knight). For each μ ∈ ω ∪ {ω, 2ω} there is a recursive theory in a finite language which has μ resplendent models of power κ for every infinite κ.

scholarly journals Ganglioside incorporation and release by the isolated perfused rat liver

1991 ◽  
Vol 274 (2) ◽  
pp. 581-585 ◽  
Author(s):  
S C Kivatinitz ◽  
A Miglio ◽  
R Ghidoni
Keyword(s):  
Rat Liver ◽  
The Other ◽  
Regulatory Role ◽  
Isolated Perfused Rat Liver ◽  
Order Kinetic ◽  
Perfused Rat Liver ◽  
Ganglioside Gm1 ◽  
First Order ◽  
Pseudo First Order

The fate of exogenous ganglioside GM1 labelled in the sphingosine moiety, [Sph-3H]GM1, administered as a pulse, in the isolated perfused rat liver was investigated. When a non-recirculating protocol was employed, the amount of radioactivity in the liver and perfusates was found to be dependent on the presence of BSA in the perfusion liquid and on the time elapsed after the administration of the ganglioside. When BSA was added to the perfusion liquid, less radioactivity was found in the liver and more in the perfusate at each time tested, for up to 1 h. The recovery of radioactivity in the perfusates followed a complex course which can be described by three pseudo-first-order kinetic constants. The constants, in order of decreasing velocity, are interpreted as: (a) the dilution of the labelled GM1 by the constant influx of perfusion liquid; (b) the washing off of GM1 loosely bound to the surface of liver cells; (c) the release of gangliosides from the liver. Process (b) was found to be faster in the presence of BSA, probably owing to the ability of BSA to bind gangliosides. The [Sph-3H]GM1 in the liver underwent metabolism, leading to the appearance of products of anabolic (GD1a, GD1b) and catabolic (GM2, GM3) origin; GD1a appeared before GM2 and GM3 but, at times longer than 10 min, GM2 and GM3 showed more radioactivity than GD1a. At a given time the distribution of the radioactivity in the perfusates was quite different from that of the liver. In fact, after 60 min GD1a was the only metabolite present in any amount, the other being GM3, the quantity of which was small. This indicates that the liver is able to release newly synthesized gangliosides quite specifically. When a recirculating protocol was used, there were more catabolites and less GD1a than with the non-recirculating protocol. A possible regulatory role of ganglioside re-internalization on their own metabolism in the liver is postulated.

The Propagation Mechanism of a Vortex on the β Plane

2007 ◽  
Vol 37 (9) ◽  
pp. 2316-2330 ◽  
Author(s):  
Peter Jan van Leeuwen
Keyword(s):  
Coriolis Force ◽  
Opposite Sign ◽  
Propagation Mechanism ◽  
Reduced Gravity ◽  
Background Current ◽  
Background Flow ◽  
Coriolis Parameter ◽  
First Order ◽  
Flow Changes

Abstract The propagation velocity and propagation mechanism for vortices on a β plane are determined for a reduced-gravity model by integrating the momentum equations over the β plane. Isolated vortices, vortices in a background current, and initial vortex propagation from rest are studied. The propagation mechanism for isolated anticyclones as well as cyclones, which has been lacking up to now, is presented. It is shown that, to first order, the vortex moves to generate a Coriolis force on the mass anomaly of the vortex to compensate for the force on the vortex due to the variation of the Coriolis parameter. Only the mass anomaly of the vortex is of importance, because the Coriolis force due to the motion of the bulk of the layer moving with the vortex is almost fully compensated by the Coriolis force on the motion of the exterior flow. Because the mass anomaly of a cyclone is negative the force and acceleration have opposite sign. The role of dipolar structures in steadily moving vortices is discussed, and it is shown that their overall structure is fixed by the steady westward motion of the mass anomaly. Furthermore, it is shown that reduced-gravity vortices are not advected with a background flow. The reason for this behavior is that the background flow changes the ambient vorticity gradient such that the vortex obtains an extra self-propagation term that exactly cancels the advection by the background flow. Last, it is shown that a vortex initially at rest will accelerate equatorward first, after which a westward motion is generated. This result is independent of the sign of the vortex.

Sign in / Sign up

Export Citation Format

Share Document