Initial segments and end-extensions of models of arithmetic [PDF]
, 2010 This thesis is organized into two independent parts. In the first part, we extend the recent work on generic cuts by Kaye and the author. The focus here is the properties of the pairs (M, I) where I is a generic cut of a model M.
Wong, Tin Lok
core +7 more sources
Identifying and applying psychological theory to setting and achieving rehabilitation goals: development of a practice framework [PDF]
, 2009 Goal setting is considered to be a fundamental part of rehabilitation; however, theories of behaviour change relevant to goal-setting practice have not been comprehensively reviewed.
Scobbie, Lesley +5 more
core +4 more sources
Provability logic: models within models in Peano Arithmetic [PDF]
, 2023 In 1994 Jech gave a model-theoretic proof of Godel's second incompleteness theorem for Zermelo-Fraenkel set theory in the following form: ZF does not prove that ZF has a model. Kodarski showed that Jech's proof can be adapted to Peano Arithmetic with the
Berarducci, A, Mamino, M
core +1 more source
Evaluating investments in advanced manufacturing technology: A fuzzy set theory approach [PDF]
, 2001 In this paper, a model for the evaluation of investments in advanced manufacturing technology is developed. Many authors have called for an integration of financial and non-financial factors in such evaluations and this paper demonstrates that it is ...
Dugdale, D, Abdel-Kader, MG
core +1 more source
Gödel Mathematics Versus Hilbert Mathematics. II Logicism and Hilbert Mathematics, the Identification of Logic and Set Theory, and Gödel’s 'Completeness Paper' (1930) [PDF]
, 2023 The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after ...
Penchev, Vasil
core +1 more source
Every countable model of arithmetic or set theory has a pointwise-definable end extension [PDF]
According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the existence of pointwise-definable models of set theory, in
Hamkins, Joel David
core +4 more sources
Poincaré's philosophy of mathematics [PDF]
, 2012 The primary concern of this thesis is to investigate the explicit philosophy of mathematics in the work of Henri Poincare. In particular, I argue that there is a well-founded doctrine which grounds both Poincare's negative thesis, which is based on ...
Folina, Janet
core +2 more sources
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source
Cognitive and Neuroimaging Divergence Between Juvenile and Adult FUS Amyotrophic Lateral Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Amyotrophic lateral sclerosis (ALS) is a neurodegenerative disorder characterized by progressive motor neuron degeneration. Fused in sarcoma (FUS)‐associated juvenile ALS (jALS) represents a distinct and aggressive subgroup with rapid deterioration and poor prognosis.
Alexandra V. Jürs +7 more
wiley +1 more source
Optimization of the Production of Rubber Compounds Using Mathematical Models
Advanced Engineering Materials, EarlyView.Rubber compounds were mixed in a batch internal mixer, and symbolic regression was used to derive mathematical models linking recipe and process parameters to ram path, torque, and mixing quality (incorporation, dispersion, distribution). Subsequent optimization with evolutionary algorithms identified operating conditions that reduce specific energy ...
Anke Bardehle +7 more
wiley +1 more source