Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 59
Volume 59, Number 1, 1 January 1993
- Uri Abraham, Saharon Shelah
:
A Delta22 Well-Order of the Reals and Incompactness of L(QMM). 1-32 - Xavier Caicedo:
Compactness and Normality in Abstract Logics. 33-43 - M. Randall Holmes:
Systems of Combinatory Logic Related to Predicative and 'Mildly Impredicative' Fragments of Quine's 'New Foundations'. 45-53 - John Love:
Stability among r.e. Quotient Algebras. 55-63 - Xiaokang Yu:
Riesz Representation Theorem, Borel Measures and Subsystems of Second-Order Arithmetic. 65-78
Volume 59, Number 2, 5 January 1993
- Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore:
Countable Thin Pi01 Classes. 79-139 - Kevin Lano:
The Intuitionistic Alternative Set Theory. 141-156
Volume 59, Number 3, 16 February 1993
- Samuel R. Buss:
Intuitionistic Validity in T-Normal Kripke Structures. 159-173 - Rodney G. Downey, Michael Stob:
Friedberg Splittings of Recursively Enumerable Sets. 175-199 - Jean-Yves Girard:
On the Unity of Logic. 201-217 - Moti Gitik, Saharon Shelah:
More on Simple Forcing Notions and Forcings with Ideals. 219-238 - Sabine Koppelberg:
A Construction of Boolean Algebras from First-Order Structures. 239-256 - Masahiro Kumabe:
Generic Degrees are Complemented. 257-272 - Lian Li, Huilin Li, Yixun Liu:
A Decision Algorithm for Linear Sentences on a PFM. 273-286
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 21:03 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:
