Results 1  10
of
87,685
The Model Companion . . .
 ORDER 14: 8799, 19971998.
, 1998
"... The class of widthtwo orders has a model companion. The model companion is complete, decidable, nonfinitely axiomatizable, and has continuum many countable models. Generalizations of some results in (Pouzet, M., 1978, J. Combin. Theory Ser. B 25) are presented in the widthn case, for n>2. ..."
Abstract
 Add to MetaCart
The class of widthtwo orders has a model companion. The model companion is complete, decidable, nonfinitely axiomatizable, and has continuum many countable models. Generalizations of some results in (Pouzet, M., 1978, J. Combin. Theory Ser. B 25) are presented in the widthn case, for n>2.
Model Companions of Theories with an Automorphism
, 1998
"... For a theory T in L, T oe is the theory of the models of T with an automorphism oe. If T is an unstable model complete theory without the independence property, then T oe has no model companion. If T is an unstable model complete theory and T oe has the amalgamation property, then T oe has no model ..."
Abstract
 Add to MetaCart
For a theory T in L, T oe is the theory of the models of T with an automorphism oe. If T is an unstable model complete theory without the independence property, then T oe has no model companion. If T is an unstable model complete theory and T oe has the amalgamation property, then T oe has
Model companions of Taut for stable T
 Notre Dame Journal of Formal Logic
"... 759 revision:20030313 modified:20030314 Let T be a complete first order theory in a countable relational language L. We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol σ to obtain the language Lσ; TAut is obtained by addi ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
by adding axioms asserting that σ is an Lautomorphism. The modern study of the model companion of theories with an automorphism has two aspects. One line, stemming from Lascar [7], deals with ‘generic ’ automorphisms of arbitrary structures. A second, beginning with Chatzidakis and Hrushovski [2
Locally weighted learning
 ARTIFICIAL INTELLIGENCE REVIEW
, 1997
"... This paper surveys locally weighted learning, a form of lazy learning and memorybased learning, and focuses on locally weighted linear regression. The survey discusses distance functions, smoothing parameters, weighting functions, local model structures, regularization of the estimates and bias, ass ..."
Abstract

Cited by 599 (51 self)
 Add to MetaCart
This paper surveys locally weighted learning, a form of lazy learning and memorybased learning, and focuses on locally weighted linear regression. The survey discusses distance functions, smoothing parameters, weighting functions, local model structures, regularization of the estimates and bias
Notes on Model Companions of Stable Theories With an Automorphism
, 2001
"... Introduction These notes represent a commentary on a recent preprint of Baldwin and Shelah [?]. The issue (raised for example in [?]) is to find some kind of characterization of when T # has a model companion. Here T is a complete theory with quantifierelimination, and T # is T # {# is an automo ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Introduction These notes represent a commentary on a recent preprint of Baldwin and Shelah [?]. The issue (raised for example in [?]) is to find some kind of characterization of when T # has a model companion. Here T is a complete theory with quantifier
Computation and Analysis of Multiple Structural Change Models.‖
 Journal of Applied Econometrics
, 2003
"... SUMMARY In a recent paper, Bai and Perron (1998) considered theoretical issues related to the limiting distribution of estimators and test statistics in the linear model with multiple structural changes. In this companion paper, we consider practical issues for the empirical applications of the pro ..."
Abstract

Cited by 448 (6 self)
 Add to MetaCart
SUMMARY In a recent paper, Bai and Perron (1998) considered theoretical issues related to the limiting distribution of estimators and test statistics in the linear model with multiple structural changes. In this companion paper, we consider practical issues for the empirical applications
DETERMINING WHETHER V(A) HAS A MODEL COMPANION IS UNDECIDABLE
"... Using techniques pioneered by R. McKenzie, we prove that there is no algorithm which, given a finite algebra in a finite language, determines whether the variety (equational class) generated by the algebra has a model companion. In particular, there exists a finite algebra such that the variety it ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Using techniques pioneered by R. McKenzie, we prove that there is no algorithm which, given a finite algebra in a finite language, determines whether the variety (equational class) generated by the algebra has a model companion. In particular, there exists a finite algebra such that the variety
Results 1  10
of
87,685