Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 52
Volume 52, Numbers 1-2, 15 April 1991
- Juichi Shinoda, Tosiyuki Tugué:
Preface - Papers presented at the International Symposium on Mathematical Logic and its Applications Nagoya, Japan, November 7-11, 1988. Ann. Pure Appl. Log. 52(1-2): 1 (1991) - Samuel R. Buss:
Propositional Consistency Proofs. 3-29 - Hajime Ishihara:
Constructive Compact Operators on a Hilbert Space. 31-37 - Carl G. Jockusch Jr., Robert I. Soare:
Degrees of Orderings Not Isomorphic to Recursive Linear Orderings. 39-64 - Akihiro Kanamori:
Regressive Partition Relations, n-Subtle Cardinals, and Borel Diagonalization. 65-77 - Alexander S. Kechris:
Boundedness Theorems for Dilators and Ptykes. 79-92 - Alexander S. Kechris, W. Hugh Woodin:
A Strong Boundedness Theorem for Dilators. 93-97 - H. Jerome Keisler:
From Discrete to Continuous Time. 99-141 - Jan Krajícek, Pavel Pudlák, Gaisi Takeuti:
Bounded Arithmetic and the Polynomial Hierarchy. 143-153 - Theodore A. Slaman:
The Density of Infima in the Recursively Enumerable Degrees. 155-179 - Kazuyuki Tanaka:
Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma02 Games). 181-193 - Masahiro Yasumoto:
Nonstandard Arithmetic of Hilbert Subsets. 195-202
Volume 52, Number 3, 24 June 1991
- Tapani Hyttinen, Heikki Tuuri:
Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories. 203-248 - Paolo Mancosu:
Generalizing Classical and Effective Model Theory in Theories of Operations and Classes. 249-308
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-04-22 20:02 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:
