Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 62
Volume 62, Number 1-2, February 2023
- Mark Kamsma
:
Type space functors and interpretations in positive logic. 1-28 - Giorgio Venturi, Matteo Viale:
Second order arithmetic as the model companion of set theory. 29-53 - Gianluca Paolini:
Computable scott sentences for quasi-Hopfian finitely presented structures. 55-65 - Sándor Jenei:
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness. 67-86 - Jaroslav Supina:
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities. 87-112 - Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto:
Filter pairs and natural extensions of logics. 113-145 - Kentaro Fujimoto:
A few more dissimilarities between second-order arithmetic and set theory. 147-206 - Saharon Shelah, Jouko Väänänen:
Positive logics. 207-223 - Mohsen Khani, Afshin Zarei:
The additive structure of integers with the lower Wythoff sequence. 225-237 - Svetlana Aleksandrova, Nikolay Bazhenov, Maxim V. Zubkov:
Complexity of Σ0n-classifications for definable subsets. 239-256 - Dariusz Kalocinski, Michal Wroclawski:
Generalization of Shapiro's theorem to higher arities and noninjective notations. 257-288 - Dariusz Kalocinski, Michal Wroclawski:
Correction to: Generalization of Shapiro's theorem to higher arities and noninjective notations. 289-290
Volume 62, Number 3-4, May 2023
- Stefano Baratella:
An infinitary propositional probability logic. 291-320 - Rodrigo A. Freire, Peter Holy:
An ordinal-connection axiom as a weak form of global choice under the GCH. 321-332 - Toshiyasu Arai:
Wellfoundedness proof with the maximal distinguished set. 333-357 - Daniel W. Cunningham:
On forcing over $L(\mathbb {R})$. 359-367 - Amitayu Banerjee:
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse. 369-399 - Roland Sh. Omanadze:
sQ1-degrees of computably enumerable sets. 401-417 - Hossein Lamei Ramandi:
On the rigidity of Souslin trees and their generic branches. 419-426 - Mary Leah Karker:
Preservation properties for products and sums of metric structures. 427-469 - Natasha Dobrinen, Kaiyun Wang:
Big Ramsey degrees in universal inverse limit structures. 471-503 - Krzysztof Krupinski, Anand Pillay:
On the topological dynamics of automorphism groups: a model-theoretic perspective. 505-529 - Michael J. Lieberman, Jirí Rosický, Pedro Zambrano:
Tameness in generalized metric structures. 531-558 - Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz:
Towards a homotopy domain theory. 559-579
Volume 62, Number 5-6, July 2023
- Anton Freund:
Bachmann-Howard derivatives. 581-618 - Jialiang He, Renling Jin, Shuguo Zhang:
Generic existence of interval P-points. 619-640 - Vera Fischer, Corey Bacal Switzer:
The structure of κ-maximal cofinitary groups. 641-655 - Giulio Fellin, Sara Negri, Eugenio Orlandelli:
Glivenko sequent classes and constructive cut elimination in geometric logics. 657-688 - Eric J. Hall, Kyriakos Keremedis:
Independent families and some notions of finiteness. 689-701 - Lorenz Halbeisen, Salome Schumacher:
Some implications of Ramsey Choice for families of $\varvec{n}$-element sets. 703-733 - Michal Dybowski, Przemyslaw Górka:
The axiom of choice in metric measure spaces and maximal δ-separated sets. 735-749 - Juan P. Aguilera:
A topological completeness theorem for transfinite provability logic. 751-788 - Antonio Di Nola, Revaz Grigolia, Gaetano Vitale:
Involutive symmetric Gödel spaces, their algebraic duals and logic. 789-809 - Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky:
Towers, mad families, and unboundedness. 811-830 - Marcin Michalski, Robert Ralowski, Szymon Zeberski:
Ideals with Smital properties. 831-842 - Iván Ongay-Valverde:
Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms. 843-869
Volume 62, Number 7-8, November 2023
- Somayyeh Tari:
A criterion for the strong cell decomposition property. 871-887 - Vincent Guingona, Miriam Parnes:
Ranks based on strong amalgamation Fraïssé classes. 889-929 - Mahya Malekghasemi, Seyed Mohammad Bagheri:
Consistency and interpolation in linear continuous logic. 931-939 - Masato Fujita:
Definable Tietze extension property in o-minimal expansions of ordered groups. 941-945 - Mario Jardón Santos:
Questions on cardinal invariants of Boolean algebras. 947-963 - Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle:
Mathias and silver forcing parametrized by density. 965-990 - John Kenneth Truss:
The small index property for countable superatomic boolean algebras. 991-1000 - Tapani Hyttinen, Kaisa Kangas:
An AEC framework for fields with commuting automorphisms. 1001-1032 - Haim Horowitz, Saharon Shelah:
On the non-existence of κ-mad families. 1033-1039 - Takayuki Kihara, Kenta Sasaki:
A syntactic approach to Borel functions: some extensions of Louveau's theorem. 1041-1082 - Huishan Wu:
Structure of semisimple rings in reverse and computable mathematics. 1083-1100 - Tyler Arant:
Recursive Polish spaces. 1101-1110 - Caleb Camrud, Isaac Goldbring, Timothy H. McNicholl:
On the complexity of the theory of a computably presented metric structure. 1111-1129 - Paul E. Howard, Eleftherios Tachtsis:
Models of sfZFA in which every linearly ordered set can be well ordered. 1131-1157 - Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky:
Correction to: Towers, mad families, and unboundedness. 1159-1160
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-06-29 00:40 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:
