scholarly journals Forcing a countable structure to belong to the ground model

2016 ◽  
Vol 62 (6) ◽  
pp. 530-546 ◽  
Author(s):  
Itay Kaplan ◽  
Saharon Shelah
Keyword(s):  
Ground Model ◽  
Countable Structure

scholarly journals COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS

2016 ◽  
Vol 81 (3) ◽  
pp. 814-832 ◽  
Author(s):  
JULIA KNIGHT ◽  
ANTONIO MONTALBÁN ◽  
NOAH SCHWEBER
Keyword(s):  
Positive Result ◽  
Generic Extension ◽  
Ground Model ◽  
Rigid Structure ◽  
Basic Properties ◽  
Image Position ◽  
Scott Rank ◽  
The Universe ◽  
Generic Extensions ◽  
Countable Structure

AbstractIn this paper, we investigate connections between structures present in every generic extension of the universe V and computability theory. We introduce the notion of generic Muchnik reducibility that can be used to compare the complexity of uncountable structures; we establish basic properties of this reducibility, and study it in the context of generic presentability, the existence of a copy of the structure in every extension by a given forcing. We show that every forcing notion making ω2 countable generically presents some countable structure with no copy in the ground model; and that every structure generically presentable by a forcing notion that does not make ω2 countable has a copy in the ground model. We also show that any countable structure ${\cal A}$ that is generically presentable by a forcing notion not collapsing ω1 has a countable copy in V, as does any structure ${\cal B}$ generically Muchnik reducible to a structure ${\cal A}$ of cardinality ℵ1. The former positive result yields a new proof of Harrington’s result that counterexamples to Vaught’s conjecture have models of power ℵ1 with Scott rank arbitrarily high below ω2. Finally, we show that a rigid structure with copies in all generic extensions by a given forcing has a copy already in the ground model.

Vibration prediction based on the coupling method of half-train model and 3D refined finite element ground model

2021 ◽  
Vol 134 ◽  
pp. 104133
Author(s):  
Bitao Wu ◽  
Yuanlai Zeng ◽  
Zhenwei Zhou ◽  
Gang Wu ◽  
Huaxi Lu
Keyword(s):  
Finite Element ◽  
Coupling Method ◽  
Ground Model ◽  
Vibration Prediction

Uncountable models and infinitary elementary extensions

1973 ◽  
Vol 38 (3) ◽  
pp. 460-470 ◽  
Author(s):  
John Gregory
Keyword(s):  
Countable Subset ◽  
Elementary Extension ◽  
Admissible Set ◽  
Natural Numbers ◽  
Elementary Equivalence ◽  
Countable Structure

Let A be a countable admissible set (as defined in [1], [3]). The language LA consists of all infinitary finite-quantifier formulas (identified with sets, as in [1]) that are elements of A. Notationally, LA = A ∩ Lω1ω. Then LA is a countable subset of Lω1ω, the language of all infinitary finite-quantifier formulas with all conjunctions countable. The set is the set of Lω1ω sentences defined in 2.2 below. The following theorem characterizes those A-Σ1 sets Φ of LA sentences that have uncountable models.Main Theorem (3.1.). If Φ is an A-Σ1set of LA sentences, then the following are equivalent:(a) Φ has an uncountable model,(b) Φ has a model with a proper LA-elementary extension,(c) for every , ⋀Φ → C is not valid.This theorem was announced in [2] and is proved in §§3, 4, 5. Makkai's earlier [4, Theorem 1] implies that, if Φ determines countable structure up to Lω1ω-elementary equivalence, then (a) is equivalent to (c′) for all , ⋀Φ → C is not valid.The requirement in 3.1 that Φ is A-Σ1 is essential when the set ω of all natural numbers is an element of A. For by the example of [2], then there is a set Φ LA sentences such that (b) holds and (a) fails; it is easier to show that, if ω ϵ A, there is a set Φ of LA sentences such that (c) holds and (b) fails.

Co-stationarity of the ground model

2006 ◽  
Vol 71 (3) ◽  
pp. 1029-1043 ◽  
Author(s):  
Natasha Dobrinen ◽  
Sy-David Friedman
Keyword(s):  
Large Cardinals ◽  
Partial Ordering ◽  
Proper Class ◽  
Ground Model ◽  
Covering Theorem ◽  
Uncountable Cardinal ◽  
Cohen Forcing ◽  
Measurable Cardinals

AbstractThis paper investigates when it is possible for a partial ordering ℙ to force Pk(Λ)\V to be stationary in Vℙ. It follows from a result of Gitik that whenever ℙ adds a new real, then Pk(Λ)\V is stationary in Vℙ for each regular uncountable cardinal κ in Vℙ and all cardinals λ ≥ κ in Vℙ [4], However, a covering theorem of Magidor implies that when no new ω-sequences are added, large cardinals become necessary [7]. The following is equiconsistent with a proper class of ω1-Erdős cardinals: If ℙ is ℵ1-Cohen forcing, then Pk(Λ)\V is stationary in Vℙ, for all regular κ ≥ ℵ2and all λ ≩ κ. The following is equiconsistent with an ω1-Erdős cardinal: If ℙ is ℵ1-Cohen forcing, then is stationary in Vℙ. The following is equiconsistent with κ measurable cardinals: If ℙ is κ-Cohen forcing, then is stationary in Vℙ.

Increasing u2 by a stationary set preserving forcing

2009 ◽  
Vol 74 (1) ◽  
pp. 187-200
Author(s):  
Benjamin Claverie ◽  
Ralf Schindler
Keyword(s):  
Regular Cardinal ◽  
Nonstationary Ideal ◽  
Stationary Set ◽  
Precipitous Ideal ◽  
Countable Structure

AbstractWe show that if I is a precipitous ideal on ω1 and if θ > ω1 is a regular cardinal, then there is a forcing ℙ = ℙ(I, θ) which preserves the stationarity of all I-positive sets such that in Vℙ, ⟨Hθ; ∈, I⟩ is a generic iterate of a countable structure ⟨M; ∈, Ī⟩. This shows that if the nonstationary ideal on ω1 is precipitous and exists, then there is a stationary set preserving forcing which increases . Moreover, if Bounded Martin's Maximum holds and the nonstationary ideal on ω1 is precipitous, then .

Optimisation of geotechnical surveys using a BIM-based geostatistical analysis

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Elham Mahmoudi ◽  
Marcel Stepien ◽  
Markus König
Keyword(s):  
Experimental Design ◽  
Data Structures ◽  
Digital Design ◽  
Ground Model ◽  
Content Type ◽  
Design Environments ◽  
Spatial Estimation ◽  
Computational Performance ◽  
Geological Models ◽  
The Impact

PurposeA principle prerequisite for designing and constructing an underground structure is to estimate the subsurface's properties and obtain a realistic picture of stratigraphy. Obtaining direct measure of these values in any location of the built environment is not affordable. Therefore, any evaluation is afflicted with uncertainty, and we need to combine all available measurements, observations and previous knowledge to achieve an informed estimate and quantify the involved uncertainties. This study aims to enhance the geotechnical surveys based on a spatial estimation of subsoil to customised data structures and integrating the ground models into digital design environments.Design/methodology/approachThe present study's objective is to enhance the geotechnical surveys based on a spatial estimation of subsoil to customised data structures and integrating the ground models into digital design environments. A ground model consisting of voxels is developed via Revit-Dynamo to represent spatial uncertainties employing the kriging interpolation method. The local arrangement of new surveys are evaluated to be optimised.FindingsThe visualisation model's computational performance is modified by using an octree structure. The results show that it adapts the structure to be modelled more efficiently. The proposed concept can identify the geological models' risky locations for further geological investigations and reveal an optimised experimental design. The modifications criteria are defined in global and local considerations.Originality/valueIt provides a transparent and repeatable approach to construct a spatial ground model for subsequent experimental or numerical analysis. In the first attempt, the ground model was discretised by a grid of voxels. In general, the required computing time primarily depends on the size of the voxels. This issue is addressed by implementing octree voxels to reduce the computational efforts. This applies especially to the cases that a higher resolution is required. The investigations using a synthetic soil model showed that the developed methodology fulfilled the kriging method's requirements. The effects of variogram parameters, such as the range and the covariance function, were investigated based on some parameter studies. Moreover, a synthetic model is used to demonstrate the optimal experimental design concept. Through the implementation, alternative locations for new boreholes are generated, and their uncertainties are quantified. The impact of the new borehole on the uncertainty measures are quantified based on local and global approaches. For further research to identify the geological models' risky spots, the development of this approach with additional criteria regarding the search neighbourhood and consideration of barriers and trends in real cases (by employing different interpolation methodologies) should be considered.

scholarly journals Design of Mobility System for Ground Model of Planetary Exploration Rover

2012 ◽  
Vol 29 (4) ◽  
pp. 413-422
Author(s):  
Younkyu Kim ◽  
Wesub Eom ◽  
Joo-Hee Lee ◽  
Eun-Sup Sim
Keyword(s):  
Planetary Exploration ◽  
Ground Model ◽  
Mobility System

scholarly journals ChipSats for Planetary Exploration: Dynamics and Aerothermal Modeling of Atmospheric Entry and Dispersion

2021 ◽  
Vol 8 ◽  
Author(s):  
Joshua S. Umansky-Castro ◽  
Kimberly G. Yap ◽  
Mason A. Peck
Keyword(s):  
Planetary Exploration ◽  
Technology Readiness ◽  
Ground Model ◽  
Atmospheric Entry ◽  
Cornell University ◽  
The Earth ◽  
Mission Duration ◽  
Globally Distributed

This paper presents an orbit-to-ground model for the atmospheric entry of ChipSats, gram-scale spacecraft that offer unique advantages over their conventionally larger counterparts. ChipSats may prove particularly useful for in-situ measurements in the upper atmosphere, where spatially and temporally varying phenomena are especially difficult to characterize. Globally distributed ChipSats would enable datasets of unprecedented detail, assuming they could survive. The model presented is used to assess the survival and dispersion of a swarm of ChipSats when deployed over the Earth, Moon, Mars, and Titan. These planetary exploration case studies focus on the Monarch, the newest-generation ChipSat developed at Cornell University, in order to evaluate technology readiness for such missions. A parametric study is then conducted to inform future ChipSat design, highlighting the role of the ballistic coefficient in both peak entry temperature and mission duration.

scholarly journals A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS

2018 ◽  
Vol 83 (1) ◽  
pp. 326-348 ◽  
Author(s):  
RUSSELL MILLER ◽  
BJORN POONEN ◽  
HANS SCHOUTENS ◽  
ALEXANDRA SHLAPENTOKH
Keyword(s):  
Model Theory ◽  
Open Problem ◽  
Category Theory ◽  
Computable Model ◽  
Computable Model Theory ◽  
Arbitrary Characteristic ◽  
Faithful Functor ◽  
New Construction ◽  
Image Position ◽  
Countable Structure

AbstractFried and Kollár constructed a fully faithful functor from the category of graphs to the category of fields. We give a new construction of such a functor and use it to resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure${\cal S}$, there exists a countable field${\cal F}$of arbitrary characteristic with the same essential computable-model-theoretic properties as${\cal S}$. Along the way, we develop a new “computable category theory”, and prove that our functor and its partially defined inverse (restricted to the categories of countable graphs and countable fields) are computable functors.

Sign in / Sign up

Export Citation Format

Share Document