default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 171
Volume 171, Number 1, January 2020
- Junhua Yu
:
Lyndon interpolation theorem of instantial neighborhood logic - constructively via a sequent calculus. - Dmitry Itsykson, Dmitry Sokolov:
Resolution over linear equations modulo two. - Marcos Mazari-Armida:
Algebraic description of limit models in classes of abelian groups.
Volume 171, Number 2, February 2020
- Moritz Müller, Ján Pich:
Feasibly constructive proofs of succinct weak circuit lower bounds. - Gabriel Conant, Kyle Gannon:
Remarks on generic stability in independent theories. - Juan P. Aguilera:
Determinate logic and the Axiom of Choice. - Masato Fujita:
Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition. - Manuela Busaniche, José Luis Castiglioni, Noemí Lubomirsky:
Functional representation of finitely generated free algebras in subvarieties of BL-algebras.
Volume 171, Number 3, March 2020
- Kentaro Sato:
Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives. - Slavko Moconja, Predrag Tanovic:
Stationarily ordered types and the number of countable models.
Volume 171, Number 4, April 2020
- Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
Completeness theorems for σ-additive probabilistic semantics. 102755 - Darío García:
Ordered asymptotic classes of finite structures. 102776 - Ivan Georgiev:
On subrecursive complexity of integration. 102777
Volume 171, Number 5, May 2020
- Alejandro Poveda:
The tree property at first and double successors of singular cardinals with an arbitrary gap. 102778 - Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino:
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. 102786 - Moti Gitik:
Short extenders forcings - doing without preparations. 102787 - Dag Normann, Sam Sanders:
Pincherle's theorem in reverse mathematics and computability theory. 102788
Volume 171, Number 6, June 2020
- Jun Le Goh:
Embeddings between well-orderings: Computability-theoretic reductions. 102789 - Zeinab Bakhtiari, Hans van Ditmarsch, Umberto Rivieccio:
Bilattice logic of epistemic actions and knowledge. 102790 - Brent Cody:
Characterizations of the weakly compact ideal on Pκλ. 102791 - Bahareh Afshari, Stefan Hetzl, Graham E. Leigh:
Herbrand's theorem as higher order recursion. 102792 - Benno van den Berg:
Univalent polymorphism. 102793 - Javier de la Nuez González, Chloé Perin, Rizos Sklinos:
Some lower bounds on Shelah rank in the free group. 102794 - Alf Onshuus, Mariana Vicaría:
Definable groups in models of Presburger Arithmetic. 102795
Volume 171, Number 7, July 2020
- Alexander G. Melnikov, Victor L. Selivanov, Mars M. Yamaleev:
Turing reducibility in the fine hierarchy. 102766 - Sam Buss, Valentine Kabanets, Antonina Kolokolova, Michal Koucký:
Expander construction in VNC1. 102796 - Dusan Repovs, Lyubomyr Zdomskyy:
M-separable spaces of functions are productive in the Miller model. 102806 - Dilip Raghavan:
The density zero ideal and the splitting number. 102807 - Pantelis E. Eleftheriou, Alex Savatovsky:
Expansions of real closed fields that introduce no new smooth functions. 102808
Volume 171, Number 8, August 2020
- Quentin Lambotte, Françoise Point:
On expansions of (Z, +, 0). 102809 - Aviv Eshed, María Vicenta Ferrer, Salvador Hernández, Piotr Szewczak, Boaz Tsaban:
A classification of the cofinal structures of precompacta. 102810 - Uri Andrews, Noah Schweber, Andrea Sorbi:
The theory of ceers computes true arithmetic. 102811 - John Krueger:
A forcing axiom for a non-special Aronszajn tree. 102820 - Moti Gitik:
Some constructions of ultrafilters over a measurable cardinal. 102821 - Marko Horvat, Zvonko Iljazovic, Bojan Pazek:
Computability of pseudo-cubes. 102823
Volume 171, Number 9, October 2020
- Mohammed Belkasmi:
Algebraically closed structures in positive logic. 102822 - Tommaso Moraschini, Jamie J. Wannenburg:
Epimorphism surjectivity in varieties of Heyting algebras. 102824 - Moti Gitik:
Silver type theorems for collapses. 102825 - Farmer Schlutzenberg:
A premouse inheriting strong cardinals from V. 102826 - Natasha Dobrinen, Dan Hathaway, Karel Prikry:
Perfect tree forcings for singular cardinals. 102827 - Fernando Ferreira:
The FAN principle and weak König's lemma in herbrandized second-order arithmetic. 102843 - Djordje Baralic, Pierre-Louis Curien, Marina Milicevic, Jovana Obradovic, Zoran Petric, Mladen Zekic, Rade T. Zivaljevic:
Proofs and surfaces. 102845
Volume 171, Number 10, December 2020
- Omer Ben-Neria, Chris Lambie-Hanson, Spencer Unger:
Diagonal supercompact Radin forcing. 102828 - Emil Jerábek:
Rules with parameters in modal logic II. 102829 - Norihiro Kamide, Yoni Zohar:
Modal extension of ideal paraconsistent four-valued logic and its subsystem. 102830 - Richard Garner:
Ultrafilters, finite coproducts and locally connected classifying toposes. 102831 - Riccardo Camerlo, Alberto Marcone, Luca Motto Ros:
Polish metric spaces with fixed distance set. 102832 - José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou:
Join-completions of partially ordered algebras. 102842 - Ruiqi Bai, Yichuan Yang:
Structure and representation of semimodules over inclines. 102844 - Longyun Ding, Kai Gu:
On equivalence relations generated by Cauchy sequences in countable metric spaces. 102854
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 2025-02-05 20:37 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:
