Results 21 to 30 of about 235,200 (216)
On interpretations of bounded arithmetic and bounded set theory
, 2008 In a recent paper, Kaye and Wong proved the following result, which they considered to belong to the folklore of mathematical logic. THEOREM: The first-order theories of Peano arithmetic and ZF with the axiom of infinity negated are bi-interpretable ...
Pettigrew, Richard
core +2 more sources
On structures in hypergraphs of models of a theory [PDF]
, 2018 We define and study structural properties of hypergraphs of models of a theory including lattice ones. Characterizations for the lattice properties of hypergraphs of models of a theory, as well as for structures on sets of isomorphism types of models of ...
Kulpeshov, Beibut, Sudoplatov, Sergey
core +3 more sources
Fuzzy stability analysis of regenerative chatter in milling [PDF]
, 2010 During machining, unstable self-excited vibrations known as regenerative chatter can occur, causing excessive tool wear or failure, and a poor surface finish on the machined workpiece. Consequently it is desirable to predict, and hence avoid the onset of
Mann, B.P., Manson, G., Sims, N.D.
core +1 more source
Different Approaches to Proof Systems [PDF]
, 2010 The classical approach to proof complexity perceives proof systems as deterministic, uniform, surjective, polynomial-time computable functions that map strings to (propositional) tautologies. This approach has been intensively studied since the late 70’s
Beyersdorff, O, Mueller, S
core +1 more source
Linear Equation Systems Under Uncertainty: Applications to Multiproduct Market Equilibrium
MathematicsMarket equilibrium models are essential tools within classical economic theory for analyzing the interaction between supply and demand. However, traditional formulations are often based on deterministic relationships and assume the existence of perfect ...
Vicente Liern +2 more
doaj +1 more source
, 2017 The structure ${\cal C}_2:=(1^\infty,\le,\le_1,\le_2)$, introduced and first analyzed in Carlson and Wilken 2012 (APAL), is shown to be elementary recursive.
Wilken, Gunnar
core +1 more source
Removing Oxide Layers and Retaining Oxide‐Free Steel Surfaces by Polishing in Oxygen‐Free Atmosphere
Advanced Engineering Materials, EarlyView.In this study, the efficacy of wet mechanical polishing under an oxygen‐free atmosphere for deoxidation and the retention of an oxide‐free steel surface are elucidated using X‐ray photoelectron spectroscopy. The methodology proved successful; however, the results were highly dependent on the preparation of the solvents used to clean the samples after ...
Friedrich Bürger +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This study investigates laser‐based oxide removal of Cu inserts in oxygen‐free conditions and examines long‐term oxidation kinetics and surface chemistry under different atmospheres via X‐ray photoelectron spectroscopy. Al–Cu compound casting with differently oxidized surfaces is performed, and intermetallic phase formation, morphology, and thermal ...
Timon Steinhoff +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Bioprosthetic aortic valves have revolutionized the treatment of aortic stenosis, but their durability is limited by structural valve deterioration (SVD). This review focuses on the pericardial tissue at the heart of these valves, examining how its mechanical properties and calcification drive fatigue and failure.
Gabriele Greco +7 more
wiley +1 more source
Interpretations of Presburger Arithmetic in Itself
, 2018 Presburger arithmetic PrA is the true theory of natural numbers with addition. We study interpretations of PrA in itself. We prove that all one-dimensional self-interpretations are definably isomorphic to the identity self-interpretation.
A Tarski +13 more
core +1 more source