Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchiv für mathematische Logik und Grundlagenforschung, Volume 21
Volume 21, Number 1, December 1981
- Saharon Shelah
:
Models with second order properties. III. Omitting types forL(Q). 1-11 - Johann A. Makowsky, Johann Shelah:
The theorems of beth and Craig in abstract model theory II. Compact logics. 13-35 - Johann A. Makowsky, Martin Ziegler:
Topological model theory with an interior operator: Consistency properties and back - and forth arguments. 37-54 - Jon Barwise:
The role of the Omitting Types Theorem in infinitary logic. 55-68 - T. v. d. Twer:
On the strength of several versions of Dirichlet's ("pigeon-hole"-)principle in the sense of first-order logic. 69-76 - Urs Oswald:
Inequivalence of the fragments of new foundations. 77-82 - Horst Zeitler:
Die Amalgamierungseigenschaft und Reine Ringe. 83-100 - Hugo Volger:
A unifying approach to theorems on preservation and interpolation for binary relations between structures. 101-112 - Wolfram Pohlers:
Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1. 113-129 - Leszek Pacholski:
Homogeneous limit reduced powers. 131-136 - Hans Kleine Büning:
Some undecidable theories with monadic predicates and without equality. 137-148 - Dieter Klaua:
Inhomogene Operationen Reeller Ordinalzahlen. 149-167 - Martin W. Bunder:
Predicate calculus and naive set theory in pure combinatory logic. 169-177 - Michael von Rimscha:
Universality and strong extensionality. 179-193 - Michael von Rimscha:
Weak foundation and axioms of universality. 195-205
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 00:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
