default search action
Annals of Pure and Applied Logic, Volume 166
Volume 166, Number 1, January 2015
- Antti Kuusisto:
Second-order propositional modal logic and monadic alternation hierarchies. 1-28 - Ján Pich
:
Circuit lower bounds in bounded arithmetics. 29-45 - Sy-David Friedman, Liuzhen Wu:
Definable normal measures. 46-60 - Miika Hannula
Axiomatizing first-order consequences in independence logic. 61-91
Volume 166, Number 2, February 2015
- Slavko Moconja, Predrag Tanovic
Asymmetric regular types. 93-120 - Kentaro Sato, Rico Zumbrunnen:
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP. 121-186 - Tamar Lando
First order S4 and its measure-theoretic semantics. 187-218 - Leszek Aleksander Kolodziejczyk, Keita Yokoyama
Categorical characterizations of the natural numbers require primitive recursion. 219-231 - Jonas Frey
Triposes, q-toposes and toposes. 232-259
Volume 166, Number 3, March 2015
- Ningyuan Yao, Dongyang Long:
Topological dynamics for groups definable in real closed field. 261-273 - Melvin Fitting, Roman Kuznets
Modal interpolation via nested sequents. 274-305 - Sy-David Friedman, Philipp Lücke
Large cardinals and definable well-orders, without the GCH. 306-324 - Uri Andrews, Isaac Goldbring, H. Jerome Keisler:
Definable closure in randomizations. 325-341 - Krzysztof Krupinski:
Superrosy fields and valuations. 342-357 - Joel Nagloo
Geometric triviality of the strongly minimal second Painlevé equations. 358-368 - Amit Kuber:
Grothendieck rings of theories of modules. 369-407
Volume 166, Number 4, April 2015
- Kentaro Fujimoto:
Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory. 409-463 - Gunter Fuchs
Set-theoretic geology. 464-501 - Vincent Guingona, Cameron Donnay Hill:
On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension. 502-525 - Sy-David Friedman, Radek Honzik
The tree property at the א2n's and the failure of SCH at אω. 526-552
Volume 166, Number 5, May 2015
- David Asperó, Peter Holy, Philipp Lücke
Forcing lightface definable well-orders without the GCH. 553-582 - Tetsuya Ishiu
The comparison of various club guessing principles. 583-600 - Zachiri McKenzie
Automorphisms of models of set theory and extensions of NFU. 601-638 - Ivan Tomasic
Galois stratification and ACFA. 639-663
Volume 166, Number 6, June 2015
- Sebastian Eberhard, Stefan Hetzl
Inductive theorem proving based on tree grammars. 665-700 - Fernando Ferreira
Nonstandardness and the bounded functional interpretation. 701-712 - Stephen G. Simpson
Cone avoidance and randomness preservation. 713-728 - Samuele Maschio, Thomas Streicher:
Models of intuitionistic set theory in subtoposes of nested realizability toposes. 729-739
Volume 166, Numbers 7-8, July - August 2015
- Franziska Jahnke
Uniformly defining p-henselian valuations. 741-754 - Rodney G. Downey, Guohua Wu, Yue Yang:
The members of thin and minimal classes, their ranks and Turing degrees. 755-766 - David R. Bélanger:
WKL0 and induction principles in model theory. 767-799 - Kentaro Sato:
A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0. 800-835 - Annalisa Conversano, Anand Pillay:
Connected components of definable groups, and o-minimality II. 836-849
Volume 166, Number 9, September 2015
- Rod Downey, Alexander G. Melnikov
On -categoricity of equivalence relations. 851-880 - Emil Jerábek
Rules with parameters in modal logic I. 881-933 - Brent Cody
Easton's theorem for Ramsey and strongly Ramsey cardinals. 934-952
Volume 166, Number 10, October 2015
- Pierre Matet:
Guessing more sets. 953-990 - Trevor M. Wilson
The envelope of a pointclass under a local determinacy hypothesis. 991-1018 - William Chen:
Tight stationarity and tree-like scales. 1019-1036 - Alexei Miasnikov, Dmytro Savchuk
An example of an automatic graph of intermediate growth. 1037-1048 - Rupert Hölzl, Paul Shafer:
Universality, optimality, and randomness deficiency. 1049-1069
Volume 166, Number 11, November 2015
- Diego Alejandro Mejía
Template iterations with non-definable ccc forcing notions. 1071-1109 - Spencer Unger:
Fragility and indestructibility II. 1110-1122 - David Chodounský
Why Y-c.c. 1123-1149 - Toshio Suzuki, Yoshinao Niida:
Equilibrium points of an AND-OR tree: Under constraints on probability. 1150-1164 - Ludovic Patey
Degrees bounding principles and universal instances in reverse mathematics. 1165-1185 - Yong Cheng, Sy-David Friedman, Joel David Hamkins
Large cardinals need not be large in HOD. 1186-1198 - Michael Beeson:
A constructive version of Tarski's geometry. 1199-1273
Volume 166, Number 12, December 2015
- Yizheng Zhu:
Realizing an AD+ model as a derived model of a premouse. 1275-1364 - Barbara F. Csima, Carolyn Knoll:
Measuring complexities of classes of structures. 1365-1381 - Stefano Berardi, Silvia Steila
An intuitionistic version of Ramsey's Theorem and its use in Program Termination. 1382-1406 - Omer Ben-Neria:
The structure of the Mitchell order - II. 1407-1432
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:50 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: