scholarly journals On choice sequences determined by spreads

1984 ◽  
Vol 49 (3) ◽  
pp. 908-916 ◽  
Author(s):  
Gerrit van der Hoeven ◽  
Ieke Moerdijk
Keyword(s):  
Formal System ◽  
Formal Theory ◽  
Restricted Class ◽  
Continuous Choice ◽  
Choice Sequence ◽  
Finite Sequences ◽  
The Moment ◽  
Basic Axiom ◽  
Image Position ◽  
Do So

From the moment choice sequences appear in Brouwer's writings, they do so as elements of a spread. This led Kreisel to take the so-called axiom of spreaddata as the basic axiom in a formal theory of choice sequences (Kreisel [1965, pp. 133–136]). This axiom expresses the idea that to be given a choice sequence means to be given a spread to which the choice sequence belongs. Subsequently, however, it was discovered that there is a formal clash between this axiom and closure of the domain of choice sequences under arbitrary (lawlike) continuous operations (Troelstra [1968]). For this reason, the formal system CS was introduced (Kreisel and Troelstra [1970]), in which spreaddata is replaced by analytic data. In this system CS, the domain of choice sequences is closed under all continuous operations, and therefore it provides a workable basis for intuitionistic analysis. But the problem whether the axiom of spreaddata is compatible with closure of the domain of choice sequences under the continuous operations from a restricted class, which is still rich enough to validate the typical axioms of continuous choice, remained open. It is precisely this problem that we aim to discuss in this paper.Recall that a spread is a (lawlike, inhabited) decidable subtree S of the tree N< N of all finite sequences, having all branches infinite:

The permutability of rules in the classical inferential calculus

1952 ◽  
Vol 17 (4) ◽  
pp. 245-248 ◽  
Author(s):  
Haskell B. Curry
Keyword(s):  
Formal System ◽  
Underlying Theory ◽  
Finite Sequences ◽  
Image Position ◽  
Single Proposition

We consider any set of Gentzen-type rules in a formal system of the following sort. The terms of the system are propositions, generally to be thought of as the propositions of some underlying theory. The elementary statements are of the formwhere and are finite sequences of propositions and (1) expresses a relation, called entailment, between such sequences. These sequences will be called prosequences; they may be void, or consist of a single proposition; and they may contain repetitions of the same proposition. The members of a prosequence will be called its constituents. Two prosequences which are permutations of one another will be regarded as the same. Prosequences will be designated by German letters, single propositions by Latin ones.The rules of the system are to be of the following form:This notation is to be understood as indicating p premises and a conclusion, each of the form (1). The constituents of and occur in all premises and conclusion; they are called the parametric constituents, or simply the parameters, of the inference.

INTUITIONISTIC ANALYSIS AT THE END OF TIME

2017 ◽  
Vol 23 (3) ◽  
pp. 279-295 ◽  
Author(s):  
JOAN RAND MOSCHOVAKIS
Keyword(s):  
Formal System ◽  
Choice Sequence ◽  
Definite Sequence ◽  
Image Position

AbstractKripke recently suggested viewing the intuitionistic continuum as an expansion in time of a definite classical continuum. We prove the classical consistency of a three-sorted intuitionistic formal system IC, simultaneously extending Kleene’s intuitionistic analysis I and a negative copy C° of the classically correct part of I, with an “end of time” axiom ET asserting that no choice sequence can be guaranteed not to be pointwise equal to a definite (classical or lawlike) sequence. “Not every sequence is pointwise equal to a definite sequence” is independent of IC. The proofs are by Crealizability interpretations based on classical ω-models ${\cal M}$ = $\left( {\omega ,{\cal C}} \right)$ of C°.

Thinking technology for the Anthropocene: encountering 3D printing through the philosophy of Gilbert Simondon

2017 ◽  
Vol 24 (4) ◽  
pp. 539-554 ◽  
Author(s):  
Tom Roberts
Keyword(s):  
3D Printing ◽  
Human Beings ◽  
Anthropogenic Change ◽  
Technological Processes ◽  
The Earth ◽  
The Social ◽  
Human Thinking ◽  
The Moment ◽  
Gilbert Simondon ◽  
Do So

The notion that the Earth has entered a new epoch characterized by the ubiquity of anthropogenic change presents the social sciences with something of a paradox, namely, that the point at which we recognize our species to be a geologic force is also the moment where our assumed metaphysical privilege becomes untenable. Cultural geography continues to navigate this paradox in conceptually innovative ways through its engagements with materialist philosophies, more-than-human thinking and experimental modes of ontological enquiry. Drawing upon the philosophy of Gilbert Simondon, this article contributes to these timely debates by articulating the paradox of the Anthropocene in relation to technological processes. Simondon’s philosophy precedes the identification of the Anthropocene epoch by a number of decades, yet his insistence upon situating technology within an immanent field of material processes resonates with contemporary geographical concerns in a number of important ways. More specifically, Simondon’s conceptual vocabulary provides a means of framing our entanglements with technological processes without assuming a metaphysical distinction between human beings and the forces of nature. In this article, I show how Simondon’s concepts of individuation and transduction intersect with this technological problematic through his far-reaching critique of the ‘hylomorphic’ distinction between matter and form. Inspired by Simondon’s original account of the genesis of a clay brick, the article unfolds these conceptual challenges through two contrasting empirical encounters with 3D printing technologies. In doing so, my intention is to lend an affective consistency to Simondon’s problematic, and to do so in a way that captures the kinds of material mutations expressive of a particular technological moment.

scholarly journals AVERAGING OF AN INCREASING NUMBER OF MOMENT CONDITION ESTIMATORS

2014 ◽  
Vol 32 (1) ◽  
pp. 30-70 ◽  
Author(s):  
Xiaohong Chen ◽  
David T. Jacho-Chávez ◽  
Oliver Linton
Keyword(s):  
Moment Condition ◽  
Moment Conditions ◽  
Parameter Heterogeneity ◽  
Class Of Estimators ◽  
Optimal Weighting ◽  
The Mean ◽  
The Moment ◽  
Image Position ◽  
Nonlinear Estimators ◽  
Available Information

We establish the consistency and asymptotic normality for a class of estimators that are linear combinations of a set of$\sqrt n$-consistent nonlinear estimators whose cardinality increases with sample size. The method can be compared with the usual approaches of combining the moment conditions (GMM) and combining the instruments (IV), and achieves similar objectives of aggregating the available information. One advantage of aggregating the estimators rather than the moment conditions is that it yields robustness to certain types of parameter heterogeneity in the sense that it delivers consistent estimates of the mean effect in that case. We discuss the question of optimal weighting of the estimators.

scholarly journals How handshape type can distinguish between nouns and verbs in homesign

Gesture ◽  
2013 ◽  
Vol 13 (3) ◽  
pp. 354-376 ◽  
Author(s):  
Dea Hunsicker ◽  
Susan Goldin-Meadow
Keyword(s):  
Sign Language ◽  
Deaf Child ◽  
Stages Of Development ◽  
Linguistic Structure ◽  
Early Stages ◽  
Hearing Parents ◽  
Signed Language ◽  
Combinatorial System ◽  
The Moment ◽  
Do So

All established languages, spoken or signed, make a distinction between nouns and verbs. Even a young sign language emerging within a family of deaf individuals has been found to mark the noun-verb distinction, and to use handshape type to do so. Here we ask whether handshape type is used to mark the noun-verb distinction in a gesture system invented by a deaf child who does not have access to a usable model of either spoken or signed language. The child produces homesigns that have linguistic structure, but receives from his hearing parents co-speech gestures that are structured differently from his own gestures. Thus, unlike users of established and emerging languages, the homesigner is a producer of his system but does not receive it from others. Nevertheless, we found that the child used handshape type to mark the distinction between nouns and verbs at the early stages of development. The noun-verb distinction is thus so fundamental to language that it can arise in a homesign system not shared with others. We also found that the child abandoned handshape type as a device for distinguishing nouns from verbs at just the moment when he developed a combinatorial system of handshape and motion components that marked the distinction. The way the noun-verb distinction is marked thus depends on the full array of linguistic devices available within the system.

scholarly journals Humanizing intensive nursing care for people with COVID-19

Rev Rene ◽  
2021 ◽  
Vol 22 ◽  
pp. e62584
Author(s):  
Sergio Vital da Silva Junior ◽  
Aline Gomes Machado ◽  
Anny Michelle Rodrigues da Silva Alves ◽  
Katia Jaqueline da Silva Cordeiro ◽  
Maíra Bonfim Barbosa ◽  
...  
Keyword(s):  
Intensive Care ◽  
Music Therapy ◽  
Care Environment ◽  
Intensive Care Nurses ◽  
On Line ◽  
The Moment ◽  
The Impact ◽  
Theoretical Saturation ◽  
Hospital Sample ◽  
Do So

Objective: to understand the impact of music on the intensive care for COVID-19 as an instrument to humanize assistance from the perspective of nurses who work on assistance. Methods: qualitative study carried out with seven intensive care nurses working in the COVID-19 Intensive Care Unit of a public state hospital. Sample reached through theoretical saturation. Data were collected using interviews through the on-line application WhatsApp, guided by a semi-structured guide. Results: the following discursive categories emerged: Feelings of health professionals and humanized actions in intensive care; Music therapy to provide integral care for people with COVID-19 in the score of intensive care; Living in the moment; Music therapy as an instrument for spirituality in the intensive care environment. Conclusion: the nursing intensive care did not only carry out a biological treatment, but considered all aspects of the human being, using to do so humanization by music.

scholarly journals Motion fluency effects on object preference is limited to learned context

PLoS ONE ◽  
2020 ◽  
Vol 15 (12) ◽  
pp. e0244110
Author(s):  
Jonathan Charles Flavell ◽  
Bryony McKean
Keyword(s):  
Boundary Condition ◽  
Original Work ◽  
Object Motion ◽  
Preference Change ◽  
Behavioural Interventions ◽  
Stimulus Choice ◽  
Critical Boundary ◽  
The Moment ◽  
Do So ◽  
Object Preference

