×

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

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 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