Showing 1–5 of 5 results for author: Pierce, D

Fields with automorphism and valuation

Authors: Özlem Beyarslan, Daniel Max Hoffmann, Gönenç Onay, David Pierce

Abstract: Abraham Robinson's method for finding model completions is refined and and generalized for model companions and is applied to the theory of fields equipped with both a valuation and an automorphism. Abraham Robinson's method for finding model completions is refined and and generalized for model companions and is applied to the theory of fields equipped with both a valuation and an automorphism. △ Less

Submitted 19 October, 2017; originally announced October 2017.

Comments: 24 pages of size A5

MSC Class: 03C60; 12H10; 12J10; 12L12

Beyond first-order asymptotics for Cox regression

Authors: Donald A. Pierce, Ruggero Bellio

Abstract: To go beyond standard first-order asymptotics for Cox regression, we develop parametric bootstrap and second-order methods. In general, computation of $P$-values beyond first order requires more model specification than is required for the likelihood function. It is problematic to specify a censoring mechanism to be taken very seriously in detail, and it appears that conditioning on censoring is n… ▽ More To go beyond standard first-order asymptotics for Cox regression, we develop parametric bootstrap and second-order methods. In general, computation of $P$-values beyond first order requires more model specification than is required for the likelihood function. It is problematic to specify a censoring mechanism to be taken very seriously in detail, and it appears that conditioning on censoring is not a viable alternative to that. We circumvent this matter by employing a reference censoring model, matching the extent and timing of observed censoring. Our primary proposal is a parametric bootstrap method utilizing this reference censoring model to simulate inferential repetitions of the experiment. It is shown that the most important part of improvement on first-order methods - that pertaining to fitting nuisance parameters - is insensitive to the assumed censoring model. This is supported by numerical comparisons of our proposal to parametric bootstrap methods based on usual random censoring models, which are far more unattractive to implement. As an alternative to our primary proposal, we provide a second-order method requiring less computing effort while providing more insight into the nature of improvement on first-order methods. However, the parametric bootstrap method is more transparent, and hence is our primary proposal. Indications are that first-order partial likelihood methods are usually adequate in practice, so we are not advocating routine use of the proposed methods. It is however useful to see how best to check on first-order approximations, or improve on them, when this is expressly desired. △ Less

Submitted 13 April, 2015; originally announced April 2015.

Comments: Published at http://dx.doi.org/10.3150/13-BEJ572 in the Bernoulli (http://isi.cbs.nl/bernoulli/) by the International Statistical Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm)

Report number: IMS-BEJ-BEJ572

Journal ref: Bernoulli 2015, Vol. 21, No. 1, 401-419

Chains of Theories and Companionability

Authors: Özcan Kasal, David Pierce

Abstract: The theory of fields that are equipped with a countably infinite family of commuting derivations is not companionable; but if the axiom is added whereby the characteristic of the fields is zero, then the resulting theory is companionable. Each of these two theories is the union of a chain of companionable theories. In the case of characteristic zero, the model-companions of the theories in the cha… ▽ More The theory of fields that are equipped with a countably infinite family of commuting derivations is not companionable; but if the axiom is added whereby the characteristic of the fields is zero, then the resulting theory is companionable. Each of these two theories is the union of a chain of companionable theories. In the case of characteristic zero, the model-companions of the theories in the chain form another chain, whose union is therefore the model-companion of the union of the original chain. However, in a signature with predicates, in all finite numbers of arguments, for linear dependence of vectors, the two-sorted theory of vector-spaces with their scalar-fields is companionable, and it is the union of a chain of companionable theories, but the model-companions of the theories in the chain are mutually inconsistent. Finally, the union of a chain of non-companionable theories may be companionable. △ Less

Submitted 27 March, 2013; originally announced March 2013.

Comments: 12 pages

MSC Class: 03C10; 03C60; 12H05; 13N15

Numbers

Authors: David Pierce

Abstract: This paper grew out of the observation that the possibilities of proof by induction and definition by recursion are often confused. The paper reviews the distinctions. The von Neumann construction of the ordinal numbers includes a construction of natural numbers as a special kind of ordinal. In any case, the natural numbers can be understood as composing a free algebra in a certain signature, {0,s… ▽ More This paper grew out of the observation that the possibilities of proof by induction and definition by recursion are often confused. The paper reviews the distinctions. The von Neumann construction of the ordinal numbers includes a construction of natural numbers as a special kind of ordinal. In any case, the natural numbers can be understood as composing a free algebra in a certain signature, {0,s}. The paper here culminates in a construction of, for each algebraic signature S, a class ON_S that is to the class of ordinals as S is to {0,s}. In particular, ON_S has a subclass that is a free algebra in the signature S. △ Less

Submitted 28 April, 2011; originally announced April 2011.

Comments: 31 pages

MSC Class: 03E30; 03E70; 11A99; 11U99

Fields with several commuting derivations

Authors: David Pierce

Abstract: For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential fields has a model-companion. The axioms are that certain differential varieties determined by certain ordinary varieties are nonempty. There is no restriction on t… ▽ More For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential fields has a model-companion. The axioms are that certain differential varieties determined by certain ordinary varieties are nonempty. There is no restriction on the characteristic of the underlying field. △ Less

Submitted 3 January, 2013; v1 submitted 21 August, 2007; originally announced August 2007.

Comments: 18 pages

MSC Class: 03C10 (Primary) 03C60; 12H05 (Secondary)