default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 49
Volume 49, Number 1, January 2010
- Joshua A. Cole, Takayuki Kihara
:
The FOR ALL THERE EXISTS-theory of the effectively closed Medvedev degrees is decidable. 1-16 - António Marques Fernandes:
Strict P11-reflection in bounded arithmetic. 17-34 - Jiang Liu, Shengling Wang, Guohua Wu:
Infima of d.r.e. degrees. 35-49 - Ekaterina B. Fokina, Iskander Sh. Kalimullin, Russell G. Miller:
Degrees of categoricity of computable structures. 51-67 - V. Yu. Shavrukov:
Effectively inseparable Boolean algebras in lattices of sentences. 69-89 - Heike Mildenberger:
Finding generic filters by playing games. 91-118
Volume 49, Number 2, March 2010
- Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe:
Computability in Europe 2008. 119-121 - Maarten Bullynck, Liesbeth De Mol:
Setting-up early computer programs: D. H. Lehmer's ENIAC computation. 123-146 - Rosalie Iemhoff:
Kripke models for subtheories of CZF. 147-167 - Mariya Ivanova Soskova:
The limitations of cupping in the local structure of the enumeration degrees. 169-193 - Jiang Liu, Guohua Wu:
Joining to high degrees via noncuppables. 195-211 - Graham Emil Leigh, Michael Rathjen:
An ordinal analysis for theories of self-referential truth. 213-247 - Merlin Carl, Tim Fischbach, Peter Koepke, Russell G. Miller, Miriam Nasfi, Gregor Weckbecker:
The basic theory of infinite time register machines. 249-273 - Bahareh Afshari, Michael Rathjen:
A note on the theory of positive induction, ID*1. 275-281
Volume 49, Number 3, April 2010
- Greg Oman:
On the axiom of union. 283-289 - Morteza Moniri:
Provably recursive functions of constructive and relatively constructive theories. 291-300 - Asaf Ferber, Moti Gitik:
On almost precipitous ideals. 301-328 - Bohuslav Balcar, T. Pazák:
Quotients of Boolean algebras and regular subalgebras. 329-342 - Guram Bezhanishvili, Patrick J. Morandi:
Scattered and hereditarily irresolvable spaces in modal logic. 343-365 - Predrag Tanovic:
Asymmetric RK-minimal types. 367-377 - Juha Kontinen:
Definability of second order generalized quantifiers. 379-398 - Damir D. Dzhafarov, Jeffry L. Hirst, Tamara J. Lakins:
Ramsey's theorem for trees: the polarized tree theorem and notions of stability. 399-415
Volume 49, Number 4, May 2010
- Petr Cintula, Carles Noguera:
Implicational (semilinear) logics I: a new hierarchy. 417-446 - Gunter Fuchs, Itay Neeman, Ralf Schindler:
A criterion for coarse iterability. 447-467 - Hongliang Lai, Dexue Zhang:
Good fuzzy preorders on fuzzy power structures. 469-489 - Antonio Di Nola, Giacomo Lenzi, Luca Spada:
Representation of MV-algebras by regular ultrapowers of [0, 1]. 491-500 - Hiroaki Minami:
Around splitting and reaping for partitions of omega. 501-518 - Philip Kremer:
The modal logic of continuous functions on the rational numbers. 519-527
Volume 49, Number 5, June 2010
- Stefan Hetzl:
On the form of witness terms. 529-554 - Nicholas Rupprecht:
Relativized Schnorr tests with universal behavior. 555-570 - Athanassios Tzouvaras:
Localizing the axioms. 571-601 - Douglas S. Bridges, Iris Loeb:
Glueing continuous functions constructively. 603-616
Volume 49, Number 6, August 2010
- Otmar Spinas, Sonja Thiele:
Additivity of the two-dimensional Miller ideal. 617-658 - James Cummings, Dorshka Wylie:
More on full reflection below Àw. 659-671 - Charles M. Harris:
Goodness in the enumeration and singleton degrees. 673-691 - Razvan Diaconescu, Marius Petria:
Saturated models in institutions. 693-723
Volume 49, Numbers 7-8, December 2010
- Arthur W. Apter:
Indestructibility, instances of strong compactness, and level by level inequivalence. 725-741 - Luck Darnière, Markus Junker:
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond. 743-771 - Joost J. Joosten:
Consistency statements and iterations of computable functions in ISigma1 and PRA. 773-798 - Katherine Thompson:
Small universal families for graphs omitting cliques without GCH. 799-811 - Lew Gordeev:
A note on da Costa-Doria "exotic formalizations". 813-821
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-11-21 20:30 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:
