Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 146
Volume 146, Number 1, April 2007
- Pedro A. Guil Asensio
, Ivo Herzog:
Model-theoretic aspects of Sigma-cotorsion modules. 1-12
- Anand Pillay:
Imaginaries in pairs of algebraically closed fields. 13-20 - Brian Wynne:
Decidable theories of non-projectable l-groups of continuous functions. 21-39 - Benno van den Berg, Federico De Marchi:
Non-well-founded trees in categories. 40-59 - Michael A. Warren:
Coalgebras in a category of classes. 60-71 - Pavel Hrubes:
A lower bound for intuitionistic logic. 72-90 - Guohua Wu:
Intervals containing exactly one c.e. degree. 91-102
Volume 146, Numbers 2-3, May 2007
- Giovanni Curi:
Exact approximations to Stone-Cech compactification. 103-123 - Dan E. Willard:
Passive induction and a solution to a Paris-Wilkie open question. 124-149 - David Asperó:
Guessing and non-guessing of canonical functions. 150-179 - Fairouz Kamareddine, Karim Nour:
A completeness result for a realisability semantics for an intersection type system. 180-198 - Kentaro Sato:
Double helix in large large cardinals and iteration of elementary embeddings. 199-236 - Kosta Dosen, Zoran Petric:
Medial commutativity. 237-255
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 2023-03-22 01:27 CET 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:
