How to characterize provably total functions by local predicativity

1996 ◽  
Vol 61 (1) ◽  
pp. 52-69 ◽  
Author(s):  
Andreas Weiermann
Keyword(s):  
Theoretic Analysis ◽  
Closure Properties ◽  
New Approach

AbstractInspired by Pohlers' proof-theoretic analysis of KPω we give a straightforward non-metamathematical proof of the (well-known) classification of the provably total functions of PA, PA + TI(⊰ ↾) (where it is assumed that the well-ordering ⊰ has some reasonable closure properties) and KPω. Our method relies on a new approach to subrecursion due to Buchholz, Cichon and the author.

The current state of the legislative implementation of criminal law policy

2020 ◽  
pp. 111-118
Author(s):  
Oleksandr Ostrohliad
Keyword(s):  
Law Enforcement ◽  
Criminal Code ◽  
Practical Significance ◽  
New Approach ◽  
Public Discussion ◽  
Current State ◽  
Criminal Offenses ◽  
Legal Technology ◽  
Logical Semantic

Purpose. The aim of the work is to consider the novelties of the legislative work, which provide for the concept and classification of criminal offenses in accordance with the current edition of the Criminal Code of Ukraine and the draft of the new Code developed by the working group and put up for public discussion. Point out the gaps in the current legislation and the need to revise individual rules of the project in this aspect. The methodology. The methodology includes a comprehensive analysis and generalization of the available scientific and theoretical material and the formulation of appropriate conclusions and recommendations. During the research, the following methods of scientific knowledge were used: terminological, logical-semantic, system-structural, logical-normative, comparative-historical. Results In the course of the study, it was determined that despite the fact that the amendments to the Criminal Code of Ukraine came into force in July of this year, their perfection, in terms of legal technology, raises many objections. On the basis of a comparative study, it was determined that the Draft Criminal Code of Ukraine needs further revision taking into account the opinions of experts in the process of public discussion. Originality. In the course of the study, it was established that the classification of criminal offenses proposed in the new edition of the Criminal Code of Ukraine does not stand up to criticism, since other elements of the classification appear in subsequent articles, which are not covered by the existing one. The draft Code, using a qualitatively new approach to this issue, retains the elements of the previous classification and has no practical significance in law enforcement. Practical significance. The results of the study can be used in law-making activities to improve the norms of the current Criminal Code, to classify criminal offenses, as well as to further improve the draft Criminal Code of Ukraine.

scholarly journals BIM for Existing Construction: A Different Logic Scheme and an Alternative Semantic to Enhance the Interoperabilty

2021 ◽  
Vol 11 (4) ◽  
pp. 1855
Author(s):  
Franco Guzzetti ◽  
Karen Lara Ngozi Anyabolu ◽  
Francesca Biolo ◽  
Lara D’Ambrosio
Keyword(s):  
Project Management ◽  
Building Information Modeling ◽  
Information Modeling ◽  
Historical Buildings ◽  
Architectural Heritage ◽  
New Approach ◽  
Building Information ◽  
Heritage Building ◽  
New Construction

In the construction field, the Building Information Modeling (BIM) methodology is becoming increasingly predominant and the standardization of its use is now an essential operation. This method has become widespread in recent years, thanks to the advantages provided in the framework of project management and interoperability. Hoping for its complete dissemination, it is unthinkable to use it only for new construction interventions. Many are experiencing what happens with the so-called Heritage Building Information Modeling (HBIM); that is, how BIM interfaces with Architectural Heritage or simply with historical buildings. This article aims to deal with the principles and working methodologies behind BIM/HBIM and modeling. The aim is to outline the themes on which to base a new approach to the instrument. In this way, it can be adapted to the needs and characteristics of each type of building. Going into the detail of standards, the text also contains a first study regarding the classification of moldable elements. This proposal is based on current regulations and it can provide flexible, expandable, and unambiguous language. Therefore, the content of the article focuses on a revision of the thinking underlying the process, also providing a more practical track on communication and interoperability.

A New Approach to the Classification of Sound-Producing Instruments

1985 ◽  
Vol 29 (2) ◽  
pp. 213 ◽  
Author(s):  
Rene T. A. Lysloff ◽  
Jim Matson
Keyword(s):  
New Approach

TYPOLOGY OF SOCIAL ENTERPRISES AND SYSTEMATIZATION OF THEIR CLASSIFICATION FEATURES AS A COMPONENT OF THE FORMATION OF PUBLIC POLICY ON THE DEVELOPMENT OF SOCIAL ENTREPRENEURSHIP

2021 ◽  
Author(s):  
Kulinich O.V. ◽  
Orel Yu. ◽  
Bykovets K.Yu.
Keyword(s):  
Public Policy ◽  
Social Entrepreneurship ◽  
Business Processes ◽  
Social Enterprises ◽  
Entrepreneurial Activity ◽  
Social Programs ◽  
Legal Form ◽  
New Approach ◽  
Innovative Potential

The article examines the approaches to the classification of social enterprises by different classification features, such as: objectives and direction of using profit, priority sources of funding, the degree of integration of social programs and business processes, the degree of financial capacity, ways to create social enterprises, specifics of entrepreneurial activity organization, organizational and legal form, areas of activity, size, location, etc. A new approach to classification according to the criterion of innovative potential of enterprises is proposed.

Relative that and prepositional complementation

1997 ◽  
Vol 1 (1) ◽  
pp. 111-133 ◽  
Author(s):  
Aimo Seppänen
Keyword(s):  
General Principle ◽  
Word Class ◽  
New Approach ◽  
Actual Fact ◽  
Class Status ◽  
Order Of Elements ◽  
Proper Analysis ◽  
Internal Order

Ever since the days of Jespersen, voices have been raised which argue that relative that is not a pronoun like who and which, but a conjunction/complementizer, as shown in particular by the ban on the sequence preposition + that, which is claimed to be best described by treating that as a conjunction. Taking up the question of the proper analysis of that as it appears in the word's relationship to prepositions, the present paper argues that in actual fact the descriptions built by Jespersen and various generative grammarians on the view of that as a conjunction/complementizer are not at all adequate to deal with some crucial facts of the word's syntax. Noting then some further facts which even the traditional ban is unable to deal with, the paper develops a new approach to the question which is derived from an examination of Finnish relatives and which handles all the English facts noted in terms of a general principle about the internal order of elements within the fronted relative phrase. The principle invoked is completely neutral as regards the word-class status of that, but some of the facts explored strongly argue for the classification of the word as a pronoun.

A chemical–mineralogical classification of common plutonic rocks and associations

1983 ◽  
Vol 73 (3) ◽  
pp. 135-149 ◽  
Author(s):  
F. Debon ◽  
P. Le Fort
Keyword(s):  
Analytical Data ◽  
Quartz Content ◽  
New Approach ◽  
Mineralogical Characteristics ◽  
Simple Chemical ◽  
Plutonic Rocks ◽  
The Individual ◽  
New Criteria ◽  
Different Levels

ABSTRACTA classification is proposed, based mainly on major element analytical data plotted in a coherent set of three simple chemical-mineralogical diagrams. The procedure follows two complementary steps at two different levels. The first is concerned with the individual sample: the sample is given a name (e.g. granite, adamellite, granodiorite) and its chemical and mineralogical characteristics are determined. The second one is more important: it aims at defining the type of magmatic association (or series) to which the studied sample or group of samples belongs. Three main types of association are distinguished: cafemic (from source-material mainly or completely mantle-derived), aluminous (mainly or completely derived by anatexis of continental crust), and alumino-cafemic (intermediate between the other two types). Subtypes are then distinguished among the cafemic and alumino-cafemic associations: calc-alkaline (or granodioritic), subalkaline (or monzonitic), alkaline (and peralkaline), tholeiitic (or gabbroic-trondhjemitic), etc. In the same way, numerous subtypes and variants are also distinguished among the aluminous associations using a set of complementary criteria such as quartz content, colour index, alkali ratio, quartz–alkalies relationships and alumina index.Although involving a new approach using partly new criteria, this classification is consistent with most of the divisions used in previous typologies. The method may also be used in the classification of the volcanic equivalents of common plutonic rocks.

scholarly journals Physical Activity in Eating Disorders: A Systematic Review

Nutrients ◽  
2020 ◽  
Vol 12 (1) ◽  
pp. 183 ◽  
Author(s):  
Rizk Melissa ◽  
Mattar Lama ◽  
Kern Laurence ◽  
Berthoz Sylvie ◽  
Duclos Jeanne ◽  
...  
Keyword(s):  
Physical Activity ◽  
Eating Disorders ◽  
Weight Loss ◽  
Related Factors ◽  
New Approach ◽  
Problematic Use ◽  
Group 2 ◽  
Expression Of Emotions ◽  
Group 1

Abnormally high levels of physical activity have been documented throughout the literature in patients with eating disorders (ED), especially those diagnosed with anorexia nervosa (AN). Yet no clear definition, conceptualization, or treatment of the problematic use of physical activity (PPA) in ED patients exists. The aim of this review is to propose a new classification of PPA, report the prevalence, triggers, predictors, maintainers and other related factors of PPA in ED patients, in addition to proposing a comprehensive model of the development of PPA in AN. A total of 47 articles, retrieved from Medline and Web of Science, met the inclusion criteria and were included in the analysis. As a result, the new approach of PPA was divided into two groups (group 1 and group 2) according to the dimension (quantitative vs qualitative approach) of physical activity that was evaluated. The prevalence of PPA in ED was reported in 20 out of 47 studies, the comparison of PPA between ED versus controls in 21 articles, and the links between PPA and psychological factors in ED in 26 articles, including depression (16/26), anxiety (13/26), obsessive–compulsiveness (9/26), self-esteem (4/26), addictiveness (1/26), regulation and verbal expression of emotions (1/26) and anhedonia (1/26). The links between PPA and ED symptomatology, PPA and weight, body mass index (BMI) and body composition in ED, PPA and age, onset, illness duration and lifetime activity status in ED, PPA and ED treatment outcome were reported in 18, 15, 7, 5 articles, respectively. All of the factors have been systematically clustered into group 1 and group 2. Results focused more on AN rather than BN due to the limited studies on the latter. Additionally, a model for the development of PPA in AN patients was proposed, encompassing five periods evolving into three clinical stages. Thus, two very opposite components of PPA in AN were suggested: voluntarily PPA increased in AN was viewed as a conscious strategy to maximize weight loss, while involuntarily PPA increased proportionally with weight-loss, indicating that exercise might be under the control of a subconscious biological drive and involuntary cognition.

Sign in / Sign up

Export Citation Format

Share Document