×

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), Berlin
ISSN: 0942-5616; 1521-3870/e
Online: https://onlinelibrary.wiley.com/loi/15213870
Predecessor: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
Comments: Indexed cover-to-cover
Documents Indexed: 1,397 Publications (since 1993)
References Indexed: 986 Publications with 13,725 References.
all top 5

Latest Issues

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)
48, No. 4 (2002)
48, No. 3 (2002)
48, No. 2 (2002)
48, No. 1 (2002)
48, Suppl. 1 (2002)
47, No. 4 (2001)
47, No. 3 (2001)
47, No. 2 (2001)
47, No. 1 (2001)
46, No. 4 (2000)
46, No. 3 (2000)
46, No. 2 (2000)
46, No. 1 (2000)
45, No. 4 (1999)
...and 25 more Volumes
all top 5

Authors

32 Keremedis, Kyriakos
29 Apter, Arthur W.
22 Shelah, Saharon
19 Bridges, Douglas Suth
19 Howard, Paul E.
15 Tachtsis, Eleftherios
13 Hyttinen, Tapani
13 Pambuccian, Victor V.
13 Toffalori, Carlo
12 Rubin, Jean E.
11 Ishihara, Hajime
11 Sayed Ahmed, Tarek
10 Esser, Olivier
10 Kamide, Norihiro
9 Hamkins, Joel David
9 Jeřábek, Emil
9 Kanovei, Vladimir G.
9 Valentini, Silvio
9 Zheng, Xizhong
8 Ardeshir, Mohammad
8 Bagheri, Seyed Mohammad
8 Baratella, Stefano
8 Hemmerling, Armin
8 Kotlarski, Henryk
8 Schuster, Peter Michael
8 Tsuboi, Akito
8 Weihrauch, Klaus
7 Downey, Rodney Graham
7 Montagna, Franco
7 Palmgren, Erik
7 Schmerl, James H.
7 Voutsadakis, George
7 Weiermann, Andreas
7 Zhong, Ning
6 Bell, John Lane
6 Brattka, Vasco
6 Di Nola, Antonio
6 Fernández Margarit, Alejandro
6 Hall, Eric Joseph
6 Hinnion, Roland
6 Kohlenbach, Ulrich Wilhelm
6 Matet, Pierre
6 McNicholl, Timothy H.
6 Moniri, Morteza
6 Rathjen, Michael
5 Berenstein, Alexander
5 Celani, Sergio Arturo
5 Cenzer, Douglas
5 Cooper, Stuart Barry
5 De la Cruz, Omar
5 Degen, Josef Wolfgang
5 Hecker, Hans-Dietrich
5 Leonesi, Stefano
5 Lischke, Gerhard
5 Lombardi, Henri
5 Mazzanti, Stefano
5 Oliva, Paulo
5 Schröder, Matthias
5 Strahm, Thomas
5 Tzouvaras, Athanassios
5 Vîţă, Luminiţa Simona
4 Barback, Joseph
4 Bulitko, Valeriy K.
4 Diener, Hannes
4 Edmundo, Mário J.
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 Khanaki, Karim
4 Kirby, Laurence
4 Kulpeshov, Beibut Shaiykovich
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 Raftery, James G.
4 Reeken, Michael
4 Richman, Fred
4 Rodríguez Salas, Antonio Jesús
4 Rybakov, Vladimir Vladimirovich
4 Sági, Gábor
4 Schindler, Ralf-Dieter
4 Sorbi, Andrea
4 Stanley, Adrienne M.
4 Stephan, Frank
4 Torrens Torrell, Antoni
4 Usuba, Toshimichi
4 Vassiliev, Evgueni V.
...and 1,039 more Authors
all top 5

Fields

1,358 Mathematical logic and foundations (03-XX)
145 Computer science (68-XX)
126 Order, lattices, ordered algebraic structures (06-XX)
95 General topology (54-XX)
40 Group theory and generalizations (20-XX)
37 Combinatorics (05-XX)
33 Functional analysis (46-XX)
32 General algebraic systems (08-XX)
30 Real functions (26-XX)
24 Category theory; homological algebra (18-XX)
23 Field theory and polynomials (12-XX)
20 Measure and integration (28-XX)
19 Geometry (51-XX)
19 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
15 Commutative algebra (13-XX)
13 Operator theory (47-XX)
11 Number theory (11-XX)
8 Dynamical systems and ergodic theory (37-XX)
6 Topological groups, Lie groups (22-XX)
5 General and overarching topics; collections (00-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
5 Associative rings and algebras (16-XX)
5 Quantum theory (81-XX)
4 Probability theory and stochastic processes (60-XX)
3 History and biography (01-XX)
3 Algebraic geometry (14-XX)
3 Functions of a complex variable (30-XX)
2 Ordinary differential equations (34-XX)
2 Partial differential equations (35-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 Sequences, series, summability (40-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 Operations research, mathematical programming (90-XX)

Publications by Year

Citations contained in zbMATH Open

918 Publications have been cited 3,920 times in 3,032 Documents Cited by Year
Fuzzy Galois connections. Zbl 0938.03079
Bělohlávek, Radim
77
1999
Effective Borel measurability and reducibility of functions. Zbl 1059.03074
Brattka, Vasco
46
2005
Soft ordered semigroups. Zbl 1191.06009
Jun, Young Bae; Lee, Kyoung Ja; Khan, Asghar
44
2010
A cohesive set which is not high. Zbl 0799.03048
Jockusch, Carl; Stephan, Frank
37
1993
Fuzzy Galois connections on fuzzy posets. Zbl 1172.06001
Yao, Wei; Lu, Ling-Xia
34
2009
Lattices of fixed points of fuzzy Galois connections. Zbl 0976.03025
Bělohlávek, Radim
33
2001
Glivenko like theorems in natural expansions of BCK-logic. Zbl 1045.03026
Cignoli, Roberto; Torrens Torrell, Antoni
29
2004
A uniform approach to fundamental sequences and hierarchies. Zbl 0812.03023
Buchholz, Wilfried; Cichon, Adam; Weiermann, Andreas
26
1994
What is the theory ZFC without power set? Zbl 1375.03059
Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A.
26
2016
Characterizing Belnap’s logic via De Morgan’s laws. Zbl 0837.03019
Pynko, Alexej P.
24
1995
Two NP-hard art-gallery problems for ortho-polygons. Zbl 0827.68115
Schuchardt, Dietmar; Hecker, Hans-Dietrich
23
1995
On the (semi)lattices induced by continuous reducibilities. Zbl 1200.03028
Pauly, Arno
23
2010
Uniqueness of limit models in classes with amalgamation. Zbl 1367.03067
Grossberg, Rami; VanDieren, Monica; Villaveces, Andrés
23
2016
Almost everywhere domination and superhighness. Zbl 1123.03040
Simpson, Stephen G.
23
2007
Bounded distributive lattices with strict implication. Zbl 1067.03065
Celani, Sergio; Jansana, Ramon
22
2005
A splitting theorem for the Medvedev and Muchnik lattices. Zbl 1022.03021
Binns, Stephen
21
2003
Effective fractal dimensions. Zbl 1058.03044
Lutz, Jack H.
21
2005
A general approach to fuzzy concepts. Zbl 1059.03015
Popescu, Andrei
20
2004
Basic propositional calculus. I. Zbl 0912.03005
Ardeshir, Mohammad; Ruitenburg, Wim
20
1998
Hybrid elections broaden complexity-theoretic resistance to control. Zbl 1177.91066
Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg
20
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
20
2009
Hierarchies of \(\Delta^0_2\)-measurable \(k\)-partitions. Zbl 1124.03021
Selivanov, Victor L.
20
2007
Computable real-valued functions on recursive open and closed subsets of Euclidean space. Zbl 0856.03045
Zhou, Qing
18
1996
Uniform versions of some axioms of second order arithmetic. Zbl 1063.03045
Sakamoto, Nobuyuki; Yamazaki, Takeshi
18
2004
\(n\)-fold filters in BL-algebras. Zbl 1145.03038
Haveshki, Masoud; Eslami, Esfandiar
18
2008
Computational complexity on computable metric spaces. Zbl 1018.03049
Weihrauch, Klaus
17
2003
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Zbl 1145.03039
Noguera, Carles; Esteva, Francesc; Gispert, Joan
16
2008
The arithmetical hierarchy of real numbers. Zbl 0968.03075
Zheng, Xizhong; Weihrauch, Klaus
16
2001
The universal covering homomorphism in o-minimal expansions of groups. Zbl 1130.03027
Edmundo, Mário J.; Eleftheriou, Pantelis E.
16
2007
Cell decomposition for P-minimal fields. Zbl 1181.03041
Mourgues, Marie-Hélène
15
2009
Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059
Berger, Josef; Ishihara, Hajime
15
2005
On Schnorr and computable randomness, martingales, and machines. Zbl 1062.68064
Downey, Rod; Griffiths, Evan; Laforte, Geoffrey
15
2004
The computational complexity of choice sets. Zbl 1173.91358
Brandt, Felix; Fischer, Felix; Harrenstein, Paul
15
2009
On witnessed models in fuzzy logic. Zbl 1110.03013
Hájek, Petr
15
2007
Free nilpotent minimum algebras. Zbl 1101.03043
Busaniche, Manuela
15
2006
Tall cardinals. Zbl 1165.03044
Hamkins, Joel D.
14
2009
Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027
Rybakov, Vladimir V.
14
2001
Admissible representations for probability measures. Zbl 1124.03019
Schröder, Matthias
14
2007
A topology induced by uniformity on BL-algebras. Zbl 1115.03091
Haveshki, Masoud; Eslami, Esfandiar; Borumand Saeid, Arsham
14
2007
On \(n\)-contractive fuzzy logics. Zbl 1125.03017
Horčík, Rostislav; Noguera, Carles; Petrík, Milan
14
2007
The prime spectrum of an MV-algebra. Zbl 0815.06010
Belluce, L. P.; Di Nola, Antonio; Sessa, Salvatore
13
1994
How to develop proof-theoretic ordinal functions on the basis of admissible ordinals. Zbl 0803.03036
Rathjen, Michael
13
1993
Commutative rings whose ideals form an MV-algebra. Zbl 1180.06008
Belluce, Lawrence P.; Di Nola, Antonio
13
2009
On some questions about selective separability. Zbl 1207.54035
Babinkostova, Liljana
13
2009
Some results in BL-algebras. Zbl 1188.03047
Borumand Saeid, Arsham; Motamed, Somayeh
13
2009
Compact metric spaces and weak forms of the axiom of choice. Zbl 0968.03057
Keremedis, Kyriakos; Tachtsis, Eleftherios
13
2001
Well-defined fuzzy sentential logic. Zbl 0829.03011
Turunen, Esko
13
1995
The wave equation with computable initial data whose unique solution is nowhere computable. Zbl 0883.03045
Pour-El, Marian B.; Zhong, Ning
13
1997
Yosida type representation for perfect MV-algebras. Zbl 0864.06004
Belluce, Lawrence P.; Di Nola, Antonio
13
1996
On theories having three countable models. Zbl 0897.03035
Ikeda, Koichiro; Pillay, Anand; Tsuboi, Akito
13
1998
Fragments of Martin’s Maximum in generic extensions. Zbl 1047.03039
König, Bernhard; Yoshinobu, Yasuo
13
2004
Computable operators on regular sets. Zbl 1058.03071
Ziegler, Martin
13
2004
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
The strength of sharply bounded induction. Zbl 1109.03067
Jeřábek, Emil
13
2006
Computing the complexity of the relation of isometry between separable Banach spaces. Zbl 1115.03064
Melleray, Julien
13
2007
Non-constructive properties of the real numbers. Zbl 0986.03037
Howard, Paul; Keremedis, Kyriakos; Rubin, Jean E.; Stanley, Adrienne; Tatchtsis, Eleftherios
12
2001
Mutual definability does not imply definitional equivalence, a simple example. Zbl 1079.03020
Andréka, Hajnal; Madarász, Judit X.; Németi, István
12
2005
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
Spaces allowing type-2 complexity theory revisited. Zbl 1058.03069
Schröder, Matthias
12
2004
Some recent developments on Shannon’s general purpose analog computer. Zbl 1089.68039
Graça, Daniel Silva
12
2004
A notion of selective ultrafilter corresponding to topological Ramsey spaces. Zbl 1126.03044
Mijares, José G.
12
2007
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
Highness and bounding minimal pairs. Zbl 0809.03029
Downey, Rodney G.; Lempp, Steffen; Shore, Richard A.
11
1993
Increasing \(\eta\)-representable degrees. Zbl 1184.03042
Frolov, Andrey N.; Zubkov, Maxim V.
11
2009
Polynomial time uniform word problems. Zbl 0820.08003
Burris, Stanley
11
1995
The isolated d.r.e. degrees are dense in the r.e. degrees. Zbl 0854.03043
LaForte, Geoffrey
11
1996
Is the Mandelbrot set computable? Zbl 1065.03045
Hertling, Peter
11
2005
Hierarchies in \(\varphi\)-spaces and applications. Zbl 1058.03048
Selivanov, Victor L.
11
2005
On the complexity of finding paths in a two-dimensional domain. I: Shortest paths. Zbl 1061.03039
Chou, Arthur W.; Ko, Ker-I
11
2004
A real number structure that is effectively categorical. Zbl 0946.03050
Hertling, Peter
11
1999
Quasi-Stone algebras. Zbl 0812.06006
Sankappanavar, Nalinaxi H.; Sankappanavar, Hanamantagouda P.
10
1993
Cyclic elements in MV-algebras and Post algebras. Zbl 0815.06009
Torrens, Antoni
10
1994
Computable symbolic dynamics. Zbl 1170.03029
Cenzer, Douglas; Dashti, S. Ali; King, Jonathan L. F.
10
2008
On strong forms of reflection in set theory. Zbl 1357.03084
Friedman, Sy-David; Honzik, Radek
10
2016
Notes on local o-minimality. Zbl 1222.03045
Toffalori, Carlo; Vozoris, Kathryn
10
2009
The Hahn-Banach property and the axiom of choice. Zbl 0931.03060
Dodu, Juliette; Morillon, Marianne
10
1999
On the complexity of categoricity in computable structures. Zbl 1035.03017
White, Walker M.
10
2003
Degree spectra and immunity properties. Zbl 1184.03025
Csima, Barbara F.; Kalimullin, Iskander S.
10
2010
Truth-table Schnorr randomness and truth-table reducible randomness. Zbl 1220.03043
Miyabe, Kenshi
10
2011
Weak saturation of ideals on \(P_{\kappa }(\lambda )\). Zbl 1237.03030
Matet, Pierre
10
2011
Craig interpolation for semilinear substructural logics. Zbl 1273.03075
Marchioni, Enrico; Metcalfe, George
10
2012
Semi-proper forcing, remarkable cardinals, and bounded Martin’s Maximum. Zbl 1058.03052
Schindler, Ralf
10
2004
Bounded BCK-algebras and their generated variety. Zbl 1123.06010
Gispert, Joan; Torrens, Antoni
10
2007
Conjectures of Rado and Chang and special Aronszajn trees. Zbl 1270.03106
Todorčević, Stevo; Torres Pérez, Víctor
10
2012
An extension principle for fuzzy logics. Zbl 0811.03019
Gerla, Giangiacomo
9
1994
Representation theorems for quantales. Zbl 0816.06018
Valentini, Silvio
9
1994
Lebesgue convergence theorems and reverse mathematics. Zbl 0804.03047
Yu, Xiaokang
9
1994
A note on Boolos’ proof of the incompleteness theorem. Zbl 0805.03052
Kikuchi, Makoto
9
1994
Connectivity properties of dimension level sets. Zbl 1155.03044
Lutz, Jack H.; Weihrauch, Klaus
9
2008
Singular coverings and non-uniform notions of closed set computability. Zbl 1153.03043
Le Roux, Stéphane; Ziegler, Martin
9
2008
On \((\in,\in \vee q)\)-fuzzy filters of \(R_0\)-algebras. Zbl 1183.03063
Ma, Xueling; Zhan, Jianming; Jun, Young B.
9
2009
On finite model property for admissible rules. Zbl 0938.03033
Rybakov, Vladimir V.; Kiyatkin, Vladimir R.; Oner, Tahsin
9
1999
There is no low maximal d. c. e. degree. Zbl 0967.03037
Arslanov, Marat; Cooper, S. Barry; Li, Angsheng
9
2000
Remarks on uniformly finitely precomplete positive equivalences. Zbl 0852.03021
Shavrukov, V. Yu.
9
1996
Computation models for parameterized complexity. Zbl 0870.68063
Cesati, Marco; Di Ianni, Miriam
9
1997
Constructive sheaf semantics. Zbl 0934.03051
Palmgren, Erik
9
1997
On interstices of countable arithmetically saturated models of Peano arithmetic. Zbl 0884.03042
Bamber, Nicholas; Kotlarski, Henryk
9
1997
Intrinsically hyperarithmetical sets. Zbl 0859.03016
Soskov, Ivan N.
9
1996
On deciding the non-emptiness of 2SAT polytopes with respect to first order queries. Zbl 1073.68081
Subramani, K.
9
2004
The choice property in tame expansions of o-minimal structures. Zbl 07245197
Eleftheriou, Pantelis E.; Günaydın, Ayhan; Hieronymi, Philipp
2
2020
Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces. Zbl 07245189
Khanaki, Karim
1
2020
The classification of countable models of set theory. Zbl 07245192
Clemens, John; Coskey, Samuel; Dworetzky, Samuel
1
2020
On \(p\)-adic semi-algebraic continuous selections. Zbl 07206426
Thamrongthanyalak, Athipat
1
2020
On cardinal characteristics of Yorioka ideals. Zbl 07197315
Cardona, Miguel A.; Mejía, Diego A.
6
2019
Complete \(\mathcal{L}_{\omega_1,\omega}\)-sentences with maximal models in multiple cardinalities. Zbl 07197334
Baldwin, John; Souldatos, Ioannis
3
2019
Algebraic numbers with elements of small height. Zbl 07197302
Göral, Haydar
2
2019
On the relative strengths of fragments of collection. Zbl 07197307
McKenzie, Zachiri
2
2019
Bi-embeddability spectra and bases of spectra. Zbl 07197320
Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
2
2019
Nonstandard characterisations of tensor products and monads in the theory of ultrafilters. Zbl 07197328
Luperi Baglini, Lorenzo
2
2019
Definable topological dynamics for trigonalizable algebraic groups over \(\mathbb{Q}_P\). Zbl 07197330
Yao, Ningyuan
2
2019
The small-is-very-small principle. Zbl 07197335
Visser, Albert
2
2019
Reductions on equivalence relations generated by universal sets. Zbl 07197301
Ding, Longyun; Yu, Ping
1
2019
Distal and non-distal behavior in pairs. Zbl 07197303
Nell, Travis
1
2019
Jump inversions of algebraic structures and \(\Sigma \)-definability. Zbl 07197304
Faizrahmanov, Marat; Kach, Asher; Kalimullin, Iskander; Montalbán, Antonio; Puzarenko, Vadim
1
2019
The first omitting cardinal for Magidority. Zbl 07197308
Garti, Shimon; Hayut, Yair
1
2019
Souslin trees at successors of regular cardinals. Zbl 07197316
Rinot, Assaf
1
2019
On unstable and unoptimal prediction. Zbl 07197319
Kalociński, Dariusz; Steifer, Tomasz
1
2019
Parametric Presburger arithmetic: complexity of counting and quantifier elimination. Zbl 07197321
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 07197326
Darnière, Luck
1
2019
Pseudo-C-Archimedean and pseudo-finite cyclically ordered groups. Zbl 07197333
Leloup, Gérard
1
2019
Generalised pseudointersections. Zbl 07197336
Schilhan, Jonathan
1
2019
Ultrafilter extensions do not preserve elementary equivalence. Zbl 07197339
Saveliev, Denis I.; Shelah, Saharon
1
2019
Finite satisfiability for two-variable, first-order logic with one transitive relation is decidable. Zbl 07198318
Pratt-Hartmann, Ian
4
2018
Scales with various kinds of good points. Zbl 07198324
Matet, Pierre
3
2018
Measurable cardinals and good \(\Sigma_1(\kappa)\)-wellorderings. Zbl 07198317
Lücke, Philipp; Schlicht, Philipp
2
2018
A note on sequences witnessing singularity, following Magidor and Sinapova. Zbl 07198319
Gitik, Moti
2
2018
Extending paraconsistent quantum logic: a single-antecedent/succedent system approach. Zbl 07198325
Kamide, Norihiro
2
2018
Remarks on the NIP in a model. Zbl 07198329
Khanaki, Karim; Pillay, Anand
2
2018
Subcomplete forcing principles and definable well-orders. Zbl 07198333
Fuchs, Gunter
2
2018
Clubs on quasi measurable cardinals. Zbl 07198300
Kumar, Ashutosh; Shelah, Saharon
1
2018
The tree property and the continuum function below \(\aleph_{\omega}\). Zbl 07198303
Honzik, Radek; Stejskalová, Šárka
1
2018
Bounded namba forcing axiom may fail. Zbl 07198310
Zapletal, Jindrich
1
2018
Categoricity and universal classes. Zbl 07198331
Hyttinen, Tapani; Kangas, Kaisa
1
2018
Some transfinite natural sums. Zbl 07198335
Lipparini, Paolo
1
2018
Local Ramsey theory: an abstract approach. Zbl 1469.03127
Di Prisco, Carlos; Mijares, José G.; Nieto, Jesús
4
2017
A presentation theorem for continuous logic and metric abstract elementary classes. Zbl 1469.03098
Boney, Will
4
2017
A Groszek-Laver pair of undistinguishable \(\mathsf{E}_0\)-classes. Zbl 1437.03146
Golshani, Mohammad; Kanovei, Vladimir; Lyubetsky, Vassily
3
2017
Aronszajn trees, square principles, and stationary reflection. Zbl 1469.03145
Lambie-Hanson, Chris
3
2017
Non-Archimedean stratifications of tangent cones. Zbl 1469.14111
García Ramírez, Erick
2
2017
Polish globalization of Polish group partial actions. Zbl 1473.54040
Pinedo, Hector; Uzcátegui, Carlos
2
2017
Homogeneous 1-based structures and interpretability in random structures. Zbl 1469.03089
Koponen, Vera
1
2017
A note on prime models in weakly o-minimal structures. Zbl 1469.03110
Tari, Somayyeh
1
2017
Forcing with adequate sets of models as side conditions. Zbl 1469.03144
Krueger, John
1
2017
On the reducibility of isomorphism relations. Zbl 1469.03134
Hyttinen, Tapani; Moreno, Miguel
1
2017
Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties. Zbl 1469.03031
Słomczyńska, Katarzyna
1
2017
Intermediate arithmetic operations on ordinal numbers. Zbl 1469.03128
Altman, Harry J.
1
2017
Generalizations of Cantor’s theorem in \(\mathsf{ZF}\). Zbl 1469.03129
Shen, Guozhen
1
2017
The HOD hypothesis and a supercompact cardinal. Zbl 1469.03150
Cheng, Yong
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 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.
26
2016
Uniqueness of limit models in classes with amalgamation. Zbl 1367.03067
Grossberg, Rami; VanDieren, Monica; Villaveces, Andrés
23
2016
On strong forms of reflection in set theory. Zbl 1357.03084
Friedman, Sy-David; Honzik, Radek
10
2016
Questions on generalised Baire spaces. Zbl 1366.03221
Khomskii, Yurii; Laguzzi, Giorgio; Löwe, Benedikt; Sharankou, Ilya
9
2016
Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043
Badaev, Serikzhan; Sorbi, Andrea
8
2016
On \(n\)-dependent groups and fields. Zbl 1366.03213
Hempel, Nadja
8
2016
Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures. Zbl 1360.03074
Pech, Christian; Pech, Maja
7
2016
Computable randomness and betting for computable probability spaces. Zbl 1364.03064
Rute, Jason
6
2016
A note on the substructural hierarchy. Zbl 1357.03057
Jeřábek, Emil
5
2016
Definable types in algebraically closed valued fields. Zbl 1371.03046
Cubides Kovacsics, Pablo; Delon, Françoise
4
2016
Embedding classical in minimal implicational logic. Zbl 1367.03020
Ishihara, Hajime; Schwichtenberg, Helmut
4
2016
Limit models in metric abstract elementary classes: the categorical case. Zbl 1367.03069
Villaveces, Andrés; Zambrano, Pedro
4
2016
Stable theories and representation over sets. Zbl 1412.03015
Shelah, Saharon; Cohen, Moran
4
2016
A note on the independence of premiss rule. Zbl 1357.03039
Ishihara, Hajime; Nemoto, Takako
3
2016
Non-discrete metrics in and some notions of finiteness. Zbl 1367.03087
Keremedis, Kyriakos
3
2016
The enumeration spectrum hierarchy of \(n\)-families. Zbl 1360.03078
Faizrahmanov, Marat; Kalimullin, Iskander
3
2016
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements. Zbl 1377.03036
Howard, Paul; Saveliev, Denis I.; Tachtsis, Eleftherios
3
2016
Automorphisms of \(\eta\)-like computable linear orderings and Kierstead’s conjecture. Zbl 1377.03034
Harris, Charles M.; Lee, Kyung Il; Cooper, S. Barry
3
2016
On Martin’s axiom and forms of choice. Zbl 1362.03047
Tachtsis, Eleftherios
2
2016
Separating principles below \(\mathsf{WKL}_0\). Zbl 1373.03017
Flood, Stephen; Towsner, Henry
2
2016
The conjugacy problem for automorphism groups of countable homogeneous structures. Zbl 1432.03087
Coskey, Samuel; Ellis, Paul
2
2016
Cluster expansion and the boxdot conjecture. Zbl 1432.03032
Jeřábek, Emil
2
2016
Dense codense predicates and the \(\mathrm{NTP}_{2}\). Zbl 1431.03047
Berenstein, Alexander; Kim, Hyeung-Joon
1
2016
Ultrahuge cardinals. Zbl 1376.03044
Tsaprounis, Konstantinos
1
2016
On the (non) superstable part of the free group. Zbl 1432.03064
Perin, Chloé; Sklinos, Rizos
1
2016
Filtrations of generalized Veltman models. Zbl 1359.03043
Perkov, Tin; Vuković, Mladen
1
2016
The Robinson property and amalgamations of higher arities. Zbl 1357.03070
Nyiri, David
1
2016
There are no very meager sets in the model in which both the Borel conjecture and the dual Borel conjecture are true. Zbl 1358.03076
Shelah, Saharon; Wohofsky, Wolfgang
1
2016
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics. Zbl 1388.03033
Kamide, Norihiro
1
2016
Conuclear images of substructural logics. Zbl 1405.03055
Frosoni, Giulia
1
2016
An infinite natural sum. Zbl 1403.03082
Lipparini, Paolo
1
2016
A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable. Zbl 1402.03092
Scowcroft, Philip
1
2016
Mathias and set theory. Zbl 1338.03002
Kanamori, Akihiro
1
2016
An alternative Gentzenisation of \(\mathsf{RW}_+^\circ\). Zbl 1429.03090
Ilić, Mirjana
1
2016
Forcing a countable structure to belong to the ground model. Zbl 1372.03059
Kaplan, Itay; Shelah, Saharon
1
2016
An automorphism group of an \(\omega\)-stable structure that is not locally (OB). Zbl 1371.03044
Zielinski, Joseph
1
2016
Paraconsistent double negation as a modal operator. Zbl 1375.03029
Kamide, Norihiro
1
2016
Abelian pro-countable groups and non-Borel orbit equivalence relations. Zbl 1373.22002
Malicki, Maciej
1
2016
Hyperhypersimple sets and \(\mathrm{Q}_{1}\)-reducibility. Zbl 1372.03092
Chitaia, Irakli
1
2016
Definable topological dynamics and real Lie groups. Zbl 1341.03049
Jagiella, Grzegorz
7
2015
On \(\Sigma_1^1\)-complete equivalence relations on the generalized Baire space. Zbl 1364.03068
Hyttinen, Tapani; Kulikov, Vadim
7
2015
Asymptotic density and the Ershov hierarchy. Zbl 1361.03037
Downey, Rod; Jockusch, Carl; McNicholl, Timothy H.; Schupp, Paul
7
2015
Generalized Silver and Miller measurability. Zbl 1367.03090
Laguzzi, Giorgio
6
2015
On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality. Zbl 1368.03069
Ahmed, Tarek Sayed
5
2015
On sequentially closed subsets of the real line in ZF. Zbl 1341.03013
Keremedis, Kyriakos
4
2015
A note on infinitary continuous logic. Zbl 1372.03089
Baratella, Stefano
3
2015
On weakly circularly minimal groups. Zbl 1360.03077
Kulpeshov, Beibut Sh.; Verbovskiy, Viktor V.
3
2015
On the quantifier complexity of definable canonical Henselian valuations. Zbl 1372.03075
Fehm, Arno; Jahnke, Franziska
3
2015
Maximal cofinitary groups revisited. Zbl 1372.03096
Fischer, Vera
3
2015
...and 818 more Documents
all top 5

Cited by 2,426 Authors

35 Apter, Arthur W.
34 Shelah, Saharon
33 Tachtsis, Eleftherios
31 Keremedis, Kyriakos
29 Brattka, Vasco
29 Bridges, Douglas Suth
27 Friedman, Sy-David
24 Selivanov, Viktor L’vovich
22 Pauly, Arno M.
21 Downey, Rodney Graham
20 Kanovei, Vladimir G.
20 Weiermann, Andreas
19 Sanders, Sam
18 Di Nola, Antonio
18 Ishihara, Hajime
17 Kulpeshov, Beibut Shaiykovich
17 Pambuccian, Victor V.
16 Hyttinen, Tapani
16 Rathjen, Michael
16 Sayed Ahmed, Tarek
16 Schuster, Peter Michael
15 Barmpalias, George
15 Hamkins, Joel David
15 Stephan, Frank
15 Vasey, Sebastien
15 Wu, Guohua
15 Zhong, Ning
15 Ziegler, Martin
14 Bazhenov, Nikolaĭ Alekseevich
14 Kihara, Takayuki
14 Matet, Pierre
14 Simpson, Stephen G.
14 Sorbi, Andrea
13 Celani, Sergio Arturo
13 Li, Qingguo
13 Shore, Richard Arnold
12 Bělohlávek, Radim
12 Eleftheriou, Pantelis E.
12 Esteva, Francesc
12 Jun, Young Bae
12 Knight, Julia F.
12 Miller, Joseph S.
12 Ng, KengMeng
12 Patey, Ludovic
12 Rothe, Jörg-Matthias
12 Torrens Torrell, Antoni
12 Weihrauch, Klaus
11 Andrews, Uri
11 Borzooei, Rajab Ali
11 Freytes, Hector
11 Hirschfeldt, Denis Roman
11 Howard, Paul E.
11 Jeřábek, Emil
11 McNicholl, Timothy H.
11 Slaman, Theodore A.
11 Visser, Albert
11 Wajch, Eliza
10 Arslanov, Marat M.
10 Belluce, Lawrence Peter
10 Bianchi, Matteo
10 Cenzer, Douglas
10 Graça, Daniel Silva
10 Kamide, Norihiro
10 Lempp, Steffen
10 Lyubetsky, Vassily Aleksandrovich
10 Montagna, Franco
10 Noguera, Carles
10 Oliva, Paulo
10 Raftery, James G.
10 Shafer, Paul
10 Zhao, Bin
9 Došen, Kosta
9 Franklin, Johanna N. Y.
9 Galatos, Nikolaos
9 Gherardi, Guido
9 Greenberg, Noam
9 Hájek, Petr
9 Jansana, Ramon
9 Medina, Jesús
9 Milliet, Cédric
9 Montalbán, Antonio
9 Petrić, Zoran
9 Schindler, Ralf-Dieter
8 Ardeshir, Mohammad
8 Boudabbous, Youssef
8 Castiglioni, José Luis
8 Cody, Brent M.
8 Cubides Kovacsics, Pablo
8 Fischer, Vera
8 Gerla, Giangiacomo
8 Gispert, Joan
8 Godo, Lluís
8 Harizanov, Valentina S.
8 Hendtlass, Matthew Ralph John
8 Jockusch, Carl G. jun.
8 Kalimullin, Iskander Shagitovich
8 Kohlenbach, Ulrich Wilhelm
8 Kołodziejczyk, Leszek Aleksander
8 Kudinov, Oleg Victorovich
8 Leenknegt, Eva
...and 2,326 more Authors
all top 5

Cited in 294 Journals

288 Annals of Pure and Applied Logic
254 The Journal of Symbolic Logic
196 Archive for Mathematical Logic
180 Mathematical Logic Quarterly (MLQ)
104 Fuzzy Sets and Systems
102 Theoretical Computer Science
87 Studia Logica
70 Notre Dame Journal of Formal Logic
70 The Bulletin of Symbolic Logic
53 Topology and its Applications
52 Soft Computing
46 Proceedings of the American Mathematical Society
42 Transactions of the American Mathematical Society
41 Journal of Mathematical Logic
40 Algebra Universalis
34 Israel Journal of Mathematics
31 MSCS. Mathematical Structures in Computer Science
30 Information Sciences
25 Fundamenta Mathematicae
24 Algebra and Logic
24 Journal of Philosophical Logic
24 Information and Computation
24 The Review of Symbolic Logic
23 Theory of Computing Systems
22 Journal of Algebra
21 Advances in Mathematics
21 Order
21 Logical Methods in Computer Science
20 Journal of Complexity
20 Journal of Applied Non-Classical Logics
19 Journal of Intelligent and Fuzzy Systems
18 Journal of Computer and System Sciences
17 Computability
16 International Journal of Approximate Reasoning
14 Artificial Intelligence
14 Information Processing Letters
13 Communications in Algebra
13 Synthese
13 Indagationes Mathematicae. New Series
11 Annals of Mathematics and Artificial Intelligence
11 Logica Universalis
11 Journal of Logic and Analysis
10 International Journal of General Systems
10 Applied Categorical Structures
10 Afrika Matematika
9 Journal of Pure and Applied Algebra
9 Siberian Mathematical Journal
9 Lobachevskii Journal of Mathematics
8 Discrete Mathematics
8 Mathematical Social Sciences
8 Social Choice and Welfare
8 Journal of Applied Logic
7 Computers & Mathematics with Applications
7 Journal of Mathematical Analysis and Applications
7 Bulletin of the Section of Logic
7 International Journal of Algebra and Computation
7 Journal of Mathematical Sciences (New York)
7 Selecta Mathematica. New Series
7 Journal of Multiple-Valued Logic and Soft Computing
6 International Journal of Theoretical Physics
6 Memoirs of the American Mathematical Society
6 Monatshefte für Mathematik
6 Quaestiones Mathematicae
6 Semigroup Forum
6 Computational Geometry
6 Bulletin of the Polish Academy of Sciences, Mathematics
6 Russian Mathematics
6 Journal of Logic, Language and Information
6 Journal of Applied Mathematics
6 Comptes Rendus. Mathématique. Académie des Sciences, Paris
6 Iranian Journal of Fuzzy Systems
6 Open Mathematics
6 Korean Journal of Mathematics
5 Discrete Applied Mathematics
5 Mathematical Notes
5 Applied Mathematics and Computation
5 Journal of Geometry
5 Mathematica Slovaca
5 International Journal of Foundations of Computer Science
5 Filomat
5 Erkenntnis
4 Commentationes Mathematicae Universitatis Carolinae
4 International Journal of Mathematics and Mathematical Sciences
4 Inventiones Mathematicae
4 Discrete & Computational Geometry
4 Journal of Automated Reasoning
4 European Journal of Operational Research
4 Abstract and Applied Analysis
4 The Journal of Logic and Algebraic Programming
4 Central European Journal of Mathematics
4 Journal of the Institute of Mathematics of Jussieu
4 ACM Transactions on Computational Logic
4 Sibirskie Èlektronnye Matematicheskie Izvestiya
4 Asian-European Journal of Mathematics
3 Mathematical Proceedings of the Cambridge Philosophical Society
3 Moscow University Mathematics Bulletin
3 Demonstratio Mathematica
3 Journal of Combinatorial Theory. Series A
3 Journal of Functional Analysis
3 Results in Mathematics
...and 194 more Journals
all top 5

Cited in 53 Fields

2,447 Mathematical logic and foundations (03-XX)
556 Computer science (68-XX)
466 Order, lattices, ordered algebraic structures (06-XX)
235 General topology (54-XX)
115 Group theory and generalizations (20-XX)
114 Combinatorics (05-XX)
101 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
84 Category theory; homological algebra (18-XX)
81 General algebraic systems (08-XX)
55 Measure and integration (28-XX)
54 Field theory and polynomials (12-XX)
52 Functional analysis (46-XX)
43 Real functions (26-XX)
32 Geometry (51-XX)
31 Dynamical systems and ergodic theory (37-XX)
30 Associative rings and algebras (16-XX)
29 Number theory (11-XX)
29 Commutative algebra (13-XX)
28 General and overarching topics; collections (00-XX)
26 Topological groups, Lie groups (22-XX)
23 Operator theory (47-XX)
23 Probability theory and stochastic processes (60-XX)
23 Quantum theory (81-XX)
21 History and biography (01-XX)
21 Operations research, mathematical programming (90-XX)
18 Numerical analysis (65-XX)
17 Algebraic geometry (14-XX)
15 Convex and discrete geometry (52-XX)
10 Algebraic topology (55-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
9 Ordinary differential equations (34-XX)
9 Partial differential equations (35-XX)
7 Functions of a complex variable (30-XX)
7 Manifolds and cell complexes (57-XX)
7 Systems theory; control (93-XX)
7 Information and communication theory, circuits (94-XX)
6 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 Global analysis, analysis on manifolds (58-XX)
3 Abstract harmonic analysis (43-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Several complex variables and analytic spaces (32-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
2 Relativity and gravitational theory (83-XX)
2 Biology and other natural sciences (92-XX)
1 Special functions (33-XX)
1 Sequences, series, summability (40-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