default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 61
Volume 61, Number 1-2, February 2022
- Will Brian, Alan Dow, Saharon Shelah:
The independence of GCH and a combinatorial principle related to Banach-Mazur games. 1-17 - Irakli O. Chitaia
, Roland Sh. Omanadze:
Degree structures of conjunctive reducibility. 19-31 - Radek Honzik, Sárka Stejskalová:
Small $\mathfrak {u}(\kappa )$ at singular κ with compactness at κ ++. 33-54 - Todd Eisworth:
Representability and compactness for pseudopowers. 55-80 - Slavko Moconja, Predrag Tanovic:
Does weak quasi-o-minimality behave better than weak o-minimality? 81-103 - Nils Kürbis:
Normalisation and subformula property for a system of classical logic with Tarski's rule. 105-129 - Miroslav Repický:
Rosenthal families, filters, and semifilters. 131-153 - José L. Castiglioni, Sergio A. Celani, Hernán Javier San Martín:
On Hilbert algebras generated by the order. 155-172 - Andrei Alexandru, Gabriel Ciobanu:
Various forms of infinity for finitely supported structures. 173-222 - Ohad Drucker:
A boundedness principle for the Hjorth rank. 223-232 - Satoru Kuroda:
Sprague-Grundy theory in bounded arithmetic. 233-262 - Ruaan Kellerman:
First-order theories of bounded trees. 263-297
Volume 61, Number 3-4, May 2022
- Ali Enayat:
Condensable models of set theory. 299-315 - William R. Stirton:
Combinatory logic with polymorphic types. 317-343 - Alexander Berenstein, Evgueni Vassiliev:
Definable groups in dense pairs of geometric structures. 345-372 - Rachel D. Stahl:
Computability and the game of cops and robbers on graphs. 373-397 - Kentaro Sato:
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts. 399-435 - John T. Baldwin, Saharon Shelah:
Hanf numbers for extendibility and related phenomena. 437-464 - Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi:
Model theory of monadic predicate logic with the infinity quantifier. 465-502 - Ján Komara:
Efficient elimination of Skolem functions in LK h. 503-534 - Boris Sobot:
Multiplicative finite embeddability vs divisibility of ultrafilters. 535-553 - Gabriele Pulcini:
A note on cut-elimination for classical propositional logic. 555-565 - Jonathan Schilhan:
Coanalytic ultrafilter bases. 567-581 - Will Johnson:
A criterion for uniform finiteness in the imaginary sorts. 583-589
Volume 61, Number 5-6, July 2022
- Moti Gitik:
Reflection and not SCH with overlapping extenders. 591-597 - Miguel A. Cardona, Diego Alejandro Mejía, Ismael E. Rivera-Madrid:
The covering number of the strong measure zero ideal can be above almost everything else. 599-610 - Federico Almiñana, Gustavo Pelaitay:
Monadic k˟ j-rough Heyting algebras. 611-625 - Yaroslav Shramko:
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning. 627-651 - Lukas Daniel Klausner, Diego Alejandro Mejía:
Many different uniformity numbers of Yorioka ideals. 653-683 - Maciej Malicki:
Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups. 685-704 - Emil Jerábek:
Iterated multiplication in VTC 0. 705-767 - Huishan Wu:
Reverse mathematics and semisimple rings. 769-793 - Iian B. Smythe:
Equivalence of generics. 795-812 - Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon:
On the isomorphism problem for some classes of computable algebraic structures. 813-825 - Lorenzo Carlucci, Daniele Tavernelli:
Hindman's theorem for sums along the full binary tree, Σ 02-induction and the Pigeonhole principle for trees. 827-839 - Samuel Braunfeld, Michael C. Laskowski:
Mutual algebraicity and cellularity. 841-857 - Luciano J. González:
An alternative proof of the Hilbert-style axiomatization for the $\{\wedge , \vee \}$-fragment of classical propositional logic. 859-865 - Milos S. Kurilic, Borisa Kuzeljevic:
Antichains of copies of ultrahomogeneous structures. 867-879
Volume 61, Number 7-8, November 2022
- Adam Kwela:
On extendability to Fσ ideals. 881-890 - Karol Duda, Aleksander Ivanov:
On decidability of amenability in computable groups. 891-902 - Eric Martin:
Disjunctive logic programs, answer sets, and the cut rule. 903-937 - Juvenal Murwanashyaka:
Weak essentially undecidable theories of concatenation. 939-976 - Karim Khanaki:
Dividing lines in unstable theories and subclasses of Baire 1 functions. 977-993 - Dusan Repovs, Lyubomyr Zdomskyy:
On well-splitting posets. 995-1005 - Uwe Petersen:
Enhancing induction in a contraction free logic with unrestricted abstraction: from $\mathbf {Z}$ to $\mathbf {Z}_2$. 1007-1051 - Natasha Dobrinen, Sonia Navarro Flores:
Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces. 1053-1090 - Corey Bacal Switzer:
Destructibility and axiomatizability of Kaufmann models. 1091-1111 - Makoto Fujiwara:
Δ 01 variants of the law of excluded middle and related principles. 1113-1127 - Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem:
Implicit recursion-theoretic characterizations of counting classes. 1129-1144 - Pengfei He, Juntao Wang, Jiang Yang:
The existence of states based on Glivenko semihoops. 1145-1170
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-11-26 00:49 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:
