• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 154,668
Next 10 →

The Model Companion . . .

by Anthony Bonato, Dejan Delic - 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.

the model companion

by Silvio Ghilardi, Samuel J. Van Gool
"... second order logic on infinite words is ..."
Abstract - Add to MetaCart
second order logic on infinite words is

Model Companions of Theories with an Automorphism

by Kikyo Hirotaka , 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

by John T. Baldwin, Saharon Shelah - 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

Cointegration and Tests of Present Value Models

by John Y. Campbell, Robert J. Shiller , 1986
"... ..."
Abstract - Cited by 525 (9 self) - Add to MetaCart
Abstract not found

Resource Description Framework (RDF) Model and Syntax Specification

by Ora Lassila, Ralph R. Swick, World Wide, Web Consortium , 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

by Anand Pillay , 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

by Christopher G. Atkeson, Andrew W. Moore , Stefan Schaal - 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

by R. Braden - 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

by Paul Klemperer - 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
Next 10 →
Results 1 - 10 of 154,668
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University