Search results for "First order"

Games and Bisimulations for Intuitionistic First-Order Kripke Models

2021

The aim of this paper is to introduce the notion of a game for intuitionisticfirst-order Kripke models. We also establish links between notions presented here and thenotions of logical equivalence and bounded bisimulation for intuitionistic first-order Kripkemodels, and the Ehrenfeucht–Fra ̈ıss ́e game for classical first-order structures.

ORNAMENTAL SIGN LANGUAGE IN THE FIRST ORDER TRACERY BELTS

2010

18 pages; We consider ornamental sign language of first order where principles of sieve displacement, of asymmetric building blocks as base of ornament symmetry, color exchangeability and side equivalence principles work. The generic aspects of sieve and genesis of ornamental pattern and ornament sign in it are discussed. The hemiolia principle for ornamental genesis is introduced. The discoverer of most of these principles were artist Modris Tenisons [4, 5, 6, 7 (refs. 23, 24), 8 (ref. 65)]. Here we apply systematical research using simplest mathematical arguments. We come to conclusions that mathematical argument in arising ornament is of much more significance than simply symmetries in i…

On the first-order collapse transition of a three-dimensional, flexible homopolymer chain model

2005

We present simulation results for the phase behavior of flexible lattice polymer chains using the Wang-Landau sampling idea. These chains display a two-stage collapse through a coil-globule transition followed by a crystallization at lower temperatures. Performing a finite-size scaling analysis on the two transitions, we show that they coincide in the thermodynamic limit corresponding to a direct collapse of the random coil into the crystal without intermediate coil-globule transition.

Über den einfluß des lösungsmittels beim thermischen zerfall des azoisobuttersäuredinitrils

1967

Der Zerfall des Azoisobuttersauredinitrils wurde in 10 verschiedenen Losungsmitteln kinetisch untersucht. Er ist streng eine Reaktion erster Ordnung. Die Zerfallsgeschwindigkeit ist in den einzelnen Losungsmitteln verschieden. Der maximale Unterschied betragt bei 60°C 40% (Malonsaurediathylester/Cyclohexanol), entsprechend einer Differenz der Freien Enthalpie des Ubergangszustandes von 250 cal/Mol. Die starkeren Anderungen der Aktivierungsenthalpie bis zu 1,5 kcal/Mol werden durch entsprechende Anderungen der Entropie des Ubergangszustandes kompensiert. The thermal decomposition of azo-bis-isobutyronitrile in a series of 10 solvents was investigated. The reaction is strictly of first order.…

1976

The thermal degradation of poly(oxycarbonylpentamethylene), (poly-e-caprolactone), (3), was investigated at 220°C and 80 mm Hg under nitrogen. 3 was found to be thermally much more stable than poly(oxycarbonylethylene), (poly-β-propiolactone), (1), although it decomposed faster than poly(oxycarbonyl-1,1-dimethylethylene), (polypivalolactone), (2). The reaction was of the first order with a rate constant of k=6,2.10−4 min−1 and proceeded via a “zipper mechanism” to yield monomeric e-caprolactone. Der thermische Abbau von Poly(oxycarbonylpentamethylen), (Poly-e-caprolacton), (3), wurde bei 220°C im Stickstoffstrom bei 80 mm Hg untersucht. Dabei wurde gefunden, das 3 thermisch wesentlich stabi…

Postbuckling analysis of cracked stiffned plates by pb–2 Rayleigh-Ritz method

2015

A Rayleigh-Ritz approach for the analysis of buckling and post-buckling behavior of cracked composite stiffened plates is presented. The structure is thought as the assembly of plate elements modeled by the first order shear deformation theory. Continuity along the edges common to contiguous elements are enforced by using penalty techniques, which also allow to straightforwardly implement efficient crack modeling strategies. General symmetric and unsymmetric stacking sequences are considered and numerical procedures have been developed and used to validate the present solution by comparison with FEA results. Original results are also presented for post-buckling solution of multilayered stif…

Introduction to Mathematical Logic (Edition 2017)

2017

Hyper-textbook for students in mathematical logic, Edition 2017

Multiparameter quantum critical metrology

2022

Single parameter estimation is known to benefit from extreme sensitivity to parameter changes in quantum critical systems. However, the simultaneous estimation of multiple parameters is generally limited due to the incompatibility arising from the quantum nature of the underlying system. A key question is whether quantum criticality may also play a positive role in reducing the incompatibility in the simultaneous estimation of multiple parameters. We argue that this is generally the case and verify this prediction in paradigmatic quantum many-body systems close to first and second order phase transitions. The antiferromagnetic and ferromagnetic 1-D Ising chain with both transverse and longi…

What is Mathematics: Gödel's Theorem and Around (Edition 2015)

2015

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.

Whitney forms and their extensions

2021

Whitney forms are widely known as finite elements for differential forms. Whitney’s original definition yields first order functions on simplicial complexes, and a lot of research has been devoted to extending the definition to nonsimplicial cells and higher order functions. As a result, the term Whitney forms has become somewhat ambiguous in the literature. Our aim here is to clarify the concept of Whitney forms and explicitly explain their key properties. We discuss Whitney’s initial definition with more depth than usually, giving three equivalent ways to define Whitney forms. We give a comprehensive exposition of their main properties, including the proofs. Understanding of these propert…