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,525 Publications (since 1993) References Indexed: 1,254 Publications with 18,259 References. all top 5 Latest Issues 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) 49, No. 3 (2003) 49, No. 2 (2003) 49, No. 1 (2003) ...and 39 more Volumes all top 5 Authors 33 Keremedis, Kyriakos 30 Apter, Arthur W. 27 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 Tsuboi, Akito 9 Valentini, Silvio 9 Zheng, Xizhong 8 Ardeshir, Mohammad 8 Baratella, Stefano 8 Hemmerling, Armin 8 Kotlarski, Henryk 8 Matet, Pierre 8 Schmerl, James H. 8 Schuster, Peter Michael 8 Weihrauch, Klaus 7 Downey, Rodney Graham 7 Montagna, Franco 7 Palmgren, Erik 7 Tzouvaras, Athanassios 7 Vejjajiva, Pimpen 7 Voutsadakis, George 7 Weiermann, Andreas 7 Zhong, Ning 6 Bell, John Lane 6 Brattka, Vasco 6 Celani, Sergio Arturo 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 Sági, Gábor 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 Faĭzrahmanov, Marat Khaidarovich 5 Fujiwara, Makoto 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 Raftery, James G. 5 Schindler, Ralf-Dieter 5 Schröder, Matthias 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 Eslami, Esfandiar 4 Ferreira, Fernando 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 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 4 Pollett, Chris ...and 1,123 more Authors all top 5 Fields 1,484 Mathematical logic and foundations (03-XX) 151 Computer science (68-XX) 145 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) 26 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 Linear and multilinear algebra; matrix theory (15-XX) 5 Probability theory and stochastic processes (60-XX) 5 Quantum theory (81-XX) 4 General and overarching topics; collections (00-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,026 Publications have been cited 4,750 times in 3,598 Documents Cited by ▼ Year ▼ Fuzzy Galois connections. Zbl 0938.03079 Bělohlávek, Radim 93 1999 Effective Borel measurability and reducibility of functions. Zbl 1059.03074 Brattka, Vasco 51 2005 Soft ordered semigroups. Zbl 1191.06009 Jun, Young Bae; Lee, Kyoung Ja; Khan, Asghar 49 2010 A cohesive set which is not high. Zbl 0799.03048 Jockusch, Carl; Stephan, Frank 39 1993 Lattices of fixed points of fuzzy Galois connections. Zbl 0976.03025 Bělohlávek, Radim 38 2001 Fuzzy Galois connections on fuzzy posets. Zbl 1172.06001 Yao, Wei; Lu, Ling-Xia 37 2009 Glivenko like theorems in natural expansions of BCK-logic. Zbl 1045.03026 Cignoli, Roberto; Torrens Torrell, Antoni 34 2004 Two NP-hard art-gallery problems for ortho-polygons. Zbl 0827.68115 Schuchardt, Dietmar; Hecker, Hans-Dietrich 30 1995 A uniform approach to fundamental sequences and hierarchies. Zbl 0812.03023 Buchholz, Wilfried; Cichon, Adam; Weiermann, Andreas 30 1994 Characterizing Belnap’s logic via De Morgan’s laws. Zbl 0837.03019 Pynko, Alexej P. 29 1995 Bounded distributive lattices with strict implication. Zbl 1067.03065 Celani, Sergio; Jansana, Ramon 29 2005 What is the theory ZFC without power set? Zbl 1375.03059 Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A. 29 2016 Basic propositional calculus. I. Zbl 0912.03005 Ardeshir, Mohammad; Ruitenburg, Wim 26 1998 On the (semi)lattices induced by continuous reducibilities. Zbl 1200.03028 Pauly, Arno 26 2010 Uniqueness of limit models in classes with amalgamation. Zbl 1367.03067 Grossberg, Rami; VanDieren, Monica; Villaveces, Andrés 25 2016 Almost everywhere domination and superhighness. Zbl 1123.03040 Simpson, Stephen G. 23 2007 Hierarchies of \(\Delta^0_2\)-measurable \(k\)-partitions. Zbl 1124.03021 Selivanov, Victor L. 22 2007 \(n\)-fold filters in BL-algebras. Zbl 1145.03038 Haveshki, Masoud; Eslami, Esfandiar 22 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 Some results in BL-algebras. Zbl 1188.03047 Borumand Saeid, Arsham; Motamed, Somayeh 22 2009 A general approach to fuzzy concepts. Zbl 1059.03015 Popescu, Andrei 22 2004 Effective fractal dimensions. Zbl 1058.03044 Lutz, Jack H. 22 2005 Uniform versions of some axioms of second order arithmetic. Zbl 1063.03045 Sakamoto, Nobuyuki; Yamazaki, Takeshi 22 2004 A splitting theorem for the Medvedev and Muchnik lattices. Zbl 1022.03021 Binns, Stephen 22 2003 Computational complexity on computable metric spaces. Zbl 1018.03049 Weihrauch, Klaus 21 2003 Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027 Rybakov, Vladimir V. 19 2001 On \(n\)-contractive fuzzy logics. Zbl 1125.03017 Horčík, Rostislav; Noguera, Carles; Petrík, Milan 18 2007 Computable real-valued functions on recursive open and closed subsets of Euclidean space. Zbl 0856.03045 Zhou, Qing 18 1996 Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059 Berger, Josef; Ishihara, Hajime 18 2005 Computing the complexity of the relation of isometry between separable Banach spaces. Zbl 1115.03064 Melleray, Julien 17 2007 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 Compact metric spaces and weak forms of the axiom of choice. Zbl 0968.03057 Keremedis, Kyriakos; Tachtsis, Eleftherios 17 2001 Cell decomposition for P-minimal fields. Zbl 1181.03041 Mourgues, Marie-Hélène 17 2009 Notes on local o-minimality. Zbl 1222.03045 Toffalori, Carlo; Vozoris, Kathryn 17 2009 Is the Mandelbrot set computable? Zbl 1065.03045 Hertling, Peter 17 2005 The prime spectrum of an MV-algebra. Zbl 0815.06010 Belluce, L. P.; Di Nola, Antonio; Sessa, Salvatore 17 1994 The universal covering homomorphism in o-minimal expansions of groups. Zbl 1130.03027 Edmundo, Mário J.; Eleftheriou, Pantelis E. 17 2007 On witnessed models in fuzzy logic. Zbl 1110.03013 Hájek, Petr 16 2007 Admissible representations for probability measures. Zbl 1124.03019 Schröder, Matthias 16 2007 The computational complexity of choice sets. Zbl 1173.91358 Brandt, Felix; Fischer, Felix; Harrenstein, Paul 16 2009 Free nilpotent minimum algebras. Zbl 1101.03043 Busaniche, Manuela 16 2006 Tall cardinals. Zbl 1165.03044 Hamkins, Joel D. 16 2009 Spaces allowing type-2 complexity theory revisited. Zbl 1058.03069 Schröder, Matthias 16 2004 Some recent developments on Shannon’s general purpose analog computer. Zbl 1089.68039 Graça, Daniel Silva 16 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 Schnorr and computable randomness, martingales, and machines. Zbl 1062.68064 Downey, Rod; Griffiths, Evan; Laforte, Geoffrey 15 2004 The wave equation with computable initial data whose unique solution is nowhere computable. Zbl 0883.03045 Pour-El, Marian B.; Zhong, Ning 15 1997 A topology induced by uniformity on BL-algebras. Zbl 1115.03091 Haveshki, Masoud; Eslami, Esfandiar; Borumand Saeid, Arsham 14 2007 On theories having three countable models. Zbl 0897.03035 Ikeda, Koichiro; Pillay, Anand; Tsuboi, Akito 14 1998 Non-constructive properties of the real numbers. Zbl 0986.03037 Howard, Paul; Keremedis, Kyriakos; Rubin, Jean E.; Stanley, Adrienne; Tatchtsis, Eleftherios 14 2001 Commutative rings whose ideals form an MV-algebra. Zbl 1180.06008 Belluce, Lawrence P.; Di Nola, Antonio 14 2009 Fragments of Martin’s Maximum in generic extensions. Zbl 1047.03039 König, Bernhard; Yoshinobu, Yasuo 14 2004 Hierarchies in \(\varphi\)-spaces and applications. Zbl 1058.03048 Selivanov, Victor L. 14 2005 Questions on generalised Baire spaces. Zbl 1366.03221 Khomskii, Yurii; Laguzzi, Giorgio; Löwe, Benedikt; Sharankou, Ilya 14 2016 Well-defined fuzzy sentential logic. Zbl 0829.03011 Turunen, Esko 13 1995 The isolated d.r.e. degrees are dense in the r.e. degrees. Zbl 0854.03043 LaForte, Geoffrey 13 1996 The strength of sharply bounded induction. Zbl 1109.03067 Jeřábek, Emil 13 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 13 2009 On some questions about selective separability. Zbl 1207.54035 Babinkostova, Liljana 13 2009 Increasing \(\eta\)-representable degrees. Zbl 1184.03042 Frolov, Andrey N.; Zubkov, Maxim V. 13 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 13 2005 Determinacy of Wadge classes and subsystems of second order arithmetic. Zbl 1172.03008 Nemoto, Takako 13 2009 Computable operators on regular sets. Zbl 1058.03071 Ziegler, Martin 13 2004 Yosida type representation for perfect MV-algebras. Zbl 0864.06004 Belluce, Lawrence P.; Di Nola, Antonio 13 1996 How to develop proof-theoretic ordinal functions on the basis of admissible ordinals. Zbl 0803.03036 Rathjen, Michael 13 1993 A probabilistic extension of intuitionistic logic. Zbl 1022.03011 Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag 13 2003 Weak saturation of ideals on \(P_{\kappa }(\lambda )\). Zbl 1237.03030 Matet, Pierre 12 2011 Radical of filters in BL-algebras. Zbl 1218.03037 Motamed, Somayeh; Torkzadeh, Lida; Borumand Saeid, Arsham; Mohtashamnia, Neda 12 2011 The Hahn-Banach property and the axiom of choice. Zbl 0931.03060 Dodu, Juliette; Morillon, Marianne 12 1999 Polynomial time uniform word problems. Zbl 0820.08003 Burris, Stanley 12 1995 Degree spectra and immunity properties. Zbl 1184.03025 Csima, Barbara F.; Kalimullin, Iskander S. 12 2010 A real number structure that is effectively categorical. Zbl 0946.03050 Hertling, Peter 12 1999 Kripke-style semantics for many-valued logics. Zbl 1035.03010 Montagna, Franco; Sacchetti, Lorenzo 12 2003 On deciding the non-emptiness of 2SAT polytopes with respect to first order queries. Zbl 1073.68081 Subramani, K. 12 2004 Residuated logics based on strict triangular norms with an involutive negation. Zbl 1165.03326 Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko 12 2006 Cyclic elements in MV-algebras and Post algebras. Zbl 0815.06009 Torrens, Antoni 12 1994 Computability on regular subsets of Euclidean space. Zbl 1020.03062 Ziegler, Martin 12 2002 Addition and multiplication of sets. Zbl 1110.03034 Kirby, Laurence 11 2007 Computing the topological entropy of shifts. Zbl 1120.37007 Spandl, Christoph 11 2007 Conjectures of Rado and Chang and special Aronszajn trees. Zbl 1270.03106 Todorčević, Stevo; Torres Pérez, Víctor 11 2012 Versions of normality and some weak forms of the axiom of choice. Zbl 0911.03027 Howard, Paul; Keremedis, Kyriakos; Rubin, Herman; Rubin, Jean E. 11 1998 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 Some special pairs of \(\Sigma_2\) e-degrees. Zbl 0926.03045 Ahmad, Seema; Lachlan, Alistair H. 11 1998 On the complexity of categoricity in computable structures. Zbl 1035.03017 White, Walker M. 11 2003 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 Highness and bounding minimal pairs. Zbl 0809.03029 Downey, Rodney G.; Lempp, Steffen; Shore, Richard A. 11 1993 Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043 Badaev, Serikzhan; Sorbi, Andrea 11 2016 On \(n\)-dependent groups and fields. Zbl 1366.03213 Hempel, Nadja 11 2016 A note on the first-order logic of complete BL-chains. Zbl 1152.03019 Hájek, Petr; Montagna, Franco 11 2008 Bounded BCK-algebras and their generated variety. Zbl 1123.06010 Gispert, Joan; Torrens, Antoni 10 2007 Infinite games in the Cantor space and subsystems of second order arithmetic. Zbl 1122.03058 Nemoto, Takako; Ould MedSalem, MedYahya; Tanaka, Kazuyuki 10 2007 Computable metrization. Zbl 1121.03084 Grubba, Tanja; Schröder, Matthias; Weihrauch, Klaus 10 2007 On finite model property for admissible rules. Zbl 0938.03033 Rybakov, Vladimir V.; Kiyatkin, Vladimir R.; Oner, Tahsin 10 1999 Can you add power-sets to Martin-Löf’s intuitionistic set theory? Zbl 0935.03071 Maietti, Maria Emilia; Valentini, Silvio 10 1999 A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. Zbl 0955.03037 Rybakov, Vladimir V.; Terziler, Mehmet; Remazki, Vitaliy 10 2000 Non-associative Lambek categorial grammar in polynomial time. Zbl 0837.03033 Aarts, Erik; Trautwein, Kees 10 1995 Remarks on uniformly finitely precomplete positive equivalences. Zbl 0852.03021 Shavrukov, V. Yu. 10 1996 A characterization of retracts in certain Fraïssé limits. Zbl 1247.03046 Dolinka, Igor 10 2012 Spherically complete models of Hensel minimal valued fields. Zbl 07737996 Bradley-Williams, David B.; Halupczok, Immanuel 2 2023 A note on \(\text{fsg}\) groups in \(p\)-adically closed fields. Zbl 07737986 Johnson, Will 1 2023 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 Examples of weak amalgamation classes. Zbl 1521.03078 Krawczyk, Adam; Kruckman, Alex; Kubiś, Wiesław; Panagiotopoulos, Aristotelis 1 2022 Bounding 2d functions by products of 1d functions. Zbl 1521.03192 Dorais, François; Hathaway, Dan 1 2022 Determinacy and regularity properties for idealized forcings. Zbl 1521.03206 Ikegami, Daisuke 1 2022 On the logic of distributive nearlattices. Zbl 1521.03247 González, Luciano J. 1 2022 Extremal numberings and fixed point theorems. Zbl 1521.03129 Faizrahmanov, Marat 1 2022 Modal completeness of sublogics of the interpretability logic \(\mathsf{IL} \). Zbl 1521.03238 Kurahashi, Taishi; Okawa, Yuya 4 2021 Meeting numbers and pseudopowers. Zbl 1521.03183 Matet, Pierre 2 2021 König’s lemma, weak König’s lemma, and the decidable fan theorem. Zbl 1521.03246 Fujiwara, Makoto 2 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 2 2021 Sheaves of structures, Heyting-valued structures, and a generalization of Łoś’s theorem. Zbl 1521.03256 Aratake, Hisashi 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 Mycielski among trees. Zbl 1521.03153 Michalski, Marcin; Rałowski, Robert; Żeberski, Szymon 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 The profinite topology of free groups and weakly generic tuples of automorphisms. Zbl 1521.03079 Sági, Gábor 1 2021 Singly generated quasivarieties and residuated structures. Zbl 1521.08003 Moraschini, Tommaso; Raftery, James G.; Wannenburg, Johann J. 5 2020 Word problems and ceers. Zbl 1521.03128 Delle Rose, Valentino; San Mauro, Luca; Sorbi, Andrea 3 2020 Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces. Zbl 1521.03069 Khanaki, Karim 3 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 2 2020 Russell’s typicality as another randomness notion. Zbl 1521.03125 Tzouvaras, Athanassios 2 2020 On universal modules with pure embeddings. Zbl 1521.03088 Kucera, Thomas G.; Mazari-Armida, Marcos 2 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 A two-dimensional metric temporal logic. Zbl 1521.03029 Baratella, Stefano; Masini, Andrea 2 2020 Computability of graphs. Zbl 1521.03132 Iljazović, Zvonko 2 2020 A note on ordinal exponentiation and derivatives of normal functions. Zbl 1521.03235 Freund, Anton 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 What is effective transfinite recursion in reverse mathematics? Zbl 1521.03020 Freund, Anton 1 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 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. 9 2019 Bi-embeddability spectra and bases of spectra. Zbl 1521.03084 Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca 7 2019 Souslin trees at successors of regular cardinals. Zbl 1521.03141 Rinot, Assaf 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 Complete \(\mathcal{L}_{\omega_1,\omega}\)-sentences with maximal models in multiple cardinalities. Zbl 1521.03110 Baldwin, John; Souldatos, Ioannis 4 2019 Distal and non-distal behavior in pairs. Zbl 1521.03102 Nell, Travis 3 2019 Factorials and the finite sequences of sets. Zbl 1521.03162 Sonpanow, Nattapon; Vejjajiva, Pimpen 3 2019 The small-is-very-small principle. Zbl 1521.03234 Visser, Albert 3 2019 Algebraic numbers with elements of small height. Zbl 1503.11151 Göral, Haydar 2 2019 On the relative strengths of fragments of collection. Zbl 1521.03168 McKenzie, Zachiri 2 2019 Łoś’s theorem and the axiom of choice. Zbl 1521.03164 Tachtsis, Eleftherios 2 2019 The axiom of determinacy implies dependent choice in mice. Zbl 1521.03194 Müller, Sandra 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 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 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 Model completion of scaled lattices and co-Heyting algebras of \(p\)-adic semi-algebraic sets. Zbl 1521.06003 Darnière, Luck 1 2019 On definability of types and relative stability. Zbl 1521.03075 Verbovskiy, Viktor 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 6 2018 Measurable cardinals and good \(\Sigma_1(\kappa)\)-wellorderings. Zbl 1521.03201 Lücke, Philipp; Schlicht, Philipp 4 2018 Finite satisfiability for two-variable, first-order logic with one transitive relation is decidable. Zbl 1521.03019 Pratt-Hartmann, Ian 4 2018 Remarks on the NIP in a model. Zbl 1521.03070 Khanaki, Karim; Pillay, Anand 4 2018 Some properties of infinite factorials. Zbl 1521.03163 Sonpanow, Nattapon; Vejjajiva, Pimpen 3 2018 Some transfinite natural sums. Zbl 1521.03144 Lipparini, Paolo 3 2018 Shelah’s eventual categoricity conjecture in tame abstract elementary classes with primes. Zbl 1521.03076 Vasey, Sebastien 2 2018 The tree property and the continuum function below \(\aleph_{\omega}\). Zbl 1521.03178 Honzik, Radek; Stejskalová, Šárka 2 2018 A note on sequences witnessing singularity, following Magidor and Sinapova. Zbl 1521.03177 Gitik, Moti 2 2018 Extending paraconsistent quantum logic: a single-antecedent/succedent system approach. Zbl 1521.03250 Kamide, Norihiro 2 2018 A remark on pseudo proof systems and hard instances of the satisfiability problem. Zbl 1521.03220 Maly, Jan; Müller, Moritz 2 2018 Categoricity and universal classes. Zbl 1521.03065 Hyttinen, Tapani; Kangas, Kaisa 2 2018 Subcomplete forcing principles and definable well-orders. Zbl 1521.03203 Fuchs, Gunter 2 2018 Clubs on quasi measurable cardinals. Zbl 1521.03181 Kumar, Ashutosh; Shelah, Saharon 1 2018 Bishop’s lemma. Zbl 1521.03241 Diener, Hannes; Hendtlass, Matthew 1 2018 On the universality of the nonstationary ideal. Zbl 1521.03195 Cox, Sean D. 1 2018 On differential Galois groups of strongly normal extensions. Zbl 1521.03086 Brouette, Quentin; Point, Françoise 1 2018 Bounded namba forcing axiom may fail. Zbl 1521.03205 Zapletal, Jindrich 1 2018 A note on decidability of variables in intuitionistic propositional logic. Zbl 1521.03017 Ishii, Katsumasa 1 2018 Maximality of linear continuous logic. Zbl 1521.03113 Malekghasemi, Mahya; Bagheri, Seyed-mohammad 1 2018 A Groszek-Laver pair of undistinguishable \(\mathsf{E}_0\)-classes. Zbl 1437.03146 Golshani, Mohammad; Kanovei, Vladimir; Lyubetsky, Vassily 8 2017 Aronszajn trees, square principles, and stationary reflection. Zbl 1469.03145 Lambie-Hanson, Chris 8 2017 Local Ramsey theory: an abstract approach. Zbl 1469.03127 Di Prisco, Carlos; Mijares, José G.; Nieto, Jesús 8 2017 A presentation theorem for continuous logic and metric abstract elementary classes. Zbl 1469.03098 Boney, Will 7 2017 Polish globalization of Polish group partial actions. Zbl 1473.54040 Pinedo, Hector; Uzcátegui, Carlos 6 2017 ...and 926 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,774 Authors 43 Tachtsis, Eleftherios 42 Shelah, Saharon 39 Keremedis, Kyriakos 38 Apter, Arthur W. 31 Brattka, Vasco 29 Bridges, Douglas Suth 28 Selivanov, Viktor L’vovich 27 Friedman, Sy-David 25 Weiermann, Andreas 24 Kanovei, Vladimir G. 23 Bazhenov, Nikolaĭ Alekseevich 23 Downey, Rodney Graham 23 Pauly, Arno M. 22 Rathjen, Michael 22 Vasey, Sebastien 21 Sanders, Sam 20 Sayed Ahmed, Tarek 19 Di Nola, Antonio 19 Hyttinen, Tapani 19 Ishihara, Hajime 18 Kulpeshov, Beibut Shaiykovich 18 Matet, Pierre 17 Celani, Sergio Arturo 17 Pambuccian, Victor V. 17 Schuster, Peter Michael 17 Sorbi, Andrea 17 Wu, Guohua 17 Zhong, Ning 17 Ziegler, Martin 16 Kihara, Takayuki 15 Barmpalias, George 15 Hamkins, Joel David 15 Ng, KengMeng 15 Wajch, Eliza 14 Esteva, Francesc 14 Graça, Daniel Silva 14 Li, Qingguo 14 Lyubetsky, Vassily Aleksandrovich 14 Shore, Richard Arnold 14 Simpson, Stephen G. 14 Stephan, Frank 13 Arslanov, Marat M. 13 Bělohlávek, Radim 13 Borzooei, Rajab Ali 13 Eleftheriou, Pantelis E. 13 Freytes, Hector 13 Jun, Young Bae 13 McNicholl, Timothy H. 13 Miller, Joseph S. 13 Patey, Ludovic 13 Raftery, James G. 13 Rothe, Jörg-Matthias 13 Visser, Albert 12 Buss, Samuel R. 12 Cenzer, Douglas 12 Hirschfeldt, Denis Roman 12 Howard, Paul E. 12 Knight, Julia F. 12 Lempp, Steffen 12 Torrens Torrell, Antoni 12 Weihrauch, Klaus 11 Andrews, Uri 11 Jansana, Ramon 11 Jeřábek, Emil 11 Kamide, Norihiro 11 Montagna, Franco 11 Noguera, Carles 11 Ognjanović, Zoran 11 Slaman, Theodore A. 10 Belluce, Lawrence Peter 10 Bianchi, Matteo 10 Franklin, Johanna N. Y. 10 Greenberg, Noam 10 Kalimullin, Iskander Shagitovich 10 Kołodziejczyk, Leszek Aleksander 10 Lewis-Pye, Andrew E. M. 10 Löwe, Benedikt 10 Lücke, Philipp Moritz 10 Moraschini, Tommaso 10 Oliva, Paulo 10 San Martín, Hernán Javier 10 Shafer, Paul 10 Zhao, Bin 9 Castiglioni, José Luis 9 Cubides Kovacsics, Pablo 9 de Ronde, Christian 9 Došen, Kosta 9 Fischer, Vera 9 Galatos, Nikolaos 9 Georgescu, George 9 Gherardi, Guido 9 Gispert, Joan 9 Godo, Lluís 9 Hájek, Petr 9 Harizanov, Valentina S. 9 Hoyrup, Mathieu 9 Kohlenbach, Ulrich Wilhelm 9 Lele, Celestin 9 Medina, Jesús 9 Milliet, Cédric ...and 2,674 more Authors all top 5 Cited in 331 Journals 316 Annals of Pure and Applied Logic 288 The Journal of Symbolic Logic 274 Mathematical Logic Quarterly (MLQ) 225 Archive for Mathematical Logic 113 Fuzzy Sets and Systems 108 Theoretical Computer Science 96 Studia Logica 78 Notre Dame Journal of Formal Logic 78 The Bulletin of Symbolic Logic 58 Topology and its Applications 55 Soft Computing 49 Proceedings of the American Mathematical Society 47 Journal of Mathematical Logic 45 Algebra Universalis 45 Transactions of the American Mathematical Society 40 Israel Journal of Mathematics 34 MSCS. Mathematical Structures in Computer Science 33 Information Sciences 33 The Review of Symbolic Logic 32 Fundamenta Mathematicae 30 Journal of Philosophical Logic 29 Algebra and Logic 28 Logical Methods in Computer Science 27 Information and Computation 27 Computability 24 Order 23 Journal of Algebra 23 Journal of Applied Non-Classical Logics 23 Theory of Computing Systems 22 Advances in Mathematics 22 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 15 Artificial Intelligence 14 Information Processing Letters 13 Communications in Algebra 13 Journal of Pure and Applied Algebra 13 Bulletin of the Section of Logic 13 Indagationes Mathematicae. New Series 13 Logica Universalis 12 Journal of Logic and Analysis 11 Siberian Mathematical Journal 11 Annals of Mathematics and Artificial Intelligence 11 Lobachevskii Journal of Mathematics 11 Afrika Matematika 10 International Journal of General Systems 10 International Journal of Algebra and Computation 10 Applied Categorical Structures 9 Journal of Mathematical Sciences (New York) 9 Open Mathematics 8 Discrete Mathematics 8 Journal of Mathematical Analysis and Applications 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 Selecta Mathematica. New Series 8 Journal of Applied Logic 8 Iranian Journal of Fuzzy Systems 7 Computers & Mathematics with Applications 7 Mathematica Slovaca 7 Quaestiones Mathematicae 7 Computational Geometry 7 ACM Transactions on Computational Logic 7 Journal of Multiple-Valued Logic and Soft Computing 6 Discrete Applied Mathematics 6 International Journal of Theoretical Physics 6 Memoirs of the American Mathematical Society 6 Results in Mathematics 6 Semigroup Forum 6 Filomat 6 Journal of Applied Mathematics 6 Comptes Rendus. Mathématique. Académie des Sciences, Paris 6 Central European Journal of Mathematics 6 Korean Journal of Mathematics 5 Mathematical Notes 5 Applied Mathematics and Computation 5 Journal of Geometry 5 Acta Mathematica Hungarica 5 Discrete & Computational Geometry 5 International Journal of Foundations of Computer Science 5 Erkenntnis 5 Oberwolfach Reports 5 Sibirskie Èlektronnye Matematicheskie Izvestiya 5 Asian-European Journal of Mathematics 5 Forum of Mathematics, Sigma 5 European Journal of Mathematics 4 Moscow University Mathematics Bulletin 4 Bulletin of the London Mathematical Society 4 International Journal of Mathematics and Mathematical Sciences 4 Inventiones Mathematicae 4 European Journal of Combinatorics 4 Algorithmica 4 Journal of Automated Reasoning 4 Forum Mathematicum ...and 231 more Journals all top 5 Cited in 53 Fields 2,917 Mathematical logic and foundations (03-XX) 651 Computer science (68-XX) 534 Order, lattices, ordered algebraic structures (06-XX) 276 General topology (54-XX) 141 Combinatorics (05-XX) 127 Group theory and generalizations (20-XX) 115 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 99 Category theory; homological algebra (18-XX) 95 General algebraic systems (08-XX) 71 Measure and integration (28-XX) 68 Functional analysis (46-XX) 60 Field theory and polynomials (12-XX) 46 Real functions (26-XX) 45 Dynamical systems and ergodic theory (37-XX) 38 Number theory (11-XX) 38 Commutative algebra (13-XX) 35 General and overarching topics; collections (00-XX) 34 Geometry (51-XX) 33 Associative rings and algebras (16-XX) 30 Topological groups, Lie groups (22-XX) 29 Probability theory and stochastic processes (60-XX) 26 Operator theory (47-XX) 25 History and biography (01-XX) 25 Quantum theory (81-XX) 23 Operations research, mathematical programming (90-XX) 22 Numerical analysis (65-XX) 21 Algebraic geometry (14-XX) 15 Convex and discrete geometry (52-XX) 12 Ordinary differential equations (34-XX) 12 Algebraic topology (55-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 11 Functions of a complex variable (30-XX) 11 Partial differential equations (35-XX) 8 Systems theory; control (93-XX) 8 Information and communication theory, circuits (94-XX) 7 Manifolds and cell complexes (57-XX) 7 Statistics (62-XX) 5 Approximations and expansions (41-XX) 4 Difference and functional equations (39-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 4 Abstract harmonic analysis (43-XX) 4 Global analysis, analysis on manifolds (58-XX) 3 Several complex variables and analytic spaces (32-XX) 3 Sequences, series, summability (40-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Statistical mechanics, structure of matter (82-XX) 3 Biology and other natural sciences (92-XX) 2 Relativity and gravitational theory (83-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