Mathematical Logic Quarterly (MLQ)A Journal for Mathematical Logic, Foundations of Mathematics and Logical Aspects of Theoretical Computer Science Short Title: Math. Log. Q. Publisher: Wiley (Wiley-VCH), Weinheim ISSN: 0942-5616; 1521-3870/e Online: https://onlinelibrary.wiley.com/loi/15213870 Predecessor: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik Comments: Journal; Indexed cover-to-cover Documents Indexed: 1,549 Publications (since 1993) References Indexed: 1,277 Publications with 18,667 References. all top 5 Latest Issues 70, No. 3 (2024) 70, No. 2 (2024) 70, No. 1 (2024) 69, No. 4 (2023) 69, No. 3 (2023) 69, No. 2 (2023) 69, No. 1 (2023) 68, No. 4 (2022) 68, No. 3 (2022) 68, No. 2 (2022) 68, No. 1 (2022) 67, No. 4 (2021) 67, No. 3 (2021) 67, No. 2 (2021) 67, No. 1 (2021) 66, No. 4 (2020) 66, No. 3 (2020) 66, No. 2 (2020) 66, No. 1 (2020) 65, No. 4 (2019) 65, No. 3 (2019) 65, No. 2 (2019) 65, No. 1 (2019) 64, No. 6 (2018) 64, No. 4-5 (2018) 64, No. 3 (2018) 64, No. 1-2 (2018) 63, No. 6 (2017) 63, No. 5 (2017) 63, No. 3-4 (2017) 63, No. 1-2 (2017) 62, No. 6 (2016) 62, No. 4-5 (2016) 62, No. 3 (2016) 62, No. 1-2 (2016) 61, No. 6 (2015) 61, No. 4-5 (2015) 61, No. 3 (2015) 61, No. 1-2 (2015) 60, No. 6 (2014) 60, No. 4-5 (2014) 60, No. 3 (2014) 60, No. 1-2 (2014) 59, No. 6 (2013) 59, No. 4-5 (2013) 59, No. 3 (2013) 59, No. 1-2 (2013) 58, No. 6 (2012) 58, No. 4-5 (2012) 58, No. 3 (2012) 58, No. 1-2 (2012) 57, No. 6 (2011) 57, No. 5 (2011) 57, No. 4 (2011) 57, No. 3 (2011) 57, No. 2 (2011) 57, No. 1 (2011) 56, No. 6 (2010) 56, No. 5 (2010) 56, No. 4 (2010) 56, No. 3 (2010) 56, No. 2 (2010) 56, No. 1 (2010) 55, No. 6 (2009) 55, No. 5 (2009) 55, No. 4 (2009) 55, No. 3 (2009) 55, No. 2 (2009) 55, No. 1 (2009) 54, No. 6 (2008) 54, No. 5 (2008) 54, No. 4 (2008) 54, No. 3 (2008) 54, No. 2 (2008) 54, No. 1 (2008) 53, No. 6 (2007) 53, No. 4-5 (2007) 53, No. 3 (2007) 53, No. 2 (2007) 53, No. 1 (2007) 52, No. 6 (2006) 52, No. 5 (2006) 52, No. 4 (2006) 52, No. 3 (2006) 52, No. 2 (2006) 52, No. 1 (2006) 51, No. 6 (2005) 51, No. 5 (2005) 51, No. 4 (2005) 51, No. 3 (2005) 51, No. 2 (2005) 51, No. 1 (2005) 50, No. 6 (2004) 50, No. 4-5 (2004) 50, No. 3 (2004) 50, No. 2 (2004) 50, No. 1 (2004) 49, No. 6 (2003) 49, No. 5 (2003) 49, No. 4 (2003) ...and 42 more Volumes all top 5 Authors 33 Keremedis, Kyriakos 30 Apter, Arthur W. 28 Shelah, Saharon 19 Bridges, Douglas Suth 19 Howard, Paul E. 17 Tachtsis, Eleftherios 13 Hyttinen, Tapani 13 Pambuccian, Victor V. 13 Toffalori, Carlo 12 Rubin, Jean E. 12 Sayed Ahmed, Tarek 11 Hamkins, Joel David 11 Ishihara, Hajime 11 Jeřábek, Emil 10 Esser, Olivier 10 Kamide, Norihiro 9 Bagheri, Seyed Mohammad 9 Kanovei, Vladimir G. 9 Matet, Pierre 9 Tsuboi, Akito 9 Valentini, Silvio 9 Zheng, Xizhong 8 Ardeshir, Mohammad 8 Baratella, Stefano 8 Hemmerling, Armin 8 Kotlarski, Henryk 8 Schmerl, James H. 8 Schuster, Peter Michael 8 Vejjajiva, Pimpen 8 Weihrauch, Klaus 7 Celani, Sergio Arturo 7 Downey, Rodney Graham 7 Montagna, Franco 7 Palmgren, Erik 7 Sági, Gábor 7 Tzouvaras, Athanassios 7 Voutsadakis, George 7 Weiermann, Andreas 7 Zhong, Ning 6 Bell, John Lane 6 Brattka, Vasco 6 Di Nola, Antonio 6 Fernández Margarit, Alejandro 6 Hall, Eric Joseph 6 Hinnion, Roland 6 Kohlenbach, Ulrich Wilhelm 6 McNicholl, Timothy H. 6 Moniri, Morteza 6 Rathjen, Michael 6 Vîţă, Luminiţa Simona 5 Berenstein, Alexander 5 Cenzer, Douglas 5 Cooper, Stuart Barry 5 De la Cruz, Omar 5 Degen, Josef Wolfgang 5 Eslami, Esfandiar 5 Faĭzrahmanov, Marat Khaidarovich 5 Hecker, Hans-Dietrich 5 Khanaki, Karim 5 Kirby, Laurence 5 Leonesi, Stefano 5 Lischke, Gerhard 5 Lombardi, Henri 5 Mazzanti, Stefano 5 Oliva, Paulo 5 Schindler, Ralf-Dieter 5 Schröder, Matthias 5 Sonpanow, Nattapon 5 Sorbi, Andrea 5 Strahm, Thomas 4 Barback, Joseph 4 Borumand Saeid, Arsham 4 Bulitko, Valeriy K. 4 Cantini, Andrea 4 Diener, Hannes 4 Edmundo, Mário J. 4 Eleftheriou, Pantelis E. 4 Ferreira, Fernando 4 Finkel, Olivier 4 Font, Josep Maria 4 García Olmedo, Francisco M. 4 Gispert, Joan 4 Hájek, Petr 4 Hirst, Jeffry Lynn 4 Johannsen, Jan 4 Kalimullin, Iskander Shagitovich 4 Kashima, Ryo 4 Kulpeshov, Beibut Shaiykovich 4 Kurahashi, Taishi 4 Laguzzi, Giorgio 4 Lara-Martín, Francisco Felix 4 Lubarsky, Robert S. 4 McLaughlin, Thomas G. 4 Mildenberger, Heike 4 Monk, James Donald 4 Muraki, Hisato 4 Nour, Karim 4 Oliveira-Martins, M. Teresa F. 4 Piekart, Bożena 4 Pinto, Sandra Marques ...and 1,150 more Authors all top 5 Fields 1,508 Mathematical logic and foundations (03-XX) 151 Computer science (68-XX) 146 Order, lattices, ordered algebraic structures (06-XX) 104 General topology (54-XX) 46 Group theory and generalizations (20-XX) 42 Combinatorics (05-XX) 37 Functional analysis (46-XX) 34 General algebraic systems (08-XX) 31 Real functions (26-XX) 27 Field theory and polynomials (12-XX) 25 Category theory; homological algebra (18-XX) 22 Measure and integration (28-XX) 19 Geometry (51-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 17 Commutative algebra (13-XX) 14 Number theory (11-XX) 13 Operator theory (47-XX) 9 Dynamical systems and ergodic theory (37-XX) 7 Associative rings and algebras (16-XX) 7 Topological groups, Lie groups (22-XX) 6 Algebraic geometry (14-XX) 5 General and overarching topics; collections (00-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Probability theory and stochastic processes (60-XX) 5 Quantum theory (81-XX) 3 History and biography (01-XX) 3 Functions of a complex variable (30-XX) 2 Ordinary differential equations (34-XX) 2 Partial differential equations (35-XX) 2 Sequences, series, summability (40-XX) 2 Approximations and expansions (41-XX) 2 Convex and discrete geometry (52-XX) 2 Numerical analysis (65-XX) 2 Information and communication theory, circuits (94-XX) 1 Nonassociative rings and algebras (17-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Abstract harmonic analysis (43-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,057 Publications have been cited 5,121 times in 3,854 Documents Cited by ▼ Year ▼ Fuzzy Galois connections. Zbl 0938.03079 Bělohlávek, Radim 99 1999 Effective Borel measurability and reducibility of functions. Zbl 1059.03074 Brattka, Vasco 52 2005 Soft ordered semigroups. Zbl 1191.06009 Jun, Young Bae; Lee, Kyoung Ja; Khan, Asghar 50 2010 Fuzzy Galois connections on fuzzy posets. Zbl 1172.06001 Yao, Wei; Lu, Ling-Xia 41 2009 Lattices of fixed points of fuzzy Galois connections. Zbl 0976.03025 Bělohlávek, Radim 41 2001 A cohesive set which is not high. Zbl 0799.03048 Jockusch, Carl; Stephan, Frank 40 1993 Two NP-hard art-gallery problems for ortho-polygons. Zbl 0827.68115 Schuchardt, Dietmar; Hecker, Hans-Dietrich 34 1995 A uniform approach to fundamental sequences and hierarchies. Zbl 0812.03023 Buchholz, Wilfried; Cichon, Adam; Weiermann, Andreas 34 1994 Glivenko like theorems in natural expansions of BCK-logic. Zbl 1045.03026 Cignoli, Roberto; Torrens Torrell, Antoni 34 2004 What is the theory ZFC without power set? Zbl 1375.03059 Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A. 33 2016 Bounded distributive lattices with strict implication. Zbl 1067.03065 Celani, Sergio; Jansana, Ramon 33 2005 Characterizing Belnap’s logic via De Morgan’s laws. Zbl 0837.03019 Pynko, Alexej P. 30 1995 On the (semi)lattices induced by continuous reducibilities. Zbl 1200.03028 Pauly, Arno 28 2010 Basic propositional calculus. I. Zbl 0912.03005 Ardeshir, Mohammad; Ruitenburg, Wim 27 1998 Uniqueness of limit models in classes with amalgamation. Zbl 1367.03067 Grossberg, Rami; VanDieren, Monica; Villaveces, Andrés 27 2016 Uniform versions of some axioms of second order arithmetic. Zbl 1063.03045 Sakamoto, Nobuyuki; Yamazaki, Takeshi 25 2004 Computational complexity on computable metric spaces. Zbl 1018.03049 Weihrauch, Klaus 25 2003 Some results in BL-algebras. Zbl 1188.03047 Borumand Saeid, Arsham; Motamed, Somayeh 24 2009 Almost everywhere domination and superhighness. Zbl 1123.03040 Simpson, Stephen G. 23 2007 Effective fractal dimensions. Zbl 1058.03044 Lutz, Jack H. 23 2005 \(n\)-fold filters in BL-algebras. Zbl 1145.03038 Haveshki, Masoud; Eslami, Esfandiar 23 2008 Hybrid elections broaden complexity-theoretic resistance to control. Zbl 1177.91066 Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg 22 2009 Sincere-strategy preference-based approval voting fully resists constructive control and broadly resists destructive control. Zbl 1177.91065 Erdélyi, Gábor; Nowak, Markus; Rothe, Jörg 22 2009 Hierarchies of \(\Delta^0_2\)-measurable \(k\)-partitions. Zbl 1124.03021 Selivanov, Victor L. 22 2007 A general approach to fuzzy concepts. Zbl 1059.03015 Popescu, Andrei 22 2004 A splitting theorem for the Medvedev and Muchnik lattices. Zbl 1022.03021 Binns, Stephen 22 2003 Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027 Rybakov, Vladimir V. 20 2001 Spaces allowing type-2 complexity theory revisited. Zbl 1058.03069 Schröder, Matthias 20 2004 On \(n\)-contractive fuzzy logics. Zbl 1125.03017 Horčík, Rostislav; Noguera, Carles; Petrík, Milan 19 2007 Notes on local o-minimality. Zbl 1222.03045 Toffalori, Carlo; Vozoris, Kathryn 19 2009 Computable real-valued functions on recursive open and closed subsets of Euclidean space. Zbl 0856.03045 Zhou, Qing 18 1996 The prime spectrum of an MV-algebra. Zbl 0815.06010 Belluce, L. P.; Di Nola, Antonio; Sessa, Salvatore 18 1994 Admissible representations for probability measures. Zbl 1124.03019 Schröder, Matthias 18 2007 Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059 Berger, Josef; Ishihara, Hajime 18 2005 Compact metric spaces and weak forms of the axiom of choice. Zbl 0968.03057 Keremedis, Kyriakos; Tachtsis, Eleftherios 18 2001 The universal covering homomorphism in o-minimal expansions of groups. Zbl 1130.03027 Edmundo, Mário J.; Eleftheriou, Pantelis E. 18 2007 Cell decomposition for P-minimal fields. Zbl 1181.03041 Mourgues, Marie-Hélène 18 2009 The wave equation with computable initial data whose unique solution is nowhere computable. Zbl 0883.03045 Pour-El, Marian B.; Zhong, Ning 17 1997 The computational complexity of choice sets. Zbl 1173.91358 Brandt, Felix; Fischer, Felix; Harrenstein, Paul 17 2009 Tall cardinals. Zbl 1165.03044 Hamkins, Joel D. 17 2009 A notion of selective ultrafilter corresponding to topological Ramsey spaces. Zbl 1126.03044 Mijares, José G. 17 2007 The arithmetical hierarchy of real numbers. Zbl 0968.03075 Zheng, Xizhong; Weihrauch, Klaus 17 2001 Is the Mandelbrot set computable? Zbl 1065.03045 Hertling, Peter 17 2005 Computing the complexity of the relation of isometry between separable Banach spaces. Zbl 1115.03064 Melleray, Julien 17 2007 Some recent developments on Shannon’s general purpose analog computer. Zbl 1089.68039 Graça, Daniel Silva 17 2004 On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Zbl 1145.03039 Noguera, Carles; Esteva, Francesc; Gispert, Joan 16 2008 On witnessed models in fuzzy logic. Zbl 1110.03013 Hájek, Petr 16 2007 On Schnorr and computable randomness, martingales, and machines. Zbl 1062.68064 Downey, Rod; Griffiths, Evan; Laforte, Geoffrey 16 2004 Free nilpotent minimum algebras. Zbl 1101.03043 Busaniche, Manuela 16 2006 A tractable and expressive class of marginal contribution nets and its applications. Zbl 1175.91022 Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael 15 2009 Mutual definability does not imply definitional equivalence, a simple example. Zbl 1079.03020 Andréka, Hajnal; Madarász, Judit X.; Németi, István 15 2005 A topology induced by uniformity on BL-algebras. Zbl 1115.03091 Haveshki, Masoud; Eslami, Esfandiar; Borumand Saeid, Arsham 15 2007 Non-constructive properties of the real numbers. Zbl 0986.03037 Howard, Paul; Keremedis, Kyriakos; Rubin, Jean E.; Stanley, Adrienne; Tatchtsis, Eleftherios 14 2001 On theories having three countable models. Zbl 0897.03035 Ikeda, Koichiro; Pillay, Anand; Tsuboi, Akito 14 1998 A real number structure that is effectively categorical. Zbl 0946.03050 Hertling, Peter 14 1999 Yosida type representation for perfect MV-algebras. Zbl 0864.06004 Belluce, Lawrence P.; Di Nola, Antonio 14 1996 Fragments of Martin’s Maximum in generic extensions. Zbl 1047.03039 König, Bernhard; Yoshinobu, Yasuo 14 2004 A probabilistic extension of intuitionistic logic. Zbl 1022.03011 Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag 14 2003 Hierarchies in \(\varphi\)-spaces and applications. Zbl 1058.03048 Selivanov, Victor L. 14 2005 Computable operators on regular sets. Zbl 1058.03071 Ziegler, Martin 14 2004 Weak saturation of ideals on \(P_{\kappa }(\lambda )\). Zbl 1237.03030 Matet, Pierre 14 2011 Questions on generalised Baire spaces. Zbl 1366.03221 Khomskii, Yurii; Laguzzi, Giorgio; Löwe, Benedikt; Sharankou, Ilya 14 2016 Commutative rings whose ideals form an MV-algebra. Zbl 1180.06008 Belluce, Lawrence P.; Di Nola, Antonio 14 2009 Increasing \(\eta\)-representable degrees. Zbl 1184.03042 Frolov, Andrey N.; Zubkov, Maxim V. 14 2009 Cyclic elements in MV-algebras and Post algebras. Zbl 0815.06009 Torrens, Antoni 13 1994 Well-defined fuzzy sentential logic. Zbl 0829.03011 Turunen, Esko 13 1995 How to develop proof-theoretic ordinal functions on the basis of admissible ordinals. Zbl 0803.03036 Rathjen, Michael 13 1993 The isolated d.r.e. degrees are dense in the r.e. degrees. Zbl 0854.03043 LaForte, Geoffrey 13 1996 Computing the topological entropy of shifts. Zbl 1120.37007 Spandl, Christoph 13 2007 Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043 Badaev, Serikzhan; Sorbi, Andrea 13 2016 On \(n\)-dependent groups and fields. Zbl 1366.03213 Hempel, Nadja 13 2016 Minimality conditions on circularly ordered structures. Zbl 1080.03023 Kulpeshov, Beibut Sh.; Macpherson, H. Dugald 13 2005 Kripke-style semantics for many-valued logics. Zbl 1035.03010 Montagna, Franco; Sacchetti, Lorenzo 13 2003 Determinacy of Wadge classes and subsystems of second order arithmetic. Zbl 1172.03008 Nemoto, Takako 13 2009 Radical of filters in BL-algebras. Zbl 1218.03037 Motamed, Somayeh; Torkzadeh, Lida; Borumand Saeid, Arsham; Mohtashamnia, Neda 13 2011 On some questions about selective separability. Zbl 1207.54035 Babinkostova, Liljana 13 2009 The strength of sharply bounded induction. Zbl 1109.03067 Jeřábek, Emil 13 2006 Residuated logics based on strict triangular norms with an involutive negation. Zbl 1165.03326 Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 13 2006 Craig interpolation for semilinear substructural logics. Zbl 1273.03075 Marchioni, Enrico; Metcalfe, George 13 2012 Polynomial time uniform word problems. Zbl 0820.08003 Burris, Stanley 12 1995 Versions of normality and some weak forms of the axiom of choice. Zbl 0911.03027 Howard, Paul; Keremedis, Kyriakos; Rubin, Herman; Rubin, Jean E. 12 1998 The Hahn-Banach property and the axiom of choice. Zbl 0931.03060 Dodu, Juliette; Morillon, Marianne 12 1999 Some special pairs of \(\Sigma_2\) e-degrees. Zbl 0926.03045 Ahmad, Seema; Lachlan, Alistair H. 12 1998 Computability on regular subsets of Euclidean space. Zbl 1020.03062 Ziegler, Martin 12 2002 On deciding the non-emptiness of 2SAT polytopes with respect to first order queries. Zbl 1073.68081 Subramani, K. 12 2004 Degree spectra and immunity properties. Zbl 1184.03025 Csima, Barbara F.; Kalimullin, Iskander S. 12 2010 On the strength of Ramsey’s theorem without \(\Sigma _{1}\)-induction. Zbl 1267.03031 Yokoyama, Keita 12 2013 Highness and bounding minimal pairs. Zbl 0809.03029 Downey, Rodney G.; Lempp, Steffen; Shore, Richard A. 11 1993 A note on the first-order logic of complete BL-chains. Zbl 1152.03019 Hájek, Petr; Montagna, Franco 11 2008 Lebesgue convergence theorems and reverse mathematics. Zbl 0804.03047 Yu, Xiaokang 11 1994 Addition and multiplication of sets. Zbl 1110.03034 Kirby, Laurence 11 2007 Infinite games in the Cantor space and subsystems of second order arithmetic. Zbl 1122.03058 Nemoto, Takako; Ould MedSalem, MedYahya; Tanaka, Kazuyuki 11 2007 Interpolation by a game. Zbl 0915.03047 Krajíček, Jan 11 1998 Provably total functions of basic arithmetic. Zbl 1026.03045 Salehi, Saeed 11 2003 On the complexity of categoricity in computable structures. Zbl 1035.03017 White, Walker M. 11 2003 Update procedures and the 1-consistency of arithmetic. Zbl 0988.03087 Avigad, Jeremy 11 2002 The Necessary Maximality Principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal. Zbl 1078.03042 Hamkins, Joel D.; Woodin, W. Hugh 11 2005 On the complexity of finding paths in a two-dimensional domain. I: Shortest paths. Zbl 1061.03039 Chou, Arthur W.; Ko, Ker-I 11 2004 Semi-proper forcing, remarkable cardinals, and bounded Martin’s Maximum. Zbl 1058.03052 Schindler, Ralf 11 2004 Game representations of classes of piecewise definable functions. Zbl 1215.03060 Motto Ros, Luca 11 2011 A note on \(\text{fsg}\) groups in \(p\)-adically closed fields. Zbl 07737986 Johnson, Will 3 2023 Spherically complete models of Hensel minimal valued fields. Zbl 07737996 Bradley-Williams, David B.; Halupczok, Immanuel 2 2023 Models of \(\mathsf{VTC^0}\) as exponential integer parts. Zbl 07738004 Jeřábek, Emil 2 2023 Cofinal types on \(\omega_2\). Zbl 07737990 Kuzeljevic, Borisa; Todorcevic, Stevo 1 2023 Extremal numberings and fixed point theorems. Zbl 1521.03129 Faizrahmanov, Marat 5 2022 Examples of weak amalgamation classes. Zbl 1521.03078 Krawczyk, Adam; Kruckman, Alex; Kubiś, Wiesław; Panagiotopoulos, Aristotelis 4 2022 Refining the arithmetical hierarchy of classical principles. Zbl 1521.03224 Fujiwara, Makoto; Kurahashi, Taishi 3 2022 Tameness of definably complete locally o-minimal structures and definable bounded multiplication. Zbl 1521.03101 Fujita, Masato; Kawakami, Tomohiro; Komine, Wataru 3 2022 Quantum B-modules. Zbl 1521.06009 Zhang, Xia; Rump, Wolfgang 2 2022 \(\kappa\)-madness and definability. Zbl 1521.03149 Horowitz, Haim; Shelah, Saharon 2 2022 A note on edge colorings and trees. Zbl 1521.03133 Jarden, Adi; Shami, Ziv 2 2022 Forcing axioms for \(\lambda \)-complete \(\mu^+\)-c.c. Zbl 1521.03204 Shelah, Saharon 1 2022 Weakly binary expansions of dense meet-trees. Zbl 1521.03072 Mennuni, Rosario 1 2022 The algebraic significance of weak excluded middle laws. Zbl 1521.03255 Lávička, Tomáš; Moraschini, Tommaso; Raftery, James G. 1 2022 Bounding 2d functions by products of 1d functions. Zbl 1521.03192 Dorais, François; Hathaway, Dan 1 2022 Gap-2 morass-definable \(\eta_1\)-orderings. Zbl 1521.03176 Dumas, Bob A. 1 2022 Determinacy and regularity properties for idealized forcings. Zbl 1521.03206 Ikegami, Daisuke 1 2022 An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics. Zbl 1521.03038 Tanaka, Yoshihito 1 2022 On the logic of distributive nearlattices. Zbl 1521.03247 González, Luciano J. 1 2022 Automorphism invariant measures and weakly generic automorphisms. Zbl 1521.03062 Sági, Gábor 1 2022 Meeting numbers and pseudopowers. Zbl 1521.03183 Matet, Pierre 6 2021 Modal completeness of sublogics of the interpretability logic \(\mathsf{IL} \). Zbl 1521.03238 Kurahashi, Taishi; Okawa, Yuya 6 2021 The finite subsets and the permutations with finitely many non-fixed points of a set. Zbl 1521.03184 Nuntasri, Jukkrid; Panasawatwong, Supakun; Vejjajiva, Pimpen 4 2021 Sheaves of structures, Heyting-valued structures, and a generalization of Łoś’s theorem. Zbl 1521.03256 Aratake, Hisashi 3 2021 Generic expansion of an abelian variety by a subgroup. Zbl 1521.03066 d’Elbée, Christian 2 2021 The profinite topology of free groups and weakly generic tuples of automorphisms. Zbl 1521.03079 Sági, Gábor 2 2021 \(\aleph_0\)-categorical Banach spaces contain \(\ell_p\) or \(c_0\). Zbl 1521.03105 Khanaki, Karim 2 2021 König’s lemma, weak König’s lemma, and the decidable fan theorem. Zbl 1521.03246 Fujiwara, Makoto 2 2021 Evolving Shelah-Spencer graphs. Zbl 1521.05182 Elwes, Richard 1 2021 More about divisibility in \(\beta \mathbb{N} \). Zbl 1521.54014 Šobot, Boris 1 2021 Decidable fan theorem and uniform continuity theorem with continuous moduli. Zbl 1521.03242 Fujiwara, Makoto; Kawai, Tatsuji 1 2021 Some basic thoughts on the cofinalities of Chang structures with an application to forcing. Zbl 1521.03170 Adolf, Dominik T. 1 2021 Pathological examples of structures with o-minimal open core. Zbl 1521.03097 Block Gorman, Alexi; Caulfield, Erin; Hieronymi, Philipp 1 2021 \(\mathsf{MA} (\aleph_0)\) restricted to complete Boolean algebras and choice. Zbl 1521.03166 Tachtsis, Eleftherios 1 2021 Effective aspects of Jacobson radicals of rings. Zbl 1521.03023 Wu, Huishan 1 2021 A note on an alternative Gentzenization of \(\operatorname{RW}_+^\circ \). Zbl 1521.03042 Ilić, Mirjana 1 2021 The isomorphism theorem for linear fragments of continuous logic. Zbl 1521.03106 Bagheri, Seyed-Mohammad 1 2021 Mycielski among trees. Zbl 1521.03153 Michalski, Marcin; Rałowski, Robert; Żeberski, Szymon 1 2021 On universal modules with pure embeddings. Zbl 1521.03088 Kucera, Thomas G.; Mazari-Armida, Marcos 8 2020 Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces. Zbl 1521.03069 Khanaki, Karim 5 2020 Singly generated quasivarieties and residuated structures. Zbl 1521.08003 Moraschini, Tommaso; Raftery, James G.; Wannenburg, Johann J. 5 2020 A note on ordinal exponentiation and derivatives of normal functions. Zbl 1521.03235 Freund, Anton 4 2020 Word problems and ceers. Zbl 1521.03128 Delle Rose, Valentino; San Mauro, Luca; Sorbi, Andrea 4 2020 Computability of graphs. Zbl 1521.03132 Iljazović, Zvonko 4 2020 The choice property in tame expansions of o-minimal structures. Zbl 1521.03099 Eleftheriou, Pantelis E.; Günaydın, Ayhan; Hieronymi, Philipp 3 2020 A note on the finitization of abelian and Tauberian theorems. Zbl 1521.03217 Powell, Thomas 3 2020 More on trees and Cohen reals. Zbl 1521.03182 Laguzzi, Giorgio; Stuber-Rousselle, Brendan 2 2020 Axiomatizing first order consequences in inclusion logic. Zbl 1521.03057 Yang, Fan 2 2020 What is effective transfinite recursion in reverse mathematics? Zbl 1521.03020 Freund, Anton 2 2020 Russell’s typicality as another randomness notion. Zbl 1521.03125 Tzouvaras, Athanassios 2 2020 A two-dimensional metric temporal logic. Zbl 1521.03029 Baratella, Stefano; Masini, Andrea 2 2020 The classification of countable models of set theory. Zbl 1521.03145 Clemens, John; Coskey, Samuel; Dworetzky, Samuel 1 2020 The Cichoń diagram for degrees of relative constructibility. Zbl 1521.03158 Switzer, Corey Bacal 1 2020 Turing invariant sets and the perfect set property. Zbl 1521.03147 Hamel, Clovis; Horowitz, Haim; Shelah, Saharon 1 2020 A note on chain-based semi-Heyting algebras. Zbl 1521.06002 Cornejo, Juan Manuel; Monteiro, Luiz F.; Sankappanavar, Hanamantagouda P.; Viglizzo, Ignacio D. 1 2020 The torsion-free part of the Ziegler spectrum of orders over Dedekind domains. Zbl 1521.03087 Gregory, Lorna; L’Innocente, Sonia; Toffalori, Carlo 1 2020 Cohen forcing and inner models. Zbl 1521.03189 Reitz, Jonas 1 2020 On \(p\)-adic semi-algebraic continuous selections. Zbl 1521.03103 Thamrongthanyalak, Athipat 1 2020 Lowness for isomorphism, countable ideals, and computable traceability. Zbl 1521.03119 Franklin, Johanna N. Y.; Solomon, Reed 1 2020 On cardinal characteristics of Yorioka ideals. Zbl 1521.03156 Cardona, Miguel A.; Mejía, Diego A. 10 2019 Bi-embeddability spectra and bases of spectra. Zbl 1521.03084 Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca 7 2019 Factorials and the finite sequences of sets. Zbl 1521.03162 Sonpanow, Nattapon; Vejjajiva, Pimpen 5 2019 The small-is-very-small principle. Zbl 1521.03234 Visser, Albert 5 2019 Souslin trees at successors of regular cardinals. Zbl 1521.03141 Rinot, Assaf 4 2019 Complete \(\mathcal{L}_{\omega_1,\omega}\)-sentences with maximal models in multiple cardinalities. Zbl 1521.03110 Baldwin, John; Souldatos, Ioannis 4 2019 Nonstandard characterisations of tensor products and monads in the theory of ultrafilters. Zbl 1521.03257 Luperi Baglini, Lorenzo 4 2019 Definable topological dynamics for trigonalizable algebraic groups over \(\mathbb{Q}_P\). Zbl 1521.03092 Yao, Ningyuan 4 2019 Distal and non-distal behavior in pairs. Zbl 1521.03102 Nell, Travis 3 2019 Algebraic numbers with elements of small height. Zbl 1503.11151 Göral, Haydar 2 2019 An intuitionistic formula hierarchy based on high-school identities. Zbl 1521.03015 Brock-Nannestad, Taus; Ilik, Danko 2 2019 On the relative strengths of fragments of collection. Zbl 1521.03168 McKenzie, Zachiri 2 2019 Generalised pseudointersections. Zbl 1521.03157 Schilhan, Jonathan 2 2019 Inner mantles and iterated HOD. Zbl 1521.03190 Reitz, Jonas; Williams, Kameryn J. 2 2019 Ultrafilter extensions do not preserve elementary equivalence. Zbl 1521.03080 Saveliev, Denis I.; Shelah, Saharon 2 2019 Łoś’s theorem and the axiom of choice. Zbl 1521.03164 Tachtsis, Eleftherios 2 2019 Model completion of scaled lattices and co-Heyting algebras of \(p\)-adic semi-algebraic sets. Zbl 1521.06003 Darnière, Luck 2 2019 On definability of types and relative stability. Zbl 1521.03075 Verbovskiy, Viktor 2 2019 The axiom of determinacy implies dependent choice in mice. Zbl 1521.03194 Müller, Sandra 2 2019 Reductions on equivalence relations generated by universal sets. Zbl 1521.03146 Ding, Longyun; Yu, Ping 1 2019 Jump inversions of algebraic structures and \(\Sigma \)-definability. Zbl 1521.03083 Faizrahmanov, Marat; Kach, Asher; Kalimullin, Iskander; Montalbán, Antonio; Puzarenko, Vadim 1 2019 Indivisible sets and well-founded orientations of the Rado graph. Zbl 1521.03214 Ackerman, Nathanael L.; Brian, Will 1 2019 The first omitting cardinal for Magidority. Zbl 1521.03200 Garti, Shimon; Hayut, Yair 1 2019 Rigid models of Presburger arithmetic. Zbl 1521.03225 Jeřábek, Emil 1 2019 The cofinality of the least Berkeley cardinal and the extent of dependent choice. Zbl 1521.03196 Cutolo, Raffaella 1 2019 Injective tests of low complexity in the plane. Zbl 1521.03151 Lecomte, Dominique; Zamora, Rafael 1 2019 Neutrally expandable models of arithmetic. Zbl 1521.03093 Abdul-Quader, Athar; Kossak, Roman 1 2019 On unstable and unoptimal prediction. Zbl 1521.03124 Kalociński, Dariusz; Steifer, Tomasz 1 2019 Parametric Presburger arithmetic: complexity of counting and quantifier elimination. Zbl 1521.03222 Bogart, Tristram; Goodrick, John; Nguyen, Danny; Woods, Kevin 1 2019 When does every definable nonempty set have a definable element? Zbl 1521.03191 Dorais, François G.; Hamkins, Joel David 1 2019 Pseudo-C-Archimedean and pseudo-finite cyclically ordered groups. Zbl 1521.03089 Leloup, Gérard 1 2019 Scales with various kinds of good points. Zbl 1521.03134 Matet, Pierre 8 2018 Finite satisfiability for two-variable, first-order logic with one transitive relation is decidable. Zbl 1521.03019 Pratt-Hartmann, Ian 7 2018 Remarks on the NIP in a model. Zbl 1521.03070 Khanaki, Karim; Pillay, Anand 6 2018 Some properties of infinite factorials. Zbl 1521.03163 Sonpanow, Nattapon; Vejjajiva, Pimpen 5 2018 Shelah’s eventual categoricity conjecture in tame abstract elementary classes with primes. Zbl 1521.03076 Vasey, Sebastien 4 2018 Measurable cardinals and good \(\Sigma_1(\kappa)\)-wellorderings. Zbl 1521.03201 Lücke, Philipp; Schlicht, Philipp 4 2018 Some transfinite natural sums. Zbl 1521.03144 Lipparini, Paolo 3 2018 The tree property and the continuum function below \(\aleph_{\omega}\). Zbl 1521.03178 Honzik, Radek; Stejskalová, Šárka 2 2018 On differential Galois groups of strongly normal extensions. Zbl 1521.03086 Brouette, Quentin; Point, Françoise 2 2018 A note on sequences witnessing singularity, following Magidor and Sinapova. Zbl 1521.03177 Gitik, Moti 2 2018 ...and 957 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,922 Authors 46 Shelah, Saharon 44 Tachtsis, Eleftherios 40 Apter, Arthur W. 39 Keremedis, Kyriakos 31 Brattka, Vasco 30 Bridges, Douglas Suth 29 Weiermann, Andreas 28 Selivanov, Viktor L’vovich 27 Friedman, Sy-David 27 Kanovei, Vladimir G. 25 Pauly, Arno M. 25 Rathjen, Michael 25 Vasey, Sebastien 24 Bazhenov, Nikolaĭ Alekseevich 24 Sanders, Sam 23 Downey, Rodney Graham 21 Kulpeshov, Beibut Shaiykovich 21 Matet, Pierre 20 Sayed Ahmed, Tarek 20 Ziegler, Martin 19 Celani, Sergio Arturo 19 Di Nola, Antonio 19 Hyttinen, Tapani 19 Ishihara, Hajime 19 Pambuccian, Victor V. 19 Schuster, Peter Michael 18 Zhong, Ning 17 Hamkins, Joel David 17 Kihara, Takayuki 17 Lyubetsky, Vassily Aleksandrovich 17 Sorbi, Andrea 17 Wu, Guohua 16 Ng, KengMeng 16 Wajch, Eliza 15 Barmpalias, George 15 Graça, Daniel Silva 15 Visser, Albert 14 Esteva, Francesc 14 Li, Qingguo 14 Miller, Joseph S. 14 Shore, Richard Arnold 14 Simpson, Stephen G. 14 Stephan, Frank 13 Bělohlávek, Radim 13 Borzooei, Rajab Ali 13 Buss, Samuel R. 13 Eleftheriou, Pantelis E. 13 Howard, Paul E. 13 Jun, Young Bae 13 Lempp, Steffen 13 McNicholl, Timothy H. 13 Rothe, Jörg-Matthias 13 Weihrauch, Klaus 12 Andrews, Uri 12 Cenzer, Douglas 12 Freytes, Hector 12 Hirschfeldt, Denis Roman 12 Hoyrup, Mathieu 12 Knight, Julia F. 12 Kołodziejczyk, Leszek Aleksander 12 Ognjanović, Zoran 12 Patey, Ludovic 12 Torrens Torrell, Antoni 12 Yokoyama, Keita 11 Greenberg, Noam 11 Jansana, Ramon 11 Jeřábek, Emil 11 Kalimullin, Iskander Shagitovich 11 Kamide, Norihiro 11 Löwe, Benedikt 11 Montagna, Franco 11 Moraschini, Tommaso 11 Noguera, Carles 11 Slaman, Theodore A. 11 Sudoplatov, Sergeĭ Vladimirovich 11 Zhao, Bin 10 Belluce, Lawrence Peter 10 Bianchi, Matteo 10 Faĭzrahmanov, Marat Khaidarovich 10 Franklin, Johanna N. Y. 10 Galatos, Nikolaos 10 Godo, Lluís 10 Kohlenbach, Ulrich Wilhelm 10 Lewis-Pye, Andrew E. M. 10 Lücke, Philipp Moritz 10 Medina, Jesús 10 Ojeda-Aciego, Manuel 10 Oliva, Paulo 10 Rinot, Assaf 10 San Martín, Hernán Javier 10 Sato, Kentaro 10 Schindler, Ralf-Dieter 10 Vîţă, Luminiţa Simona 10 Zubkov, Maxim V. 9 Borumand Saeid, Arsham 9 Castiglioni, José Luis 9 Cody, Brent M. 9 Cubides Kovacsics, Pablo 9 de Ronde, Christian 9 Došen, Kosta ...and 2,822 more Authors all top 5 Cited in 342 Journals 336 Annals of Pure and Applied Logic 308 The Journal of Symbolic Logic 283 Mathematical Logic Quarterly (MLQ) 235 Archive for Mathematical Logic 116 Fuzzy Sets and Systems 109 Theoretical Computer Science 105 Studia Logica 85 Notre Dame Journal of Formal Logic 79 The Bulletin of Symbolic Logic 61 Topology and its Applications 55 Soft Computing 51 Proceedings of the American Mathematical Society 48 Journal of Mathematical Logic 47 Algebra Universalis 45 Transactions of the American Mathematical Society 42 Israel Journal of Mathematics 39 The Review of Symbolic Logic 37 Information Sciences 35 Fundamenta Mathematicae 35 Mathematical Structures in Computer Science 34 Logical Methods in Computer Science 33 Journal of Philosophical Logic 30 Computability 29 Algebra and Logic 28 Information and Computation 26 Journal of Algebra 25 Order 24 Advances in Mathematics 24 Journal of Applied Non-Classical Logics 24 Theory of Computing Systems 23 Journal of Complexity 21 International Journal of Approximate Reasoning 19 Synthese 19 Journal of Intelligent and Fuzzy Systems 18 Journal of Computer and System Sciences 16 Artificial Intelligence 15 Communications in Algebra 14 Information Processing Letters 13 Journal of Pure and Applied Algebra 13 Siberian Mathematical Journal 13 Bulletin of the Section of Logic 13 Indagationes Mathematicae. New Series 13 Logica Universalis 12 Lobachevskii Journal of Mathematics 12 Journal of Logic and Analysis 11 Annals of Mathematics and Artificial Intelligence 11 Afrika Matematika 10 International Journal of General Systems 10 International Journal of Algebra and Computation 10 Applied Categorical Structures 10 Sibirskie Èlektronnye Matematicheskie Izvestiya 9 Journal of Mathematical Analysis and Applications 9 Journal of Mathematical Sciences (New York) 9 Selecta Mathematica. New Series 9 Iranian Journal of Fuzzy Systems 9 Open Mathematics 8 Discrete Mathematics 8 Commentationes Mathematicae Universitatis Carolinae 8 Monatshefte für Mathematik 8 Mathematical Social Sciences 8 Social Choice and Welfare 8 Bulletin of the Polish Academy of Sciences, Mathematics 8 Russian Mathematics 8 Journal of Logic, Language and Information 8 Journal of Multiple-Valued Logic and Soft Computing 8 Journal of Applied Logic 7 Computers & Mathematics with Applications 7 Mathematical Notes 7 Mathematica Slovaca 7 Quaestiones Mathematicae 7 Results in Mathematics 7 Computational Geometry 7 ACM Transactions on Computational Logic 7 Oberwolfach Reports 7 Korean Journal of Mathematics 6 Discrete Applied Mathematics 6 International Journal of Theoretical Physics 6 Memoirs of the American Mathematical Society 6 Semigroup Forum 6 Discrete & Computational Geometry 6 Filomat 6 Journal of the European Mathematical Society (JEMS) 6 Journal of Applied Mathematics 6 Comptes Rendus. Mathématique. Académie des Sciences, Paris 6 Central European Journal of Mathematics 6 Forum of Mathematics, Sigma 5 Applied Mathematics and Computation 5 Bulletin of the London Mathematical Society 5 Journal of Geometry 5 Acta Mathematica Hungarica 5 Forum Mathematicum 5 International Journal of Foundations of Computer Science 5 Erkenntnis 5 New Mathematics and Natural Computation 5 Asian-European Journal of Mathematics 5 European Journal of Mathematics 4 Moscow University Mathematics Bulletin 4 Demonstratio Mathematica 4 International Journal of Mathematics and Mathematical Sciences 4 Inventiones Mathematicae ...and 242 more Journals all top 5 Cited in 54 Fields 3,127 Mathematical logic and foundations (03-XX) 679 Computer science (68-XX) 559 Order, lattices, ordered algebraic structures (06-XX) 299 General topology (54-XX) 155 Combinatorics (05-XX) 139 Group theory and generalizations (20-XX) 124 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 112 Category theory; homological algebra (18-XX) 97 General algebraic systems (08-XX) 77 Measure and integration (28-XX) 72 Functional analysis (46-XX) 67 Field theory and polynomials (12-XX) 51 Dynamical systems and ergodic theory (37-XX) 49 Real functions (26-XX) 40 General and overarching topics; collections (00-XX) 40 Number theory (11-XX) 37 Commutative algebra (13-XX) 36 Associative rings and algebras (16-XX) 36 Geometry (51-XX) 34 Topological groups, Lie groups (22-XX) 31 Probability theory and stochastic processes (60-XX) 28 History and biography (01-XX) 27 Operator theory (47-XX) 27 Quantum theory (81-XX) 24 Algebraic geometry (14-XX) 24 Operations research, mathematical programming (90-XX) 21 Numerical analysis (65-XX) 16 Convex and discrete geometry (52-XX) 16 Algebraic topology (55-XX) 14 Ordinary differential equations (34-XX) 12 Partial differential equations (35-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 11 Functions of a complex variable (30-XX) 10 Information and communication theory, circuits (94-XX) 9 Manifolds and cell complexes (57-XX) 8 Statistics (62-XX) 8 Systems theory; control (93-XX) 5 Several complex variables and analytic spaces (32-XX) 5 Approximations and expansions (41-XX) 5 Biology and other natural sciences (92-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 4 Abstract harmonic analysis (43-XX) 4 Global analysis, analysis on manifolds (58-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 Difference and functional equations (39-XX) 3 Sequences, series, summability (40-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 2 Relativity and gravitational theory (83-XX) 1 Nonassociative rings and algebras (17-XX) 1 Special functions (33-XX) 1 Integral transforms, operational calculus (44-XX) 1 Differential geometry (53-XX) 1 Mechanics of particles and systems (70-XX) 1 Mathematics education (97-XX) Citations by Year