Recently, Flavell et al. (2019) demonstrated that an object’s motion fluency (how smoothly and predictably it moves) influences liking of the object itself. Though the authors demonstrated learning of object-motion associations, participants only preferred fluently associated objects over disfluently associated objects when ratings followed a moving presentation but not a stationary presentation. In the presented experiment, we tested the possibility that this apparent failure of associative learning / evaluative conditioning was due to stimulus choice. To do so we replicate part of the original work but change the ‘naturally stationary’ household object stimuli with winged insects which move in a similar way to the original motions. Though these more ecologically valid stimuli should have facilitated object to motion associations, we again found that preference effects were only apparent following moving presentations. These results confirm the potential of motion fluency for ‘in the moment’ preference change, and they demonstrate a critical boundary condition that should be considered when attempting to generalise fluency effects across contexts such as in advertising or behavioural interventions.

scholarly journals Brick Manifolds and Toric Varieties of Brick Polytopes

10.37236/5038 ◽  
2016 ◽  
Vol 23 (2) ◽  
Author(s):  
Laura Escobar
Keyword(s):  
Toric Variety ◽  
Toric Varieties ◽  
Moment Map ◽  
Twisted Product ◽  
General Fiber ◽  
Moment Polytope ◽  
The Moment ◽  
Subword Complex ◽  
Do So

Bott-Samelson varieties are a twisted product of $\mathbb{C}\mathbb{P}^1$'s with a map into $G/B$. These varieties are mostly studied in the case in which the map into $G/B$ is birational to the image; however in this paper we study a fiber of this map when it is not birational. We prove that in some cases the general fiber, which we christen a brick manifold, is a toric variety. In order to do so we use the moment map of a Bott-Samelson variety to translate this problem into one in terms of the "subword complexes" of Knutson and Miller. Pilaud and Stump realized certain subword complexes as the dual of the boundary of a polytope which generalizes the brick polytope defined by Pilaud and Santos. For a nice family of words, the brick polytope is the generalized associahedron realized by Hohlweg, Lange and Thomas. These stories connect in a nice way: we show that the moment polytope of the brick manifold is the brick polytope. In particular, we give a nice description of the toric variety of the associahedron. We give each brick manifold a stratification dual to the subword complex. In addition, we relate brick manifolds to Brion's resolutions of Richardon varieties.

scholarly journals UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS

2018 ◽  
Vol 83 (3) ◽  
pp. 1204-1216 ◽  
Author(s):  
OLGA KHARLAMPOVICH ◽  
ALEXEI MYASNIKOV
Keyword(s):  
Lie Algebra ◽  
Lie Algebras ◽  
Model Theory ◽  
Characteristic Zero ◽  
Elementary Theory ◽  
Independence Property ◽  
First Order ◽  
Free Lie Algebras ◽  
Image Position ◽  
Do So

AbstractLet R be a commutative integral unital domain and L a free noncommutative Lie algebra over R. In this article we show that the ring R and its action on L are 0-interpretable in L, viewed as a ring with the standard ring language $+ , \cdot ,0$. Furthermore, if R has characteristic zero then we prove that the elementary theory $Th\left( L \right)$ of L in the standard ring language is undecidable. To do so we show that the arithmetic ${\Bbb N} = \langle {\Bbb N}, + , \cdot ,0\rangle $ is 0-interpretable in L. This implies that the theory of $Th\left( L \right)$ has the independence property. These results answer some old questions on model theory of free Lie algebras.

Right on Time: An Electoral Audit for the Publication of Vote Results

2019 ◽  
Vol 10 (2) ◽  
pp. 137-186
Author(s):  
Leonardo Antenangeli ◽  
Francisco Cantú
Keyword(s):  
Presidential Election ◽  
Counting Process ◽  
Time Span ◽  
Systematic Effect ◽  
Potential Bias ◽  
Electoral Outcome ◽  
Administrative Capacity ◽  
Electoral Outcomes ◽  
The Moment ◽  
Do So

Abstract The publication of electoral results in real time is a common practice in contemporary democracies. However, delays in the reporting of electoral outcomes often stir up skepticism and suspicion in the vote-counting process. This issue urges us to construct a systematic test to distinguish delays attributable to manipulation to those resulting from a limited administrative capacity. This paper proposes a method to assess the potential sorting of the electoral results given the moment at which polling stations publish their vote totals. To do so, we model the time span for a polling station to report its electoral results, to identify those observations whose reported times are poorly explained by the model, and to assess a potential bias in the candidates’ vote trends. We illustrate this method by analyzing the 2006 Presidential Election in Mexico, a contest that aroused suspicion from opposition parties and public opinion alike regarding how the electoral results were reported. The results suggest that polling stations’ time logs mostly respond to their specific geographic, logistic, and sociodemographic features. Moreover, those observations that took longer than expected to report their returns had no systematic effect on the electoral outcome. The proposed method can be used as an additional post-election audit to help officials and party representatives evaluate the integrity of an election.

Sign in / Sign up

Export Citation Format

Share Document