Stop the war!Остановите войну!
for scientists:
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
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-04-25 04:47 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:
