Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 168
Volume 168, Number 1, January 2017
- Piotr Szewczak
, Boaz Tsaban:
Products of Menger spaces: A combinatorial approach. 1-18 - Nathanael L. Ackerman, Cameron E. Freer, Aleksandra Kwiatkowska, Rehana Patel:
A classification of orbits admitting a unique invariant measure. 19-36 - Andrew D. Brooke-Taylor, Vera Fischer, Sy-David Friedman, Diana Carolina Montoya:
Cardinal characteristics at κ in a small u(κ) model. 37-49 - Chris Lambie-Hanson:
Bounded stationary reflection II. 50-71 - Meghdad Ghari:
Labeled sequent calculus for justification logics. 72-111 - Andrei Sipos:
Effective results on a fixed point algorithm for families of nonlinear mappings. 112-128 - Beibut Sh. Kulpeshov, S. V. Sudoplatov:
Vaught's conjecture for quite o-minimal theories. 129-149 - Emil Jerábek:
Proof complexity of intuitionistic implicational formulas. 150-190 - Samaria Montenegro:
Pseudo real closed fields, pseudo p-adically closed fields and NTP2. 191-232
Volume 168, Number 2, February 2017
- Martin Hyland, Guy McCusker, Nikos Tzevelekos:
Foreword for special issue of APAL for GaLoP 2013. 233 - Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis:
Game semantics for non-monotonic intensional logic programming. 234-253 - Valentin Blot:
Realizability for Peano arithmetic with winning conditions in HON games. 254-277 - Thomas Seiller:
Interaction graphs: Graphings. 278-320 - Paul-André Melliès:
A micrological study of negation. 321-372 - Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Reasoning about equilibria in game-like concurrent systems. 373-403 - Ichiro Hasuo, Naohiko Hoshino:
Semantics of higher-order quantum computation via geometry of interaction. 404-469 - James Laird:
Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects. 470-500
Volume 168, Number 3, March 2017
- Murdoch James Gabbay, Michael Gabbay:
Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness. 501-621 - Gabriel Conant:
Distance structures for generalized metric spaces. 622-650 - Sebastien Vasey:
Downward categoricity from a successor inside a good frame. 651-692 - Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui:
Algebraic proof theory: Hypersequents and hypercompletions. 693-737 - Yun Fan:
A uniform version of non-low2-ness. 738-748
Volume 168, Number 4, April 2017
- Aleksander Ivanov, Barbara Majcher-Iwanow:
Polish G-spaces and continuous logic. 749-775 - Junhua Yu:
On non-self-referential fragments of modal logics. 776-803 - Bjørn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn:
Covering the recursive sets. 804-823 - Stephen Flood:
Ordinals and graph decompositions. 824-839 - Zvonko Iljazovic, Lucija Validzic:
Computable neighbourhoods of points in semicomputable manifolds. 840-859 - Rupert Hölzl, Christopher P. Porter:
Randomness for computable measures and initial segment complexity. 860-886
Volume 168, Number 5, May 2017
- Paulo Oliva, Thomas Powell:
Bar recursion over finite partial functions. 887-921 - Thomas Gilton, John Krueger:
Mitchell's theorem revisited. 922-1016 - Paul Shafer:
Honest elementary degrees and degrees of relative provability without the cupping property. 1017-1031 - Robert Goldblatt, Ian M. Hodkinson:
Spatial logic of tangled closure operators and modal mu-calculus. 1032-1090 - Vincent Guingona, Cameron Donnay Hill, Lynn Scow:
Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles. 1091-1111 - Sean Cox, Philipp Lücke:
Characterizing large cardinals in terms of layered posets. 1112-1131 - Leonardo Manuel Cabrer, Daniele Mundici:
Germinal theories in Łukasiewicz logic. 1132-1151
Volume 168, Number 6, June 2017
- Eric P. Astor, Damir D. Dzhafarov, Reed Solomon, Jacob Suggs:
The uniform content of partial and linear orders. 1153-1171 - Ludovic Patey:
Dominating the Erdős-Moser theorem in reverse mathematics. 1172-1209 - Milos S. Kurilic, Nenad Moraca:
Condensational equivalence, equimorphism, elementary equivalence and similar similarities. 1210-1223 - William Chan:
The countable admissible ordinal equivalence relation. 1224-1246 - Ali Enayat, Tin Lok Wong:
Unifying the model theory of first-order and second-order arithmetic via. 1247-1283 - Luck Darnière:
Polytopes and simplexes in p-adic fields. 1284-1307 - Erin Caulfield:
On expansions of the real field by complex subgroups. 1308-1334 - Yasuo Yoshinobu:
The ⁎-variation of the Banach-Mazur game and forcing axioms. 1335-1359
Volume 168, Number 7, July 2017
- Anton Freund:
Proof lengths for instances of the Paris-Harrington principle. 1361-1382 - Will Boney, Rami P. Grossberg, Monica M. VanDieren, Sebastien Vasey:
Superstability from categoricity in abstract elementary classes. 1383-1395 - Matthew Harrison-Trainor:
The Gamma question for many-one degrees. 1396-1405 - Fan Yang, Jouko Väänänen:
Propositional team logics. 1406-1441 - Gabriel Conant:
Neostability in countable homogeneous metric spaces. 1442-1471 - András Pongrácz:
Reducts of the Henson graphs with a constant. 1472-1489 - Michal Doucha:
Erratum to: "Scott rank of Polish metric spaces" [Ann. Pure Appl. Logic 165 (12) (2014) 1919-1929]. 1490
Volume 168, Number 8, August 2017
- Yurii Khomskii, Giorgio Laguzzi:
Full-splitting Miller trees and infinitely often equal reals. 1491-1506 - Sonia L'Innocente, Carlo Toffalori, Gennadi Puninski:
On the decidability of the theory of modules over the ring of algebraic integers. 1507-1516 - Will Boney, Rami P. Grossberg:
Forking in short and tame abstract elementary classes. 1517-1551 - Dan Hathaway:
Disjoint Borel functions. 1552-1563 - Somayyeh Tari:
CE-cell decomposition and open cell property in o-minimal structures. 1564-1570 - Carmi Merimovich:
Supercompact extender based Magidor-Radin forcing. 1571-1587 - Daniel Perrucci, Marie-Françoise Roy:
Elementary recursive quantifier elimination based on Thom encoding and sign determination. 1588-1604 - Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder:
Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]. 1605-1608
Volume 168, Number 9, September 2017
- Sebastien Vasey:
Shelah's eventual categoricity conjecture in universal classes: Part I. 1609-1642 - Grigory K. Olkhovikov:
On generalized Van Benthem-type characterizations. 1643-1691 - Rutger Kuyper, Joseph S. Miller:
Nullifying randomness and genericity using symmetric difference. 1692-1699 - Andrey Bovykin, Andreas Weiermann:
The strength of infinitary Ramseyan principles can be accessed by their densities. 1700-1709 - John Goodrick, Byunghan Kim, Alexei S. Kolesnikov:
Homology groups of types in stable theories and the Hurewicz correspondence. 1710-1728 - Françoise Delon, Patrick Simonetta:
Abelian C-minimal valued groups. 1729-1782
Volume 168, Number 10, October 2017
- David M. Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner:
Ceres in intuitionistic logic. 1783-1836 - Kaisa Kangas:
Finding a field in a Zariski-like structure. 1837-1865 - Samaria Montenegro:
Imaginaries in bounded pseudo real closed fields. 1866-1877 - Jacob Davis:
Universal graphs at N_ω+1. 1878-1901 - Panagiotis Rouvelas:
Increasing sentences in Simple Type Theory. 1902-1926 - Samuel J. van Gool, George Metcalfe, Constantine Tsinakis:
Uniform interpolation and compact congruences. 1927-1948
Volume 168, Number 11, November 2017
- Ari Meir Brodsky, Assaf Rinot:
A microscopic approach to Souslin-tree constructions, Part I. 1949-2007 - Sherwood Hachtman:
Determinacy in third order arithmetic. 2008-2021 - Michael Hrusák, David Meza-Alcántara, E. Thümmel, Carlos Uzcátegui:
Ramsey type properties of ideals. 2022-2049 - Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt:
Clustered cell decomposition in P-minimal structures. 2050-2086 - L. B. Ostrovsky, Maksim E. Zhukovskii:
Monadic second-order properties of very sparse random graphs. 2087-2101
Volume 168, Number 12, December 2017
- Anton Freund:
Slow reflection. 2103-2128 - Jan Dobrowolski, Byunghan Kim, Junguk Lee:
The Lascar groups and the first homology groups in model theory. 2129-2151 - Enrique Casanovas, Luis Jaime Corredor:
Orbits of subsets of the monster model and geometric theories. 2152-2163 - S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare:
Corrigendum to "The d.r.e. degrees are not dense" [Ann. Pure Appl. Logic 55 (1991) 125-151]. 2164-2165
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-06-10 21:30 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:
