default search action
Archive for Mathematical Logic, Volume 47
Volume 47, Number 1, June 2008
- Charalampos Cornaros, Costas Dimitracopoulos:
On two problems concerning end extensions. 1-14 - Hector Freytes:
Pavelka-style completeness in expansions of Lukasiewicz logic. 15-23 - J. Patricio Díaz Varela:
Free Lukasiewicz implication algebras. 25-33 - Pavel Naumov
:
On meta complexity of propositional formulas and propositional proofs. 35-52 - Moti Gitik:
On a question of Pereira. 53-64 - Arthur W. Apter, James Cummings
An L-like model containing very large cardinals. 65-78 - Teruyuki Yorioka:
Some weak fragments of Martin's axiom related to the rectangle refining property. 79-90
Volume 47, Number 2, July 2008
- Fernando Ferreira
Harrington's conservation theorem redone. 91-100 - Arthur W. Apter:
Indestructibility and measurable cardinals with few and many measures. 101-110 - Rumen D. Dimitrov:
A class of S30{Sigmas30} modular lattices embeddable as principal filters in L*(VJPY)L^{\ast}(Vinfinity). 111-132 - Arthur W. Apter, Grigor Sargsyan:
Universal indestructibility for degrees of supercompactness and strongly compact cardinals. 133-142 - Laurence Kirby:
A hierarchy of hereditarily finite sets. 143-157 - Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki:
Does truth-table of linear norm reduce the one-query tautologies to a random oracle? 159-180
Volume 47, Number 3, July 2008
- Matthew B. Giorgi:
A high noncuppable S02e-degree. 181-191 - Michael Hrusák
Ultrafilters and non-Cantor minimal sets in linearly ordered dynamical systems. 193-203 - Carl Mummert
Subsystems of second-order arithmetic between RCA0 and WKL0. 205-210 - Asher M. Kach:
Computable shuffle sums of ordinals. 211-219 - Maria L. Affatato, Thomas F. Kent, Andrea Sorbi:
Branching in the S02{Sigma02}-enumeration degrees: a new perspective. 221-231 - George Georgescu:
Fuzzy power structures. 233-261 - Vincenzo Marra
A characterization of MV-algebras free over finite distributive lattices. 263-276 - Jirí Rachunek, Dana Salounová
Monadic GMV-algebras. 277-297
Volume 47, Number 4, August 2008
- Albert Visser:
Pairs, sets and sequences in first-order theories. 299-326 - Vincent Astier:
Elementary equivalence of some rings of definable functions. 327-340 - S. Barry Cooper, Angsheng Li:
On Lachlan's major sub-degree problem. 341-434
Volume 47, Number 5, August 2008
- San-Min Wang
Logics with disjunction and proof by cases. 435-446 - Ali Enayat, Shahram Mohsenipour:
Model theory of the regularity and reflection schemes. 447-464 - Steven Awodey, Andrej Bauer:
Sheaf toposes for realizability. 465-478 - Jakub Gismatullin
G-compactness and groups. 479-501 - Jakob Kellner
Even more simple cardinal invariants. 503-515 - Luís Pereira
Applications of the topological representation of the pcf-structure. 517-527
Volume 47, Number 6, September 2008
- Peter Koepke, Ryan Siders:
Register computations on ordinals. 529-548 - Kosta Dosen, Zoran Petric:
Equality of proofs for linear equality. 549-565 - Stefan Geschke:
Potential continuity of colorings. 567-578 - Chaz Schlindwein:
Shelah's work on non-semi-proper iterations, I. 579-606 - Andrey Bovykin:
Resplendent models and S11{\Sigma_1^1} -definability with an oracle. 607-623 - Olivier Finkel:
Topological complexity of locally finite omega -languages. 625-651
Volume 47, Numbers 7-8, November 2008
- Noboru Osuga, Shizuo Kamo:
The cardinal coefficients of the Ideal If. 653-671 - Janusz Pawlikowski, Marcin Sabok:
Two stars. 673-676 - Harold Simmons:
Fruitful and helpful ordinal functions. 677-709 - Natasha Dobrinen, Sy D. Friedman:
Homogeneous iteration and measure one covering relative to HOD. 711-718 - Michael Hrusák
Forcing with quotients. 719-739 - Luca Spada
LPi logic with fixed points. 741-763 - Grigor Sargsyan:
On HOD-supercompactness. 765-768 - Arthur W. Apter, Peter Koepke:
Making all cardinals almost Ramsey. 769-783
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-18 20:48 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: