Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 47
Volume 47, Number 1, 18 April 1990
- James E. Baumgartner, Jean A. Larson:
A Diamond Example of an Ordinal Graph with No Infinite Paths. 1-10 - Harvey Friedman, Jeffry L. Hirst:
Weak Comparability of Well Orderings and Reverse Mathematics. 11-29 - Jean A. Larson:
Martin's Axiom and Ordinal Graphs: Large Independent Sets or Infinite Paths. 31-39 - Saharon Shelah
, Michael Makkai:
Categoricity of Theories in Lk omega, with k a Compact Ordinal. 41-97
Volume 47, Number 2, 22 May 1990
- Christopher J. Ash:
Labelling Systems and r.e. Structures. 99-119 - Fabio Bellissima:
Post Complete and 0-Axiomatizable Modal Logics. 121-144 - Philip Scowcroft:
A New Model for Intuitionistic Analysis. 145-165 - Naoki Shioji, Kazuyuki Tanaka:
Fixed Point Theory in Weak Second-Order Arithmetic. 167-188 - Shih Ping Tung:
Algorithms for Sentences over Integral Domains. 189-197
Volume 47, Number 3, 5 June 1990
- Henryk Kotlarski, Zygmunt Ratajczyk:
Inductive Full Satisfaction Classes. 199-223 - Michael Makkai:
A Theorem on Barr-Exact Categories, with an Infinitary Generalization. 225-268 - Gabriel Srour:
The Notion of Independence in Categories of Algebraic Structures, Part III: Equational Classes. 269-294
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-07-04 22:24 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:
