Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 39
Volume 39, Number 1, July 1988
- Luc Bélair:
Substructures and uniform elimination for p-adic fields. 1-17 - Marcia J. Groszek:
Applications of iterated perfect set forcing. 19-53 - Gabriel Srour:
The notion of independence in categories of algebraic structures, part II: S-minimal extensions. 55-73 - Gaisi Takeuti:
Bounded arithmetic and truth definition. 75-104
Volume 39, Number 2, August 1988
- E. Barker:
Intrinsically gs;0alpha; relations. 105-130 - William M. Farmer:
A unification algorithm for second-order monadic terms. 131-174 - Moti Gitik:
On the Mitchell and Rudin-Kiesler orderings of ultrafilters. 175-197
Volume 39, Number 3, September 1988
- Harold Hodes:
Cardinality logics, part I: inclusions between languages based on 'exactly'. 199-238 - Thomas G. Kucera:
Totally transcendental theories of modules: decomposition of models and types. 239-272 - Philip D. Welch
:
Some descriptive set theory and core models. 273-290
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-06-24 20: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:
