UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Infinitary Logic: In Memoriam Carol Karp

Kueker, D. W

1, 1975

Volltextzugriff (PDF)

Infinitary Logic: In Memoriam Carol Karp: A Collection of Papers by Various Authors

1975

Volltextzugriff (PDF)

Learning and Geometry: Computational Approaches

1, 1995

Volltextzugriff (PDF)

Abstract elementary classes and infinitary logics

Annals of pure and applied logic, 2008-12, Vol.156 (2), p.274-286

Kueker, David W.

2008

Volltextzugriff (PDF)

Definability, automorphisms, and infinitary languages

The Syntax and Semantics of Infinitary Languages, 2006, p.152-165

2006

Volltextzugriff (PDF)

Ramsey quantifiers and the finite cover property

Pacific journal of mathematics, 1980-01, Vol.90 (1), p.11-19

1980

Volltextzugriff (PDF)

Nearly Model Complete Theories

Mathematical logic quarterly, 1999, Vol.45 (3), p.291-298

1999

Volltextzugriff (PDF)

Elementarily equivalent models of power ω1

Logic Year 1979–80, 2006, p.120-131

2006

Volltextzugriff (PDF)

On a finiteness condition for infinitary languages

Infinitary Logic: In Memoriam Carol Karp, 2006, p.143-206

2006

Volltextzugriff (PDF)

Consistency properties for finite quantifier languages

Infinitary Logic: In Memoriam Carol Karp, 2006, p.73-123

2006

Volltextzugriff (PDF)

Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages

Infinitary Logic: In Memoriam Carol Karp, 2006, p.125-142

2006

Volltextzugriff (PDF)

Back-and-forth arguments and infinitary logics

Infinitary Logic: In Memoriam Carol Karp, 2006, p.17-71

Kueker, David W.

2006

Volltextzugriff (PDF)

Introduction

Infinitary Logic: In Memoriam Carol Karp, 2006, p.1-16

2006

Volltextzugriff (PDF)

Vaught Sentences and the Covering Theorem

Mathematical logic quarterly, 1988, Vol.34 (3), p.221-228

Kueker, David W.

1988

Volltextzugriff (PDF)

Countable approximations and Löwenheim-Skolem theorems

Annals of Mathematical Logic, 1977-05, Vol.11 (1), p.57-103

Kueker, David W.

1977

Volltextzugriff (PDF)

Representing Geometric Configurations

Learning and Geometry: Computational Approaches, p.143-178

Volltextzugriff (PDF)

Synthetic vs Analytic Geometry for Computers

Learning and Geometry: Computational Approaches, p.121-141

Volltextzugriff (PDF)

A Review of Some Extensions to the PAC Learning Model

Learning and Geometry: Computational Approaches, p.43-64

Volltextzugriff (PDF)

Pac Learning, Noise, and Geometry

Learning and Geometry: Computational Approaches, p.21-41

Volltextzugriff (PDF)

A Survey of Geometric Reasoning Using Algebraic Methods

Learning and Geometry: Computational Approaches, p.97-119

Volltextzugriff (PDF)

Finite Point Sets and Oriented Matroids Combinatorics in Geometry

Learning and Geometry: Computational Approaches, p.67-96

Volltextzugriff (PDF)

Geometry Theorem Proving in Euclidean, Descartesian, Hilbertian and Computerwise Fashion

Learning and Geometry: Computational Approaches, p.179-210

Volltextzugriff (PDF)

Learning by MDL

Learning and Geometry: Computational Approaches, p.3-19

Volltextzugriff (PDF)

A. Mostowski. A problem in the theory of models. Bulletin de l' Académie Polonaise des Sciences, Série des sciences hmatématiques, astronomiques et physiques, vol. 10 (1962), pp. 121–126

The Journal of symbolic logic, 1974-09, Vol.39 (3), p.600-600

Kueker, David W.

1974

Volltextzugriff (PDF)

Review: A. Mostowski, A Problem in the Theory of Models

The Journal of symbolic logic, 1974, Vol.39 (iss. 3), p.600-600

Kueker, David W

1974

Volltextzugriff (PDF)

1 – 25 von 32

Menü

Weitere Dienste

Einstellungen

Infinitary Logic: In Memoriam Carol Karp

Infinitary Logic: In Memoriam Carol Karp: A Collection of Papers by Various Authors

Learning and Geometry: Computational Approaches

Abstract elementary classes and infinitary logics

Definability, automorphisms, and infinitary languages

Ramsey quantifiers and the finite cover property

Nearly Model Complete Theories

Elementarily equivalent models of power ω1

On a finiteness condition for infinitary languages

Consistency properties for finite quantifier languages

Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages

Back-and-forth arguments and infinitary logics

Introduction

Vaught Sentences and the Covering Theorem

Countable approximations and Löwenheim-Skolem theorems

Representing Geometric Configurations

Synthetic vs Analytic Geometry for Computers

A Review of Some Extensions to the PAC Learning Model

Pac Learning, Noise, and Geometry

A Survey of Geometric Reasoning Using Algebraic Methods

Finite Point Sets and Oriented Matroids Combinatorics in Geometry

Geometry Theorem Proving in Euclidean, Descartesian, Hilbertian and Computerwise Fashion

Learning by MDL

A. Mostowski. A problem in the theory of models. Bulletin de l' Académie Polonaise des Sciences, Série des sciences hmatématiques, astronomiques et physiques, vol. 10 (1962), pp. 121–126

Review: A. Mostowski, A Problem in the Theory of Models

Suchergebnisse filtern