Results 1 - 10
of
154,668
The Model Companion . . .
- ORDER 14: 87--99, 1997--1998.
, 1998
"... The class of width-two orders has a model companion. The model companion is complete, decidable, non-finitely 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 width-n case, for n>2. ..."
Abstract
- Add to MetaCart
The class of width-two orders has a model companion. The model companion is complete, decidable, non-finitely 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 width-n 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:2003-03-13 modified:2003-03-14 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 L-automorphism. 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 1998-08-19 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 1998-08-19 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 quantifier-elimination, 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 RFC-1123 covers the application and support protocols.
Auction Theory: A Guide to the Literature
- JOURNAL OF ECONOMIC SURVEYS
, 1999
"... This paper provides an elementary, non-technical, 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, non-technical, 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