The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Ann. Pure Appl. Logic"( http://dblp.L3S.de/Venues/Ann._Pure_Appl._Logic )

URL (DBLP): http://dblp.uni-trier.de/db/journals/apal

Publication years (Num. hits)
1983-1984 (38) 1985 (22) 1986 (50) 1987 (49) 1988 (37) 1989 (61) 1990 (53) 1991 (53) 1992 (40) 1993 (82) 1994 (52) 1995 (60) 1996 (66) 1997 (84) 1998 (52) 1999 (57) 2000 (52) 2001 (86) 2002 (42) 2003 (55) 2004 (78) 2005 (75) 2006 (125) 2007 (57) 2008 (73) 2009 (113) 2010 (92) 2011 (46) 2012 (127) 2013 (83) 2014 (84) 2015 (52) 2016 (58) 2017 (79) 2018 (56) 2019 (19)
Publication types (Num. hits)
article(2308)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 2308 publication records. Showing 2308 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rachid Atmai, Grigor Sargsyan Hod up to ADR+Θ is measurable. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Steffen Lewitzka Reasoning about proof and knowledge. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sam Sanders A note on non-classical nonstandard arithmetic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Holy, Philipp Lücke, Ana Njegomir Small embedding characterizations for large cardinals. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fabio Pasquali A characterization of those categories whose internal logic is Hilbert's ε-calculus. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dominique Lecomte Acyclicity and reduction. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yatir Halevi On Stably Pointed Varieties and Generically Stable Groups in ACVF. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yo Matsubara, Hiroshi Sakai, Toshimichi Usuba On the existence of skinny stationary subsets. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Damian Sobota The Nikodym property and cardinal characteristics of the continuum. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sohei Iwata, Taishi Kurahashi On arithmetical completeness of the logic of proofs. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benno van den Berg, Sam Sanders Reverse Mathematics and parameter-free Transfer. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yong Liu Isolated maximal d.r.e. degrees. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1S. N. Popova, M. E. Zhukovskii Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Åsa Hirvonen, Tapani Hyttinen On eigenvectors, approximations and the Feynman propagator. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Barbara F. Csima, Jonathan Stephenson Finite computable dimension and degrees of categoricity. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1John Krueger The approachability ideal without a maximal set. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Norbert Preining On the classification of first order Gödel logics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Shulman Comparing material and structural set theories. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christian Espíndola Infinitary first-order categorical logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini Tarski's theorem on intuitionistic logic, for polyhedra. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rob Egrot No finite axiomatizations for posets embeddable into distributive lattices. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Brian A. Davey, Jane G. Pitkethly, Ross Willard New-from-old full dualities via axiomatisation. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1A. Alibek, Bektur Sembiuly Baizhanov, Beibut Sh. Kulpeshov, T. S. Zambarnaya Vaught's conjecture for weakly o-minimal theories of convexity rank 1. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Potgieter Algorithmically random series and Brownian motion. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tapani Hyttinen, Gianluca Paolini Beyond abstract elementary classes: On the model theory of geometric lattices. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl Preface. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tamar Lando Topology and measure in logics for region-based theories of space. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir Kanovei, Vassily A. Lyubetsky Definable E0 classes at arbitrary projective levels. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio di Nola, Serafina Lapenta, Ioana Leustean An analysis of the logic of Riesz spaces with strong unit. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saeed Salehi, Payam Seraji On constructivity and the Rosser property: a closer look at some Gödelean proofs. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Ardeshir, S. Mojtaba Mojtahedi The Σ1-provability logic of HA. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saeideh Bahrami, Ali Enayat Elementary equivalence of rings with finitely generated additive groups. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ivan Tomasic Direct twisted Galois stratification. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chris Le Sueur Determinacy of refinements to the difference hierarchy of co-analytic sets. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Merlin Carl, Philipp Schlicht, Philip D. Welch Recognizable sets and Woodin cardinals: computation beyond the constructible universe. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Fernández-Duque, Joost J. Joosten The omega-rule interpretation of transfinite provability logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Feresiano Mwesigye, John K. Truss Ehrenfeucht-Fraïssé games on ordinals. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Silvio Ghilardi, Alessandro Gianola Modularity results for interpolation, amalgamation and superamalgamation. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vassilios Gregoriades The Dyck and the Preiss separation uniformly. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Lück Axiomatizations of team logics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tibor Beke, Jirí Rosický Elementary equivalences and accessible functors. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tommaso Moraschini A computational glimpse at the Leibniz and Frege hierarchies. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Hieronymi, Travis Nell, Erik Walsberg Wild theories with o-minimal open core. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sylvy Anscombe, Franziska Jahnke Henselianity in the language of rings. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Cut-elimination for ω1. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amitayu Banerjee, Mohamed Khaled First order logic without equality on relativized semantics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joseph S. Miller, Mariya Ivanova Soskova Corrigendum to "Advice classes of parameterized tractability" [Ann. Pure Appl. Logic 84 (1) (1997) 119-138]. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bruno Dinis, Jaime Gaspar Structure and enumeration theorems for hereditary properties in finite relational languages. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Danielle Macbeth Logical form, mathematical practice, and Frege's Begriffsschrift. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander C. Block, Benedikt Löwe A multiplication operation for the hierarchy of norms. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Richard Pettigrew What we talk about when we talk about numbers. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Uri Andrews, Andrea Sorbi Jumps of computably enumerable equivalence relations. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raine Rönnholm Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Palacín, Saharon Shelah On the class of flat stable theories. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gunnar Wilken Pure patterns of order 2. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alex Kruckman, Nicholas Ramsey Generic expansion and Skolemization in NSOP1 theories. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Logan M. Axon Martin-Löf random generalized Poisson processes. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shokoofeh Ghorbani Logic for abstract hoop twist-structures. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roman Kuznets Multicomponent proof-theoretic method for proving interpolation properties. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1M. Giraudet, G. Leloup, F. Lucas First order theory of cyclically ordered groups. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter Holy, Regula Krapf, Philipp Schlicht Characterizations of pretameness and the Ord-cc. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steve Awodey A cubical model of homotopy type theory. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guohua Wu, Maxim Zubkov The Kierstead's Conjecture and limitwise monotonic functions. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aaron Stump From realizability to induction via dependent intersection. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gilda Ferreira Atomic polymorphism and the existence property. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John Krueger Club isomorphisms on higher Aronszajn trees. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vera Koponen Binary simple homogeneous structures. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Olga Kharlampovich, Alexei G. Myasnikov The tree property at the double successor of a singular cardinal with a larger gap. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saharon Shelah, Sebastien Vasey Abstract elementary classes stable in ℵ0. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Victoria Gitman, Ralf Schindler Virtual large cardinals. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rod Downey, Keng Meng Ng Splitting into degrees with low computational strength. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steven Givant, Hajnal Andréka A representation theorem for measurable relation algebras. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Golshani, Rahman Mohammadpour The tree property at double successors of singular cardinals of uncountable cofinality. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Levon Haykazyan, Rahim Moosa Functoriality and uniformity in Hrushovski's groupoid-cover correspondence. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adam Brandenburger, H. Jerome Keisler A canonical hidden-variable space. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carmi Merimovich Supercompact extender based Magidor-Radin forcing. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Shafer Honest elementary degrees and degrees of relative provability without the cupping property. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1S. 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]. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emil Jerábek Proof complexity of intuitionistic implicational formulas. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michal Doucha Erratum to: "Scott rank of Polish metric spaces" [Ann. Pure Appl. Logic 165 (12) (2014) 1919-1929]. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1A. Ivanov, Barbara Majcher-Iwanow Polish G-spaces and continuous logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Samaria Montenegro Imaginaries in bounded pseudo real closed fields. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Goodrick, Byunghan Kim, Alexei S. Kolesnikov Homology groups of types in stable theories and the Hurewicz correspondence. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Robert Goldblatt, Ian M. Hodkinson Spatial logic of tangled closure operators and modal mu-calculus. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chris Lambie-Hanson Bounded stationary reflection II. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Samuel J. van Gool, George Metcalfe, Constantine Tsinakis Uniform interpolation and compact congruences. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1J. Laird Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erin Caulfield On expansions of the real field by complex subgroups. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrey Bovykin, Andreas Weiermann The strength of infinitary Ramseyan principles can be accessed by their densities. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vincent Guingona, Cameron Donnay Hill, Lynn Scow Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul-André Melliès A micrological study of negation. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastien Vasey Shelah's eventual categoricity conjecture in universal classes: Part I. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew Harrison-Trainor The Gamma question for many-one degrees. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sonia L'Innocente, Carlo Toffalori, Gennadi Puninski On the decidability of the theory of modules over the ring of algebraic integers. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ari Meir Brodsky, Assaf Rinot A microscopic approach to Souslin-tree constructions, Part I. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Hyland, Guy McCusker, Nikos Tzevelekos Foreword for special issue of APAL for GaLoP 2013. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Grigory K. Olkhovikov On generalized Van Benthem-type characterizations. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yun Fan A uniform version of non-low2-ness. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fan Yang 0004, Jouko Väänänen Propositional team logics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anton Freund Proof lengths for instances of the Paris-Harrington principle. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2308 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license