default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive 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
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-11-15 19:21 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:
