Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 109
Volume 109, Number 1-2, 15 May 2001
- Antonín Sochor:
Petr Vopenka (* 16.5.1935). Ann. Pure Appl. Log. 109(1-2): 1-8 (2001) - Karel Hrbacek:
Realism, nonstandard set theory, and large cardinals. 15-48 - Samuel R. Buss, Pavel Pudlák:
On the computational content of intuitionistic propositional proofs. 49-63 - Petr Hájek, John C. Shepherdson:
A note on the notion of truth in fuzzy logic. 65-69 - Péter Komjáth:
Three clouds may cover the plane. 71-75 - Andreas Blass:
Needed reals and recursion in generic reals. 77-88 - Jindrich Zapletal
:
Terminal notions in set theory. 89-116 - Menachem Kojman, Saharon Shelah:
Fallen cardinals. 117-129 - Bohuslav Balcar, Petr Simon:
The name for Kojman-shelah collapsing function. 131-137
Volume 109, Number 3, 30 May 2001
- Gerhard Jäger, Reinhard Kahle, Thomas Studer:
Universes in explicit mathematics. 141-162 - Claudio Bernardi:
Fixed points and unfounded chains. 163-178 - David Asperó, Joan Bagaria:
Bounded forcing axioms and the continuum. 179-203 - Antonio Bucciarelli, Thomas Ehrhard:
On phase semantics and denotational semantics: the exponentials. 205-241
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-31 18:41 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:
