×

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 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 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 Hyttinen, Tapani
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 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
4 Reeken, Michael
4 Richman, Fred
...and 1,121 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

997 Publications have been cited 4,616 times in 3,507 Documents Cited by Year
Fuzzy Galois connections. Zbl 0938.03079
Bělohlávek, Radim
91
1999
Effective Borel measurability and reducibility of functions. Zbl 1059.03074
Brattka, Vasco
50
2005
Soft ordered semigroups. Zbl 1191.06009
Jun, Young Bae; Lee, Kyoung Ja; Khan, Asghar
47
2010
A cohesive set which is not high. Zbl 0799.03048
Jockusch, Carl; Stephan, Frank
39
1993
Fuzzy Galois connections on fuzzy posets. Zbl 1172.06001
Yao, Wei; Lu, Ling-Xia
37
2009
Lattices of fixed points of fuzzy Galois connections. Zbl 0976.03025
Bělohlávek, Radim
37
2001
Glivenko like theorems in natural expansions of BCK-logic. Zbl 1045.03026
Cignoli, Roberto; Torrens Torrell, Antoni
34
2004
A uniform approach to fundamental sequences and hierarchies. Zbl 0812.03023
Buchholz, Wilfried; Cichon, Adam; Weiermann, Andreas
30
1994
Two NP-hard art-gallery problems for ortho-polygons. Zbl 0827.68115
Schuchardt, Dietmar; Hecker, Hans-Dietrich
30
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
Characterizing Belnap’s logic via De Morgan’s laws. Zbl 0837.03019
Pynko, Alexej P.
28
1995
On the (semi)lattices induced by continuous reducibilities. Zbl 1200.03028
Pauly, Arno
26
2010
Basic propositional calculus. I. Zbl 0912.03005
Ardeshir, Mohammad; Ruitenburg, Wim
25
1998
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
A general approach to fuzzy concepts. Zbl 1059.03015
Popescu, Andrei
22
2004
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
A splitting theorem for the Medvedev and Muchnik lattices. Zbl 1022.03021
Binns, Stephen
22
2003
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
Hierarchies of \(\Delta^0_2\)-measurable \(k\)-partitions. Zbl 1124.03021
Selivanov, Victor L.
21
2007
Computational complexity on computable metric spaces. Zbl 1018.03049
Weihrauch, Klaus
21
2003
\(n\)-fold filters in BL-algebras. Zbl 1145.03038
Haveshki, Masoud; Eslami, Esfandiar
21
2008
Some results in BL-algebras. Zbl 1188.03047
Borumand Saeid, Arsham; Motamed, Somayeh
20
2009
Computable real-valued functions on recursive open and closed subsets of Euclidean space. Zbl 0856.03045
Zhou, Qing
18
1996
Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027
Rybakov, Vladimir V.
18
2001
Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059
Berger, Josef; Ishihara, Hajime
18
2005
On \(n\)-contractive fuzzy logics. Zbl 1125.03017
Horčík, Rostislav; Noguera, Carles; Petrík, Milan
17
2007
Notes on local o-minimality. Zbl 1222.03045
Toffalori, Carlo; Vozoris, Kathryn
17
2009
Cell decomposition for P-minimal fields. Zbl 1181.03041
Mourgues, Marie-Hélène
17
2009
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
Tall cardinals. Zbl 1165.03044
Hamkins, Joel D.
16
2009
Computing the complexity of the relation of isometry between separable Banach spaces. Zbl 1115.03064
Melleray, Julien
16
2007
A notion of selective ultrafilter corresponding to topological Ramsey spaces. Zbl 1126.03044
Mijares, José G.
16
2007
Admissible representations for probability measures. Zbl 1124.03019
Schröder, Matthias
16
2007
The arithmetical hierarchy of real numbers. Zbl 0968.03075
Zheng, Xizhong; Weihrauch, Klaus
16
2001
Compact metric spaces and weak forms of the axiom of choice. Zbl 0968.03057
Keremedis, Kyriakos; Tachtsis, Eleftherios
16
2001
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Zbl 1145.03039
Noguera, Carles; Esteva, Francesc; Gispert, Joan
16
2008
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
On witnessed models in fuzzy logic. Zbl 1110.03013
Hájek, Petr
16
2007
Is the Mandelbrot set computable? Zbl 1065.03045
Hertling, Peter
16
2005
The wave equation with computable initial data whose unique solution is nowhere computable. Zbl 0883.03045
Pour-El, Marian B.; Zhong, Ning
15
1997
On Schnorr and computable randomness, martingales, and machines. Zbl 1062.68064
Downey, Rod; Griffiths, Evan; Laforte, Geoffrey
15
2004
Spaces allowing type-2 complexity theory revisited. Zbl 1058.03069
Schröder, Matthias
15
2004
Some recent developments on Shannon’s general purpose analog computer. Zbl 1089.68039
Graça, Daniel Silva
15
2004
A topology induced by uniformity on BL-algebras. Zbl 1115.03091
Haveshki, Masoud; Eslami, Esfandiar; Borumand Saeid, Arsham
14
2007
Fragments of Martin’s Maximum in generic extensions. Zbl 1047.03039
König, Bernhard; Yoshinobu, Yasuo
14
2004
Commutative rings whose ideals form an MV-algebra. Zbl 1180.06008
Belluce, Lawrence P.; Di Nola, Antonio
14
2009
On theories having three countable models. Zbl 0897.03035
Ikeda, Koichiro; Pillay, Anand; Tsuboi, Akito
14
1998
Questions on generalised Baire spaces. Zbl 1366.03221
Khomskii, Yurii; Laguzzi, Giorgio; Löwe, Benedikt; Sharankou, Ilya
14
2016
Determinacy of Wadge classes and subsystems of second order arithmetic. Zbl 1172.03008
Nemoto, Takako
13
2009
Non-constructive properties of the real numbers. Zbl 0986.03037
Howard, Paul; Keremedis, Kyriakos; Rubin, Jean E.; Stanley, Adrienne; Tatchtsis, Eleftherios
13
2001
Increasing \(\eta\)-representable degrees. Zbl 1184.03042
Frolov, Andrey N.; Zubkov, Maxim V.
13
2009
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
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
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
Computable operators on regular sets. Zbl 1058.03071
Ziegler, Martin
13
2004
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
The Hahn-Banach property and the axiom of choice. Zbl 0931.03060
Dodu, Juliette; Morillon, Marianne
12
1999
Kripke-style semantics for many-valued logics. Zbl 1035.03010
Montagna, Franco; Sacchetti, Lorenzo
12
2003
Computability on regular subsets of Euclidean space. Zbl 1020.03062
Ziegler, Martin
12
2002
Weak saturation of ideals on \(P_{\kappa }(\lambda )\). Zbl 1237.03030
Matet, Pierre
12
2011
Degree spectra and immunity properties. Zbl 1184.03025
Csima, Barbara F.; Kalimullin, Iskander S.
12
2010
Cyclic elements in MV-algebras and Post algebras. Zbl 0815.06009
Torrens, Antoni
12
1994
Polynomial time uniform word problems. Zbl 0820.08003
Burris, Stanley
12
1995
A real number structure that is effectively categorical. Zbl 0946.03050
Hertling, Peter
12
1999
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
Hierarchies in \(\varphi\)-spaces and applications. Zbl 1058.03048
Selivanov, Victor L.
12
2005
Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043
Badaev, Serikzhan; Sorbi, Andrea
11
2016
On deciding the non-emptiness of 2SAT polytopes with respect to first order queries. Zbl 1073.68081
Subramani, K.
11
2004
On the complexity of categoricity in computable structures. Zbl 1035.03017
White, Walker M.
11
2003
A note on the first-order logic of complete BL-chains. Zbl 1152.03019
Hájek, Petr; Montagna, Franco
11
2008
Radical of filters in BL-algebras. Zbl 1218.03037
Motamed, Somayeh; Torkzadeh, Lida; Borumand Saeid, Arsham; Mohtashamnia, Neda
11
2011
Highness and bounding minimal pairs. Zbl 0809.03029
Downey, Rodney G.; Lempp, Steffen; Shore, Richard A.
11
1993
Some special pairs of \(\Sigma_2\) e-degrees. Zbl 0926.03045
Ahmad, Seema; Lachlan, Alistair H.
11
1998
Addition and multiplication of sets. Zbl 1110.03034
Kirby, Laurence
11
2007
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
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
Conjectures of Rado and Chang and special Aronszajn trees. Zbl 1270.03106
Todorčević, Stevo; Torres Pérez, Víctor
11
2012
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
On strong forms of reflection in set theory. Zbl 1357.03084
Friedman, Sy-David; Honzik, Radek
10
2016
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
Computing the topological entropy of shifts. Zbl 1120.37007
Spandl, Christoph
10
2007
Universal classes of MV-chains with applications to many-valued logics. Zbl 1049.06009
Gispert, Joan
10
2002
Truth-table Schnorr randomness and truth-table reducible randomness. Zbl 1220.03043
Miyabe, Kenshi
10
2011
On \((\in,\in \vee q)\)-fuzzy filters of \(R_0\)-algebras. Zbl 1183.03063
Ma, Xueling; Zhan, Jianming; Jun, Young B.
10
2009
Computation models for parameterized complexity. Zbl 0870.68063
Cesati, Marco; Di Ianni, Miriam
10
1997
Hilbert’s \(\varepsilon\)-operator in intuitionistic type theories. Zbl 0802.03005
Bell, John L.
10
1993
Quasi-Stone algebras. Zbl 0812.06006
Sankappanavar, Nalinaxi H.; Sankappanavar, Hanamantagouda P.
10
1993
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
\(\kappa\)-madness and definability. Zbl 1521.03149
Horowitz, Haim; Shelah, Saharon
2
2022
Tameness of definably complete locally o-minimal structures and definable bounded multiplication. Zbl 1521.03101
Fujita, Masato; Kawakami, Tomohiro; Komine, Wataru
2
2022
Quantum B-modules. Zbl 1521.06009
Zhang, Xia; Rump, Wolfgang
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
2
2021
Meeting numbers and pseudopowers. Zbl 1521.03183
Matet, Pierre
1
2021
Some basic thoughts on the cofinalities of Chang structures with an application to forcing. Zbl 1521.03170
Adolf, Dominik T.
1
2021
Singly generated quasivarieties and residuated structures. Zbl 1521.08003
Moraschini, Tommaso; Raftery, James G.; Wannenburg, Johann J.
4
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
Computability of graphs. Zbl 1521.03132
Iljazović, Zvonko
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
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
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
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
6
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
The axiom of determinacy implies dependent choice in mice. Zbl 1521.03194
Müller, Sandra
2
2019
Inner mantles and iterated HOD. Zbl 1521.03190
Reitz, Jonas; Williams, Kameryn J.
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
Łoś’s theorem and the axiom of choice. Zbl 1521.03164
Tachtsis, Eleftherios
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
Generalised pseudointersections. Zbl 1521.03157
Schilhan, Jonathan
1
2019
Ultrafilter extensions do not preserve elementary equivalence. Zbl 1521.03080
Saveliev, Denis I.; Shelah, Saharon
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
Local Ramsey theory: an abstract approach. Zbl 1469.03127
Di Prisco, Carlos; Mijares, José G.; Nieto, Jesús
8
2017
Aronszajn trees, square principles, and stationary reflection. Zbl 1469.03145
Lambie-Hanson, Chris
7
2017
A presentation theorem for continuous logic and metric abstract elementary classes. Zbl 1469.03098
Boney, Will
6
2017
Polish globalization of Polish group partial actions. Zbl 1473.54040
Pinedo, Hector; Uzcátegui, Carlos
6
2017
Generalizations of Cantor’s theorem in \(\mathsf{ZF}\). Zbl 1469.03129
Shen, Guozhen
5
2017
Forcing with adequate sets of models as side conditions. Zbl 1469.03144
Krueger, John
4
2017
Random \(\ell\)-colourable structures with a pregeometry. Zbl 1469.03088
Ahlman, Ove; Koponen, Vera
2
2017
Interpreting weak Kőnig’s lemma in theories of nonstandard arithmetic. Zbl 1469.03177
Dinis, Bruno; Ferreira, Fernando
2
2017
On the reducibility of isomorphism relations. Zbl 1469.03134
Hyttinen, Tapani; Moreno, Miguel
2
2017
Intermediate arithmetic operations on ordinal numbers. Zbl 1469.03128
Altman, Harry J.
2
2017
Non-Archimedean stratifications of tangent cones. Zbl 1469.14111
García Ramírez, Erick
2
2017
On the uniqueness property of forking in abstract elementary classes. Zbl 1469.03101
Vasey, Sebastien
2
2017
Homogeneous 1-based structures and interpretability in random structures. Zbl 1469.03089
Koponen, Vera
1
2017
Linear extension operators for continuous functions on definable sets in the \(p\)-adic context. Zbl 1469.03111
Thamrongthanyalak, Athipat
1
2017
A note on prime models in weakly o-minimal structures. Zbl 1469.03110
Tari, Somayyeh
1
2017
Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties. Zbl 1469.03031
Słomczyńska, Katarzyna
1
2017
The HOD hypothesis and a supercompact cardinal. Zbl 1469.03150
Cheng, Yong
1
2017
A wild model of linear arithmetic and discretely ordered modules. Zbl 1469.03108
Glivický, Petr; Pudlák, Pavel
1
2017
On infinite-dimensional Banach spaces and weak forms of the axiom of choice. Zbl 1469.03137
Howard, Paul; Tachtsis, Eleftherios
1
2017
A preservation theorem for theories without the tree property of the first kind. Zbl 1469.03094
Dobrowolski, Jan; Kim, Hyeungjoon
1
2017
A recursion theoretic characterization of the topological Vaught conjecture in the Zermelo-Fraenkel set theory. Zbl 1469.03133
Gregoriades, Vassilios
1
2017
What is the theory ZFC without power set? Zbl 1375.03059
Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A.
29
2016
Uniqueness of limit models in classes with amalgamation. Zbl 1367.03067
Grossberg, Rami; VanDieren, Monica; Villaveces, Andrés
25
2016
Questions on generalised Baire spaces. Zbl 1366.03221
Khomskii, Yurii; Laguzzi, Giorgio; Löwe, Benedikt; Sharankou, Ilya
14
2016
Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043
Badaev, Serikzhan; Sorbi, Andrea
11
2016
On strong forms of reflection in set theory. Zbl 1357.03084
Friedman, Sy-David; Honzik, Radek
10
2016
...and 897 more Documents
all top 5

Cited by 2,703 Authors

42 Tachtsis, Eleftherios
41 Shelah, Saharon
38 Apter, Arthur W.
37 Keremedis, Kyriakos
30 Brattka, Vasco
29 Bridges, Douglas Suth
27 Friedman, Sy-David
26 Selivanov, Viktor L’vovich
24 Kanovei, Vladimir G.
24 Weiermann, Andreas
23 Downey, Rodney Graham
23 Pauly, Arno M.
21 Bazhenov, Nikolaĭ Alekseevich
21 Sanders, Sam
21 Vasey, Sebastien
19 Di Nola, Antonio
19 Ishihara, Hajime
19 Sayed Ahmed, Tarek
18 Kulpeshov, Beibut Shaiykovich
18 Matet, Pierre
17 Pambuccian, Victor V.
17 Schuster, Peter Michael
17 Wu, Guohua
17 Zhong, Ning
16 Celani, Sergio Arturo
16 Rathjen, Michael
16 Sorbi, Andrea
16 Ziegler, Martin
15 Barmpalias, George
15 Hamkins, Joel David
15 Hyttinen, Tapani
15 Kihara, Takayuki
15 Ng, KengMeng
14 Esteva, Francesc
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 Graça, Daniel Silva
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
13 Wajch, Eliza
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 Slaman, Theodore A.
10 Belluce, Lawrence Peter
10 Bianchi, Matteo
10 Franklin, Johanna N. Y.
10 Kołodziejczyk, Leszek Aleksander
10 Lewis-Pye, Andrew E. M.
10 Löwe, Benedikt
10 Lücke, Philipp Moritz
10 Ognjanović, Zoran
10 Oliva, Paulo
10 San Martín, Hernán Javier
10 Shafer, Paul
9 Castiglioni, José Luis
9 Cubides Kovacsics, Pablo
9 de Ronde, Christian
9 Došen, Kosta
9 Galatos, Nikolaos
9 Georgescu, George
9 Gherardi, Guido
9 Gispert, Joan
9 Godo, Lluís
9 Greenberg, Noam
9 Hájek, Petr
9 Harizanov, Valentina S.
9 Hoyrup, Mathieu
9 Kalimullin, Iskander Shagitovich
9 Kohlenbach, Ulrich Wilhelm
9 Lele, Celestin
9 Medina, Jesús
9 Milliet, Cédric
9 Montalbán, Antonio
9 Moraschini, Tommaso
9 Nies, André Otfrid
...and 2,603 more Authors
all top 5

Cited in 325 Journals

310 Annals of Pure and Applied Logic
286 The Journal of Symbolic Logic
272 Mathematical Logic Quarterly (MLQ)
219 Archive for Mathematical Logic
113 Fuzzy Sets and Systems
106 Theoretical Computer Science
94 Studia Logica
77 The Bulletin of Symbolic Logic
76 Notre Dame Journal of Formal Logic
56 Topology and its Applications
55 Soft Computing
47 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 The Review of Symbolic Logic
32 Information Sciences
29 Journal of Philosophical Logic
28 Algebra and Logic
27 Information and Computation
26 Fundamenta Mathematicae
23 Order
23 Theory of Computing Systems
23 Computability
22 Journal of Algebra
22 Journal of Complexity
22 Journal of Applied Non-Classical Logics
21 Advances in Mathematics
21 Logical Methods in Computer Science
20 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 Indagationes Mathematicae. New Series
12 Logica Universalis
12 Journal of Logic and Analysis
11 Journal of Pure and Applied Algebra
11 Siberian Mathematical Journal
11 Annals of Mathematics and Artificial Intelligence
11 Lobachevskii Journal of Mathematics
10 International Journal of General Systems
10 Applied Categorical Structures
10 Afrika Matematika
9 Bulletin of the Section of Logic
9 International Journal of Algebra and Computation
9 Journal of Mathematical Sciences (New York)
8 Discrete Mathematics
8 Journal of Mathematical Analysis and Applications
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 Selecta Mathematica. New Series
8 Journal of Applied Logic
8 Iranian Journal of Fuzzy Systems
8 Open Mathematics
7 Computers & Mathematics with Applications
7 Commentationes Mathematicae Universitatis Carolinae
7 Mathematica Slovaca
7 Computational Geometry
7 Journal of Logic, Language and Information
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 Quaestiones Mathematicae
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 Results in Mathematics
5 Acta Mathematica Hungarica
5 Discrete & Computational Geometry
5 International Journal of Foundations of Computer Science
5 Erkenntnis
5 Sibirskie Èlektronnye Matematicheskie Izvestiya
5 Asian-European Journal of Mathematics
5 Forum of Mathematics, Sigma
4 Moscow University Mathematics Bulletin
4 Bulletin of the London Mathematical Society
4 International Journal of Mathematics and Mathematical Sciences
4 Inventiones Mathematicae
4 Journal of Automated Reasoning
4 Forum Mathematicum
4 European Journal of Operational Research
4 Abstract and Applied Analysis
4 The Journal of Logic and Algebraic Programming
4 Natural Computing
...and 225 more Journals
all top 5

Cited in 53 Fields

2,840 Mathematical logic and foundations (03-XX)
634 Computer science (68-XX)
525 Order, lattices, ordered algebraic structures (06-XX)
268 General topology (54-XX)
131 Combinatorics (05-XX)
124 Group theory and generalizations (20-XX)
115 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
95 Category theory; homological algebra (18-XX)
90 General algebraic systems (08-XX)
70 Measure and integration (28-XX)
67 Functional analysis (46-XX)
59 Field theory and polynomials (12-XX)
46 Real functions (26-XX)
43 Dynamical systems and ergodic theory (37-XX)
35 Number theory (11-XX)
35 Commutative algebra (13-XX)
34 General and overarching topics; collections (00-XX)
34 Geometry (51-XX)
32 Associative rings and algebras (16-XX)
29 Topological groups, Lie groups (22-XX)
29 Probability theory and stochastic processes (60-XX)
25 Operator theory (47-XX)
25 Quantum theory (81-XX)
24 History and biography (01-XX)
22 Numerical analysis (65-XX)
22 Operations research, mathematical programming (90-XX)
21 Algebraic geometry (14-XX)
15 Convex and discrete geometry (52-XX)
12 Algebraic topology (55-XX)
11 Ordinary differential equations (34-XX)
11 Partial differential equations (35-XX)
10 Linear and multilinear algebra; matrix theory (15-XX)
10 Functions of a complex variable (30-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 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 Sequences, series, summability (40-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