Results 1  10
of
154,668
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
Resource Description Framework (RDF) Model and Syntax Specification
, 1998
"... This document is a revision of the public working draft dated 19980819 incorporating suggestions received in review comments and further deliberations of the W3C RDF Model and Syntax Working Group. With the publication of this draft, the RDF Model and Syntax Specification enters "last call.&q ..."
Abstract

Cited by 922 (6 self)
 Add to MetaCart
This document is a revision of the public working draft dated 19980819 incorporating suggestions received in review comments and further deliberations of the W3C RDF Model and Syntax Working Group. With the publication of this draft, the RDF Model and Syntax Specification enters "last call
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
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 594 (53 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
Requirements for Internet Hosts  Communication Layers
 RFC1812] [RFC2277] Baker, F., "Requirements for IP Version 4 Routers", RFC 1812
, 1989
"... This RFC is an official specification for the Internet community. It incorporates by reference, amends, corrects, and supplements the primary protocol standards documents relating to hosts. Distribution of this document is unlimited. Summary This is one RFC of a pair that defines and discusses the r ..."
Abstract

Cited by 521 (6 self)
 Add to MetaCart
the requirements for Internet host software. This RFC covers the communications protocol layers: link layer, IP layer, and transport layer; its companion RFC1123 covers the application and support protocols.
Auction Theory: A Guide to the Literature
 JOURNAL OF ECONOMIC SURVEYS
, 1999
"... This paper provides an elementary, nontechnical, survey of auction theory, by introducing and describing some of the critical papers in the subject. (The most important of these are reproduced in a companion book, The Economic Theory of Auctions, Paul Klemperer (ed.), Edward Elgar (pub.), forthco ..."
Abstract

Cited by 528 (4 self)
 Add to MetaCart
This paper provides an elementary, nontechnical, survey of auction theory, by introducing and describing some of the critical papers in the subject. (The most important of these are reproduced in a companion book, The Economic Theory of Auctions, Paul Klemperer (ed.), Edward Elgar (pub
Results 1  10
of
154,668