Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 145
Volume 145, Number 1, January 2007
- Predrag Tanovic
:
Non-isolated types in stable theories. 1-15 - Ali Enayat:
Automorphisms of models of arithmetic: A unified view. 16-36 - Satoshi Matsuoka:
Weak typed Böhm theorem on IMLL. 37-90 - Zofia Adamowicz, Leszek Aleksander Kolodziejczyk:
Partial collapses of the Sigma1 complexity hierarchy in models for fragments of bounded arithmetic. 91-95 - Assaf Hasson:
Interpreting structures of finite Morley Rank in strongly minimal sets. 96-114
Volume 145, Number 2, February 2007
- Fernando Ferreira, Paulo Oliva:
Bounded functional interpretation and feasible analysis. 115-129 - Gunnar Wilken:
Ordinal arithmetic based on Skolem hulling. 130-161 - Gunnar Wilken:
Sigma1-elementarity and Skolem hull operators. 162-175 - Harold Simmons:
A coverage construction of the reals and the irrationals. 176-203 - Claude Sureson:
A valuation ring analogue of von Neumann regularity. 204-222
Volume 145, Number 3, March 2007
- Robert Saxon Milnikel:
Derivability in certain subsystems of the Logic of Proofs is Pi2p-complete. 223-239 - Milos S. Kurilic:
Splitting families and forcing. 240-251 - Andrew E. M. Lewis, George Barmpalias:
Randomness and the linear degrees of computability. 252-257 - Gennadi Puninski, Vera Puninskaya, Carlo Toffalori:
Decidability of the theory of modules over commutative valuation domains. 258-275 - Masahiro Hamano, Philip J. Scott:
A categorical semantics for polarized MALL. 276-313 - Erik Palmgren, Steven J. Vickers:
Partial Horn logic and cartesian categories. 314-353 - Beibut Sh. Kulpeshov:
Criterion for binarity of N0-categorical weakly o-minimal theories. 354-367 - Silvio Valentini:
Constructive characterizations of bar subsets. 368-378
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-19 19:20 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:
