default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 165
Volume 165, Number 1, January 2014
- Anil Nerode, Melvin Fitting:
Editorial. 1-2 - Anil Nerode, Melvin Fitting:
The life and work of Sergei Artemov. 3-5 - Sergei N. Artëmov, Roman Kuznets
:
Logical omniscience as infeasibility. 6-25 - Arnon Avron:
What is relevance logic? 26-48 - Alexandru Baltag, Bryan Renne, Sonja Smets:
The logic of justified belief, explicit knowledge, and conclusive evidence. 49-81 - Lev D. Beklemishev:
Positive provability logic for uniform reflection principles. 82-105 - Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence and plausibility in neighborhood structures. 106-133 - Alex Brik, Jeffrey B. Remmel:
Hybrid Answer Set Programming. 134-163 - Robert L. Constable, Mark Bickford:
Intuitionistic completeness of first-order logic. 164-198 - Walter Dean, Hidenori Kurokawa:
The Paradox of the Knower revisited. 199-224 - Melvin Fitting:
Possible world semantics for first-order logic of proofs. 225-240 - Giorgi Japaridze:
Introduction to clarithmetic III. 241-252 - Jeffrey Kane, Pavel Naumov:
Symmetry in information flow. 253-265 - Ulrich Kohlenbach, Pavol Safarik:
Fluctuations, effective learnability and metastability in analysis. 266-304 - Robert Saxon Milnikel:
The Logic of Uncertain Justifications. 305-315 - Michael Rathjen:
Relativized ordinal analysis: The case of Power Kripke-Platek set theory. 316-339 - Yury Savateev:
Proof internalization in generalized Frege systems for classical logic. 340-356 - Sergey Slavnov:
Modeling linear logic with implicit functions. 357-370 - Junhua Yu:
Self-referentiality of Brouwer-Heyting-Kolmogorov semantics. 371-388
Volume 165, Number 2, February 2014
- Wei Wang:
Cohesive sets and rainbows. 389-408 - Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco:
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. 409-427 - Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher:
Relating first-order set theories, toposes and categories of classes. 428-502 - Clifton F. Ealy, Alf Onshuus:
Consistent amalgamation for þ-forking. 503-519 - Yoshihiro Horihata, Keita Yokoyama:
Nonstandard second-order arithmetic and Riemann's mapping theorem. 520-551 - Jakub Gismatullin, Davide Penazzi, Anand Pillay:
On compactifications and the topological dynamics of definable groups. 552-562 - Michael Rathjen:
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience. 563-572 - Heike Mildenberger, Saharon Shelah:
Many countable support iterations of proper forcings preserve Souslin trees. 573-608 - John Krueger, Ernest Schimmerling:
Separating weak partial square principles. 609-619 - Brent Cody, Menachem Magidor:
On supercompactness and the continuum function. 620-630 - Jörg Brendle, Dilip Raghavan:
Bounding, splitting, and almost disjointness. 631-651 - Jeroen P. Goudsmit, Rosalie Iemhoff:
On unification and admissible rules in Gabbay-de Jongh logics. 652-672 - Chris Lambie-Hanson:
Squares and covering matrices. 673-694 - Artem Chernikov:
Theories without the tree property of the second kind. 695-723 - Mingzhong Cai:
2-Minimality, jump classes and a note on natural definability. 724-741 - Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson, Keita Yokoyama:
Propagation of partial randomness. 742-758 - Wolfgang Rump, Yichuan Yang:
Non-commutative logical algebras and algebraic quantales. 759-785
Volume 165, Number 3, March 2014
- Andreas Fischer:
Approximation of o-minimal maps satisfying a Lipschitz condition. 787-802 - Uri Andrews, Peter M. Gerdes, Joseph S. Miller:
The degrees of bi-hyperhyperimmune sets. 803-811 - H. Jerome Keisler, Jeffrey M. Keisler:
Observing, reporting, and deciding in networks of sentences. 812-836 - Stefan S. Dantchev, Barnaby Martin:
Relativization makes contradictions harder for Resolution. 837-857 - Emanuele Frittaion, Alberto Marcone:
Reverse mathematics and initial intervals. 858-879 - Michael Hrusák, Hiroaki Minami:
Mathias-Prikry and Laver-Prikry type forcing. 880-894 - Milos S. Kurilic:
Posets of copies of countable scattered linear orders. 895-912 - Christopher J. Eagle:
Omitting types for infinitary [0,1]-valued logic. 913-932
Volume 165, Number 4, April 2014
- Leonardo Manuel Cabrer, José Gil-Férez:
Leibniz interpolation properties. 933-962 - Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh:
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. 963-995 - Dima Sinapova, Spencer Unger:
Combinatorics at אω. 996-1007
Volume 165, Number 5, May 2014
- Sebastian Eberhard:
A feasible theory of truth over combinatory algebra. 1009-1033 - Arnold W. Miller, Boaz Tsaban, Lyubomyr Zdomskyy:
Selective covering properties of product spaces. 1034-1057 - Kojiro Higuchi, Takayuki Kihara:
Inside the Muchnik degrees I: Discontinuity, learnability and constructivism. 1058-1114 - Andrew W. Swan:
CZF does not have the existence property. 1115-1147
Volume 165, Number 6, June 2014
- Vinesh Solanki, Dmitry Sustretov, Boris Zilber:
The quantum harmonic oscillator as a Zariski geometry. 1149-1168 - Xavier Caicedo, José Iovino:
Omitting uncountable types and the strength of [0, 1]-valued logics. 1169-1200 - Kojiro Higuchi, Takayuki Kihara:
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions. 1201-1241
Volume 165, Numbers 7-8, July - August 2014
- Alexandra Shlapentokh, Carlos Videla:
Definability and decidability in infinite algebraic extensions. 1243-1262 - Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan:
Graphs realised by r.e. equivalence relations. 1263-1290 - Frank Stephan, Liang Yu:
A reducibility related to being hyperimmune-free. 1291-1300 - Jesse Johnson:
Computable categoricity for pseudo-exponential fields of size ℵ1. 1301-1317 - Ren-June Wang:
Non-circular proofs and proof realization in modal logic. 1318-1338 - Janak Ramakrishnan:
Definable functions continuous on curves in o-minimal structures. 1339-1351
Volume 165, Number 9, September 2014
- S. Barry Cooper, Anuj Dawar, Martin Hyland, Benedikt Löwe:
Turing Centenary Conference: How the World Computes. 1353-1354 - Liliana Badillo, Charles M. Harris:
Avoiding uniformity in the Δ20 enumeration degrees. 1355-1379 - Laurent Bienvenu, Andrei E. Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren:
The axiomatic power of Kolmogorov complexity. 1380-1402 - Merlin Carl:
The distribution of ITRM-recognizable reals. 1403-1417 - Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst, Theodore A. Slaman:
Generics for computable Mathias forcing. 1418-1428 - Andrés Cordón-Franco, Francisco Félix Lara Martín:
Local induction and provably total computable functions. 1429-1444 - Kojiro Higuchi, Takayuki Kihara:
On effectively closed sets of effective strong measure zero. 1445-1469 - Bjørn Kjos-Hanssen, Antoine Taveneaux, Neil Thapen:
How much randomness is needed for statistics? 1470-1483 - Laurentiu Leustean:
An application of proof mining to nonlinear iterations. 1484-1500 - Benjamin G. Rin:
The computational strengths of α-tape infinite time Turing machines. 1501-1511 - Andrey Sariev, Hristo Ganchev:
The ω-Turing degrees. 1512-1532
Volume 165, Number 10, October 2014
- Nam Trang:
HOD in natural models of AD+. 1533-1556 - Noam Greenberg, Saharon Shelah:
Models of Cohen measurability. 1557-1576 - Philipp Schlicht:
Thin equivalence relations and inner models. 1577-1625 - Andrzej Starosolski:
Cascades, order, and ultrafilters. 1626-1638
Volume 165, Number 11, November 2014
- Jamshid Derakhshan, Angus Macintyre:
Some supplements to Feferman-Vaught related to the model theory of adeles. 1639-1679 - Jonathan Kirby, Boris Zilber:
Exponentially closed fields and the conjecture on intersections with tori. 1680-1706 - Xiaoyang Gu, Jack H. Lutz, Elvira Mayordomo, Philippe Moser:
Dimension spectra of random subfractals of self-similar fractals. 1707-1726 - Thomas Powell:
The equivalence of bar recursion and open recursion. 1727-1754 - Wieslaw Kubis:
Fraïssé sequences: category-theoretic approach to universal homogeneous structures. 1755-1811
Volume 165, Number 12, December 2014
- Spencer Unger:
A model of Cummings and Foreman revisited. 1813-1831 - Nick Bezhanishvili, Silvio Ghilardi:
The bounded proof property via step algebras and step frames. 1832-1863 - Sebastian Müller, Iddo Tzameret:
Short propositional refutations for dense random 3CNF formulas. 1864-1918 - Michal Doucha:
Scott rank of Polish metric spaces. 1919-1929
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-12-19 22:16 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:
