![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Archive for Mathematical Logic, Volume 59
Volume 59, Number 1-2, February 2020
- Rosario Mennuni
:
Product of invariant types modulo domination-equivalence. 1-29 - Marcos Mazari-Armida
:
Non-forking w-good frames. 31-56 - Luz Victoria De La Pava
, Ciro Russo
:
Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification. 57-79 - Kaethe Minden
:
The subcompleteness of diagonal Prikry forcing. 81-102 - Ya'acov Peterzil
, Ayala Rosel:
Definable one-dimensional topologies in O-minimal structures. 103-125 - Jan Bydzovsky
, Moritz Müller:
Polynomial time ultrapowers and the consistency of circuit lower bounds. 127-147 - Michal M. Stronkowski
:
Deciding active structural completeness. 149-165 - Franziska Jahnke
, Pierre Simon:
NIP henselian valued fields. 167-178 - Brent Cody
, Hiroshi Sakai:
The weakly compact reflection principle need not imply a high order of weak compactness. 179-196 - Alexander Berenstein
, Evgueni Vassiliev:
Fields with a dense-codense linearly independent multiplicative subgroup. 197-228 - Andrei Alexandru
, Gabriel Ciobanu
:
Properties of the atoms in finitely supported structures. 229-256
Volume 59, Number 3-4, May 2020
- Toshiyasu Arai:
Proof-theoretic strengths of the well-ordering principles. 257-275 - Kentaro Sato:
Ordinal analyses for monotone and cofinal transfinite inductions. 277-291 - Iva Bilanovic, Jennifer Chubb
, Sam Roven:
Detecting properties from descriptions of groups. 293-312 - Ziv Shami
:
On the forking topology of a reduct of a simple theory. 313-324 - Dilip Raghavan, Saharon Shelah
:
A small ultrafilter number at smaller cardinals. 325-334 - Matteo Bianchetti
:
Weaker variants of infinite time Turing machines. 335-365 - Paul Hein, Otmar Spinas:
Antichains of perfect and splitting trees. 367-388 - Franco Parlamento
, Flavio Previale:
Absorbing the structural rules in the sequent calculus with additional atomic rules. 389-408 - Hazel Brickhill
:
Square below a non-weakly compact cardinal. 409-426 - Tyler Brown, Timothy H. McNicholl
:
Analytic computable structure theory and Lp-spaces part 2. 427-443 - Leandro Aurichi
, Lyubomyr Zdomskyy
:
Covering properties of ømega-mad families. 445-452 - Sara B. Quinn
:
Scott sentences for equivalence structures. 453-460 - Emil Jerábek
:
Induction rules in bounded arithmetic. 461-501 - Thomas Powell
:
Dependent choice as a termination principle. 503-516
Volume 59, Number 5-6, August 2020
- Paul Kindvall Gorbow
:
Rank-initial embeddings of non-standard models of set theory. 517-563 - Milos S. Kurilic, Nenad Moraca
:
Reversibility of extreme relational structures. 565-582 - Lorenz Halbeisen, Eleftherios Tachtsis:
On Ramsey choice and partial choice for infinite families of n-element sets. 583-606 - Takako Nemoto
:
Finite sets and infinite sets in weak intuitionistic arithmetic. 607-657 - Taishi Kurahashi
:
Uniform Lyndon interpolation property in propositional modal logics. 659-678 - Himanshu Shukla
, Arihant Jain, Amit Kuber:
Definable combinatorics with dense linear orders. 679-701 - Sebastiaan A. Terwijn
:
The noneffectivity of Arslanov's completeness criterion and related theorems. 703-713 - Emanuele Frittaion
:
Completeness of the primitive recursive ømega-rule. 715-731 - Hassan Sfouli:
Some nondefinability results with entire functions in a polynomially bounded o-minimal structure. 733-741 - Uri Andrews, Isaac Goldbring, Sherwood Hachtman, H. Jerome Keisler, David Marker:
Scattered sentences have few separable randomizations. 743-754 - Daniel W. Cunningham
:
A diamond-plus principle consistent with AD. 755-775
Volume 59, Number 7-8, November 2020
- Irakli O. Chitaia, Keng Meng Ng
, Andrea Sorbi
, Yue Yang:
Incomparability in local structures of s-degrees and Q-degrees. 777-791 - Hajime Ishihara, Takako Nemoto
:
On the independence of premiss axiom and rule. 793-815 - Costas Dimitracopoulos
, Vasileios S. Paschalis
:
End extensions of models of fragments of PA. 817-833 - Nikolay Bazhenov, Manat Mustafa
, Luca San Mauro
, Andrea Sorbi, Mars M. Yamaleev:
Classifying equivalence relations in the Ershov hierarchy. 835-864 - Saeideh Bahrami
:
Tanaka's theorem revisited. 865-877 - Heike Mildenberger, Saharon Shelah:
A version of κ-Miller forcing. 879-892 - Itay Neeman, John Susice:
Chang's Conjecture with $\square _{\omega _1, 2}$ from an ømega 1-Erdős cardinal. 893-904 - Hannes Diener, Maarten McKubre-Jordens
:
Classifying material implications over minimal logic. 905-924 - Huishan Wu
:
Bounded-low sets and the high/low hierarchy. 925-938 - Dima Sinapova, Ioannis A. Souldatos:
Kurepa trees and spectra of ℒømega 1, ømega -sentences. 939-956 - Miroslav Repický:
Ideal generalizations of Egoroff's theorem. 957-977 - Evgeny Kolmakov
:
Local reflection, definable elements and 1-provability. 979-996 - Özlem Beyarslan, Daniel Max Hoffmann
, Gönenç Onay, David Pierce:
Fields with automorphism and valuation. 997-1008 - Peter Nyikos:
Special ultrafilters and cofinal subsets of (ømega ømega , <*). 1009-1026 - Masahiro Shioya:
Easton collapses and a strongly saturated filter. 1027-1036
![](https://dblp.org/img/cog.dark.24x24.png)
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.