scholarly journals On the ‘Definability of Definable’ Problem of Alfred Tarski

Mathematics ◽  
2020 ◽  
Vol 8 (12) ◽  
pp. 2214
Author(s):  
Vladimir Kanovei ◽  
Vassily Lyubetsky
Keyword(s):  
Generic Extension ◽  
Alfred Tarski ◽  
Almost Disjoint ◽  
Further Development

In this paper we prove that for any m≥1 there exists a generic extension of L, the constructible universe, in which it is true that the set of all constructible reals (here subsets of ω) is equal to the set D1m of all reals definable by a parameter free type-theoretic formula with types bounded by m, and hence the Tarski ‘definability of definable’ sentence D1m∈D2m (even in the form D1m∈D21) holds for this particular m. This solves an old problem of Alfred Tarski (1948). Our methods, based on the almost-disjoint forcing of Jensen and Solovay, are significant modifications and further development of the methods presented in our two previous papers in this Journal.

scholarly journals Models of Set Theory in which Nonconstructible Reals First Appear at a Given Projective Level

Mathematics ◽  
2020 ◽  
Vol 8 (6) ◽  
pp. 910 ◽  
Author(s):  
Vladimir Kanovei ◽  
Vassily Lyubetsky
Keyword(s):  
Lower Limit ◽  
Set Theory ◽  
Generic Extension ◽  
Projective Class ◽  
Almost Disjoint ◽  
Projective Hierarchy ◽  
Models Of Set Theory

Models of set theory are defined, in which nonconstructible reals first appear on a given level of the projective hierarchy. Our main results are as follows. Suppose that n ≥ 2 . Then: 1. If it holds in the constructible universe L that a ⊆ ω and a ∉ Σ n 1 ∪ Π n 1 , then there is a generic extension of L in which a ∈ Δ n + 1 1 but still a ∉ Σ n 1 ∪ Π n 1 , and moreover, any set x ⊆ ω , x ∈ Σ n 1 , is constructible and Σ n 1 in L . 2. There exists a generic extension L in which it is true that there is a nonconstructible Δ n + 1 1 set a ⊆ ω , but all Σ n 1 sets x ⊆ ω are constructible and even Σ n 1 in L , and in addition, V = L [ a ] in the extension. 3. There exists an generic extension of L in which there is a nonconstructible Σ n + 1 1 set a ⊆ ω , but all Δ n + 1 1 sets x ⊆ ω are constructible and Δ n + 1 1 in L . Thus, nonconstructible reals (here subsets of ω ) can first appear at a given lightface projective class strictly higher than Σ 2 1 , in an appropriate generic extension of L . The lower limit Σ 2 1 is motivated by the Shoenfield absoluteness theorem, which implies that all Σ 2 1 sets a ⊆ ω are constructible. Our methods are based on almost-disjoint forcing. We add a sufficient number of generic reals to L , which are very similar at a given projective level n but discernible at the next level n + 1 .

Cohen-stable families of subsets of integers

2001 ◽  
Vol 66 (1) ◽  
pp. 257-270 ◽  
Author(s):  
Miloš S. Kurilić
Keyword(s):  
Countable Family ◽  
Generic Extension ◽  
Mad Families ◽  
Stable Splitting ◽  
Almost Disjoint ◽  
Maximal Almost Disjoint ◽  
Infinite Set ◽  
Families Of Subsets

AbstractA maximal almost disjoint (mad) family ⊆ [ω]ω is Cohen-stable if and only if it remains maximal in any Cohen generic extension. Otherwise it is Cohen-unstable. It is shown that a mad family. .is Cohen-unstable if and only if there is a bijection G from ω to the rationals such that the sets G[A]. A ∈ are nowhere dense. An ℵ0-mad family, . is a mad family with the property that given any countable family ℬ ⊂ [ω]ω such that each element of ℬ meets infinitely many elements of in an infinite set there is an element of meeting each element of ℬ in an infinite set. It is shown that Cohen-stable mad families exist if and only if there exist ℵ0-mad families. Either of the conditions b = c or a < cov() implies that there exist Cohen-stable mad families. Similar results are obtained for splitting families. For example, a splitting family. . is Cohen-unstable if and only if there is a bijection G from ω to the rationals such that the boundaries of the sets G[S], S ∈ are nowhere dense. Also. Cohen-stable splitting families of cardinality ≤ κ exist if and only if ℵ0-splitting families of cardinality ≤ κ exist.

scholarly journals On the Δ n 1 Problem of Harvey Friedman

Mathematics ◽  
2020 ◽  
Vol 8 (9) ◽  
pp. 1477 ◽  
Author(s):  
Vladimir Kanovei ◽  
Vassily Lyubetsky
Keyword(s):  
Generic Extension ◽  
Special Character ◽  
Almost Disjoint ◽  
Definition Of

In this paper, we prove the following. If n≥3, then there is a generic extension of L, the constructible universe, in which it is true that the set P(ω)∩L of all constructible reals (here—subsets of ω) is equal to the set P(ω)∩Δn1 of all (lightface) Δn1 reals. The result was announced long ago by Leo Harrington, but its proof has never been published. Our methods are based on almost-disjoint forcing. To obtain a generic extension as required, we make use of a forcing notion of the form Q=Cℂ×∏νQν in L, where C adds a generic collapse surjection b from ω onto P(ω)∩L, whereas each Qν, ν<ω2L, is an almost-disjoint forcing notion in the ω1-version, that adjoins a subset Sν of ω1L. The forcing notions involved are independent in the sense that no Qν-generic object can be added by the product of C and all Qξ, ξ≠ν. This allows the definition of each constructible real by a Σn1 formula in a suitably constructed subextension of the Q-generic extension. The subextension is generated by the surjection b, sets Sω·k+j with j∈b(k), and sets Sξ with ξ≥ω·ω. A special character of the construction of forcing notions Qν is L, which depends on a given n≥3, obscures things with definability in the subextension enough for vice versa any Δn1 real to be constructible; here the method of hidden invariance is applied. A discussion of possible further applications is added in the conclusive section.

Application of TEM to Deformation, Wear, and Fracture of Ceramics

1974 ◽  
Vol 32 ◽  
pp. 472-473
Author(s):  
B. J. Hockey
Keyword(s):  
Wear Resistance ◽  
High Temperature ◽  
Mechanical Behavior ◽  
Brittle Materials ◽  
High Temperature Strength ◽  
Wide Range ◽  
Corrosive Environments ◽  
Further Development

Ceramics, such as Al2O3 and SiC have numerous current and potential uses in applications where high temperature strength, hardness, and wear resistance are required often in corrosive environments. These materials are, however, highly anisotropic and brittle, so that their mechanical behavior is often unpredictable. The further development of these materials will require a better understanding of the basic mechanisms controlling deformation, wear, and fracture.The purpose of this talk is to describe applications of TEM to the study of the deformation, wear, and fracture of Al2O3. Similar studies are currently being conducted on SiC and the techniques involved should be applicable to a wide range of hard, brittle materials.

The stability of dislocation networks under various oxygen-doping conditions in superconducting Bi2Sr2CaCu2Oy single crystals and their influence on the flux pinning properties

1994 ◽  
Vol 52 ◽  
pp. 802-803
Author(s):  
Y. Feng ◽  
X. Y. Cai ◽  
R. J. Kelley ◽  
D. C. Larbalestier
Keyword(s):  
Single Crystals ◽  
Oxygen Content ◽  
Basal Plane ◽  
Flux Pinning ◽  
Pinning Centers ◽  
Before And After ◽  
Anomalous Peak ◽  
Basal Plane Dislocation ◽  
The Stability ◽  
Further Development

The issue of strong flux pinning is crucial to the further development of high critical current density Bi-Sr-Ca-Cu-O (BSCCO) superconductors in conductor-like applications, yet the pinning mechanisms are still much debated. Anomalous peaks in the M-H (magnetization vs. magnetic field) loops are commonly observed in Bi2Sr2CaCu2Oy (Bi-2212) single crystals. Oxygen vacancies may be effective flux pinning centers in BSCCO, as has been found in YBCO. However, it has also been proposed that basal-plane dislocation networks also act as effective pinning centers. Yang et al. proposed that the characteristic scale of the basal-plane dislocation networksmay strongly depend on oxygen content and the anomalous peak in the M-H loop at ˜20-30K may be due tothe flux pinning of decoupled two-dimensional pancake vortices by the dislocation networks. In light of this, we have performed an insitu observation on the dislocation networks precisely at the same region before and after annealing in air, vacuumand oxygen, in order to verify whether the dislocation networks change with varying oxygen content Inall cases, we have not found any noticeable changes in dislocation structure, regardless of the drastic changes in Tc and the anomalous magnetization. Therefore, it does not appear that the anomalous peak in the M-H loops is controlled by the basal-plane dislocation networks.

Perceived Burden of Informal Caregivers of a Chronically Ill Older Family Member

GeroPsych ◽  
2011 ◽  
Vol 24 (3) ◽  
pp. 143-154 ◽  
Author(s):  
Elmar Gräßel ◽  
Raffaela Adabbo
Keyword(s):  
Family Member ◽  
Informal Caregiver ◽  
Chronically Ill ◽  
Stress Model ◽  
The Past ◽  
Perceived Burden ◽  
Hypothetical Construct ◽  
Care Situation ◽  
The Impact ◽  
Further Development

The burden of caregivers has been intensively researched for the past 30 years and has resulted in a multitude of individual findings. This review illustrates the significance of the hypothetical construct of perceived burden for the further development and design of the homecare situation. Following explanations regarding the term informal caregiver, we derive the construct burden from its conceptual association with the transactional stress model of Lazarus and Folkman. Once the extent and characteristics of burden have been set forth, we then present the impact of perceived burden as the care situation. The question of predictors of burden will lead into the last section from which implications can be derived for homecare and relief of caregivers.

Cognitive Health Counseling 40+

2013 ◽  
Vol 21 (1) ◽  
pp. 24-33 ◽  
Author(s):  
Anne Eschen ◽  
Franzisca Zehnder ◽  
Mike Martin
Keyword(s):  
Outcome Variable ◽  
Pilot Phase ◽  
Subjective Memory ◽  
Cognitive Health ◽  
Health Counseling ◽  
Agents Of Change ◽  
Main Outcome Variable ◽  
Further Development

This article introduces Cognitive Health Counseling 40+ (CH.CO40+), an individualized intervention that is conceptually based on the orchestration model of quality-of-life management ( Martin & Kliegel, 2010 ) and aims at improving satisfaction with cognitive health in adults aged 40 years and older. We describe the theoretically deduced characteristics of CH.CO40+, its target group, its multifactorial nature, its individualization, the application of subjective and objective measures, the role of participants as agents of change, and the rationale for choosing participants’ satisfaction with their cognitive health as main outcome variable. A pilot phase with 15 middle-aged and six older adults suggests that CH.CO40+ attracts, and may be particularly suitable for, subjective memory complainers. Implications of the pilot data for the further development of the intervention are discussed.

Sign in / Sign up

Export Citation Format

Share Document