×

zbMATH — the first resource for mathematics

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
15 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 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 Degen, Wolfgang
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,041 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

879 Publications have been cited 3,552 times in 2,762 Documents Cited by Year
Fuzzy Galois connections. Zbl 0938.03079
Bělohlávek, Radim
70
1999
Effective Borel measurability and reducibility of functions. Zbl 1059.03074
Brattka, Vasco
41
2005
Soft ordered semigroups. Zbl 1191.06009
Jun, Young Bae; Lee, Kyoung Ja; Khan, Asghar
38
2010
A cohesive set which is not high. Zbl 0799.03048
Jockusch, Carl; Stephan, Frank
34
1993
Glivenko like theorems in natural expansions of BCK-logic. Zbl 1045.03026
Cignoli, Roberto; Torrens Torrell, Antoni
28
2004
Fuzzy Galois connections on fuzzy posets. Zbl 1172.06001
Yao, Wei; Lu, Ling-Xia
27
2009
Lattices of fixed points of fuzzy Galois connections. Zbl 0976.03025
Bělohlávek, Radim
26
2001
A uniform approach to fundamental sequences and hierarchies. Zbl 0812.03023
Buchholz, Wilfried; Cichon, Adam; Weiermann, Andreas
26
1994
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
Characterizing Belnap’s logic via De Morgan’s laws. Zbl 0837.03019
Pynko, Alexej P.
22
1995
On the (semi)lattices induced by continuous reducibilities. Zbl 1200.03028
Pauly, Arno
22
2010
Two NP-hard art-gallery problems for ortho-polygons. Zbl 0827.68115
Schuchardt, Dietmar; Hecker, Hans-Dietrich
21
1995
A splitting theorem for the Medvedev and Muchnik lattices. Zbl 1022.03021
Binns, Stephen
21
2003
What is the theory ZFC without power set? Zbl 1375.03059
Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A.
20
2016
Effective fractal dimensions. Zbl 1058.03044
Lutz, Jack H.
19
2005
Hybrid elections broaden complexity-theoretic resistance to control. Zbl 1177.91066
Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg
19
2009
Bounded distributive lattices with strict implication. Zbl 1067.03065
Celani, Sergio; Jansana, Ramon
18
2005
\(n\)-fold filters in BL-algebras. Zbl 1145.03038
Haveshki, Masoud; Eslami, Esfandiar
18
2008
Hierarchies of \(\Delta^0_2\)-measurable \(k\)-partitions. Zbl 1124.03021
Selivanov, Victor L.
18
2007
Basic propositional calculus. I. Zbl 0912.03005
Ardeshir, Mohammad; Ruitenburg, Wim
17
1998
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
17
2009
Computable real-valued functions on recursive open and closed subsets of Euclidean space. Zbl 0856.03045
Zhou, Qing
16
1996
A general approach to fuzzy concepts. Zbl 1059.03015
Popescu, Andrei
16
2004
The universal covering homomorphism in o-minimal expansions of groups. Zbl 1130.03027
Edmundo, Mário J.; Eleftheriou, Pantelis E.
16
2007
The arithmetical hierarchy of real numbers. Zbl 0968.03075
Zheng, Xizhong; Weihrauch, Klaus
15
2001
On Schnorr and computable randomness, martingales, and machines. Zbl 1062.68064
Downey, Rod; Griffiths, Evan; Laforte, Geoffrey
15
2004
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Zbl 1145.03039
Noguera, Carles; Esteva, Francesc; Gispert, Joan
15
2008
Free nilpotent minimum algebras. Zbl 1101.03043
Busaniche, Manuela
15
2006
On witnessed models in fuzzy logic. Zbl 1110.03013
Hájek, Petr
15
2007
The computational complexity of choice sets. Zbl 1173.91358
Brandt, Felix; Fischer, Felix; Harrenstein, Paul
15
2009
Computational complexity on computable metric spaces. Zbl 1018.03049
Weihrauch, Klaus
14
2003
Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059
Berger, Josef; Ishihara, Hajime
14
2005
Cell decomposition for P-minimal fields. Zbl 1181.03041
Mourgues, Marie-Hélène
14
2009
On \(n\)-contractive fuzzy logics. Zbl 1125.03017
Horčík, Rostislav; Noguera, Carles; Petrík, Milan
14
2007
Admissible representations for probability measures. Zbl 1124.03019
Schröder, Matthias
14
2007
Construction of an explicit basis for rules admissible in modal system S4. Zbl 0992.03027
Rybakov, Vladimir V.
13
2001
Yosida type representation for perfect MV-algebras. Zbl 0864.06004
Belluce, Lawrence P.; Di Nola, Antonio
13
1996
On some questions about selective separability. Zbl 1207.54035
Babinkostova, Liljana
13
2009
The strength of sharply bounded induction. Zbl 1109.03067
Jeřábek, Emil
13
2006
Some results in BL-algebras. Zbl 1188.03047
Borumand Saeid, Arsham; Motamed, Somayeh
13
2009
Well-defined fuzzy sentential logic. Zbl 0829.03011
Turunen, Esko
12
1995
The prime spectrum of an MV-algebra. Zbl 0815.06010
Belluce, L. P.; Di Nola, Antonio; Sessa, Salvatore
12
1994
How to develop proof-theoretic ordinal functions on the basis of admissible ordinals. Zbl 0803.03036
Rathjen, Michael
12
1993
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
Uniform versions of some axioms of second order arithmetic. Zbl 1063.03045
Sakamoto, Nobuyuki; Yamazaki, Takeshi
12
2004
Tall cardinals. Zbl 1165.03044
Hamkins, Joel D.
12
2009
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
Computing the complexity of the relation of isometry between separable Banach spaces. Zbl 1115.03064
Melleray, Julien
12
2007
A notion of selective ultrafilter corresponding to topological Ramsey spaces. Zbl 1126.03044
Mijares, José G.
12
2007
Compact metric spaces and weak forms of the axiom of choice. Zbl 0968.03057
Keremedis, Kyriakos; Tachtsis, Eleftherios
11
2001
Non-constructive properties of the real numbers. Zbl 0986.03037
Howard, Paul; Keremedis, Kyriakos; Rubin, Jean E.; Stanley, Adrienne; Tatchtsis, Eleftherios
11
2001
Highness and bounding minimal pairs. Zbl 0809.03029
Downey, Rodney G.; Lempp, Steffen; Shore, Richard A.
11
1993
The wave equation with computable initial data whose unique solution is nowhere computable. Zbl 0883.03045
Pour-El, Marian B.; Zhong, Ning
11
1997
Kripke-style semantics for many-valued logics. Zbl 1035.03010
Montagna, Franco; Sacchetti, Lorenzo
11
2003
Fragments of Martin’s Maximum in generic extensions. Zbl 1047.03039
König, Bernhard; Yoshinobu, Yasuo
11
2004
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
Computable operators on regular sets. Zbl 1058.03071
Ziegler, Martin
11
2004
Spaces allowing type-2 complexity theory revisited. Zbl 1058.03069
Schröder, Matthias
11
2004
On theories having three countable models. Zbl 0897.03035
Ikeda, Koichiro; Pillay, Anand; Tsuboi, Akito
11
1998
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
11
2009
A topology induced by uniformity on BL-algebras. Zbl 1115.03091
Haveshki, Masoud; Eslami, Esfandiar; Borumand Saeid, Arsham
11
2007
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
10
1995
A real number structure that is effectively categorical. Zbl 0946.03050
Hertling, Peter
10
1999
Cyclic elements in MV-algebras and Post algebras. Zbl 0815.06009
Torrens, Antoni
10
1994
Computability on regular subsets of Euclidean space. Zbl 1020.03062
Ziegler, Martin
10
2002
The isolated d.r.e. degrees are dense in the r.e. degrees. Zbl 0854.03043
LaForte, Geoffrey
10
1996
On the complexity of categoricity in computable structures. Zbl 1035.03017
White, Walker M.
10
2003
Semi-proper forcing, remarkable cardinals, and bounded Martin’s Maximum. Zbl 1058.03052
Schindler, Ralf
10
2004
Some recent developments on Shannon’s general purpose analog computer. Zbl 1089.68039
Graça, Daniel Silva
10
2004
Computable symbolic dynamics. Zbl 1170.03029
Cenzer, Douglas; Dashti, S. Ali; King, Jonathan L. F.
10
2008
Commutative rings whose ideals form an MV-algebra. Zbl 1180.06008
Belluce, Lawrence P.; Di Nola, Antonio
10
2009
Conjectures of Rado and Chang and special Aronszajn trees. Zbl 1270.03106
Todorčević, Stevo; Torres Pérez, Víctor
10
2012
Bounded BCK-algebras and their generated variety. Zbl 1123.06010
Gispert, Joan; Torrens, Antoni
10
2007
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
Some special pairs of \(\Sigma_2\) e-degrees. Zbl 0926.03045
Ahmad, Seema; Lachlan, Alistair H.
9
1998
An extension principle for fuzzy logics. Zbl 0811.03019
Gerla, Giangiacomo
9
1994
A note on Boolos’ proof of the incompleteness theorem. Zbl 0805.03052
Kikuchi, Makoto
9
1994
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
On strong forms of reflection in set theory. Zbl 1357.03084
Friedman, Sy-David; Honzik, Radek
9
2016
Update procedures and the 1-consistency of arithmetic. Zbl 0988.03087
Avigad, Jeremy
9
2002
Intrinsically hyperarithmetical sets. Zbl 0859.03016
Soskov, Ivan N.
9
1996
On \((\in,\in \vee q)\)-fuzzy filters of \(R_0\)-algebras. Zbl 1183.03063
Ma, Xueling; Zhan, Jianming; Jun, Young B.
9
2009
Addition and multiplication of sets. Zbl 1110.03034
Kirby, Laurence
9
2007
A characterization of retracts in certain Fraïssé limits. Zbl 1247.03046
Dolinka, Igor
9
2012
On the free implicative semilattice extension of a Hilbert algebra. Zbl 1247.03136
Celani, Sergio A.; Jansana, Ramon
9
2012
Computable metrization. Zbl 1121.03084
Grubba, Tanja; Schröder, Matthias; Weihrauch, Klaus
9
2007
Truth-table Schnorr randomness and truth-table reducible randomness. Zbl 1220.03043
Miyabe, Kenshi
9
2011
Craig interpolation for semilinear substructural logics. Zbl 1273.03075
Marchioni, Enrico; Metcalfe, George
9
2012
Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata. Zbl 0992.03064
Apter, Arthur W.; Hamkins, Joel David
8
2001
Can you add power-sets to Martin-Löf’s intuitionistic set theory? Zbl 0935.03071
Maietti, Maria Emilia; Valentini, Silvio
8
1999
Approximate reasoning based on similarity. Zbl 0957.68112
Biacino, Loredana; Gerla, Giangiacomo; Ying, Mingsheng
8
2000
The Hahn-Banach property and the axiom of choice. Zbl 0931.03060
Dodu, Juliette; Morillon, Marianne
8
1999
Representation theorems for quantales. Zbl 0816.06018
Valentini, Silvio
8
1994
Hilbert’s \(\varepsilon\)-operator in intuitionistic type theories. Zbl 0802.03005
Bell, John L.
8
1993
The choice property in tame expansions of o-minimal structures. Zbl 07245197
Eleftheriou, Pantelis E.; Günaydın, Ayhan; Hieronymi, Philipp
2
2020
On cardinal characteristics of Yorioka ideals. Zbl 07197315
Cardona, Miguel A.; Mejía, Diego A.
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
Bi-embeddability spectra and bases of spectra. Zbl 07197320
Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
1
2019
Model completion of scaled lattices and co-Heyting algebras of \(p\)-adic semi-algebraic sets. Zbl 07197326
Darnière, Luck
1
2019
Nonstandard characterisations of tensor products and monads in the theory of ultrafilters. Zbl 07197328
Luperi Baglini, Lorenzo
1
2019
Definable topological dynamics for trigonalizable algebraic groups over \(\mathbb{Q}_P\). Zbl 07197330
Yao, Ningyuan
1
2019
Complete \(\mathcal{L}_{\omega_1,\omega}\)-sentences with maximal models in multiple cardinalities. Zbl 07197334
Baldwin, John; Souldatos, Ioannis
1
2019
Ultrafilter extensions do not preserve elementary equivalence. Zbl 07197339
Saveliev, Denis I.; Shelah, Saharon
1
2019
A note on sequences witnessing singularity, following Magidor and Sinapova. Zbl 07198319
Gitik, Moti
2
2018
Remarks on the NIP in a model. Zbl 07198329
Khanaki, Karim; Pillay, Anand
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
Scales with various kinds of good points. Zbl 07198324
Matet, Pierre
1
2018
Categoricity and universal classes. Zbl 07198331
Hyttinen, Tapani; Kangas, Kaisa
1
2018
Subcomplete forcing principles and definable well-orders. Zbl 07198333
Fuchs, Gunter
1
2018
A presentation theorem for continuous logic and metric abstract elementary classes. Zbl 07194890
Boney, Will
4
2017
Local Ramsey theory: an abstract approach. Zbl 07194889
Di Prisco, Carlos; Mijares, José G.; Nieto, Jesús
3
2017
Aronszajn trees, square principles, and stationary reflection. Zbl 07194880
Lambie-Hanson, Chris
2
2017
Homogeneous 1-based structures and interpretability in random structures. Zbl 07194859
Koponen, Vera
1
2017
A Groszek-Laver pair of undistinguishable \(\mathsf{E}_0\)-classes. Zbl 1437.03146
Golshani, Mohammad; Kanovei, Vladimir; Lyubetsky, Vassily
1
2017
A note on prime models in weakly o-minimal structures. Zbl 07194868
Tari, Somayyeh
1
2017
Non-Archimedean stratifications of tangent cones. Zbl 07194883
García Ramírez, Erick
1
2017
Generalizations of Cantor’s theorem in \(\mathsf{ZF}\). Zbl 07194892
Shen, Guozhen
1
2017
The HOD hypothesis and a supercompact cardinal. Zbl 07194895
Cheng, Yong
1
2017
Polish globalization of Polish group partial actions. Zbl 07194896
Pinedo, Hector; Uzcátegui, Carlos
1
2017
A recursion theoretic characterization of the topological Vaught conjecture in the Zermelo-Fraenkel set theory. Zbl 07194901
Gregoriades, Vassilios
1
2017
Uniqueness of limit models in classes with amalgamation. Zbl 1367.03067
Grossberg, Rami; VanDieren, Monica; Villaveces, Andrés
23
2016
What is the theory ZFC without power set? Zbl 1375.03059
Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A.
20
2016
On strong forms of reflection in set theory. Zbl 1357.03084
Friedman, Sy-David; Honzik, Radek
9
2016
On \(n\)-dependent groups and fields. Zbl 1366.03213
Hempel, Nadja
8
2016
Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043
Badaev, Serikzhan; Sorbi, Andrea
7
2016
Questions on generalised Baire spaces. Zbl 1366.03221
Khomskii, Yurii; Laguzzi, Giorgio; Löwe, Benedikt; Sharankou, Ilya
6
2016
Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures. Zbl 1360.03074
Pech, Christian; Pech, Maja
5
2016
Limit models in metric abstract elementary classes: the categorical case. Zbl 1367.03069
Villaveces, Andrés; Zambrano, Pedro
4
2016
Computable randomness and betting for computable probability spaces. Zbl 1364.03064
Rute, Jason
4
2016
Definable types in algebraically closed valued fields. Zbl 1371.03046
Cubides Kovacsics, Pablo; Delon, Françoise
4
2016
A note on the substructural hierarchy. Zbl 1357.03057
Jeřábek, Emil
3
2016
Stable theories and representation over sets. Zbl 1412.03015
Shelah, Saharon; Cohen, Moran
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
Non-discrete metrics in and some notions of finiteness. Zbl 1367.03087
Keremedis, Kyriakos
2
2016
The enumeration spectrum hierarchy of \(n\)-families. Zbl 1360.03078
Faizrahmanov, Marat; Kalimullin, Iskander
2
2016
A note on the independence of premiss rule. Zbl 1357.03039
Ishihara, Hajime; Nemoto, Takako
2
2016
Embedding classical in minimal implicational logic. Zbl 1367.03020
Ishihara, Hajime; Schwichtenberg, Helmut
2
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
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
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
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
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics. Zbl 1388.03033
Kamide, Norihiro
1
2016
On Martin’s axiom and forms of choice. Zbl 1362.03047
Tachtsis, Eleftherios
1
2016
An infinite natural sum. Zbl 1403.03082
Lipparini, Paolo
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
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
Cluster expansion and the boxdot conjecture. Zbl 1432.03032
Jeřábek, Emil
1
2016
Definable topological dynamics and real Lie groups. Zbl 1341.03049
Jagiella, Grzegorz
6
2015
Generalized Silver and Miller measurability. Zbl 1367.03090
Laguzzi, Giorgio
6
2015
Asymptotic density and the Ershov hierarchy. Zbl 1361.03037
Downey, Rod; Jockusch, Carl; McNicholl, Timothy H.; Schupp, Paul
6
2015
On \(\Sigma_1^1\)-complete equivalence relations on the generalized Baire space. Zbl 1364.03068
Hyttinen, Tapani; Kulikov, Vadim
5
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
4
2015
On sequentially closed subsets of the real line in ZF. Zbl 1341.03013
Keremedis, Kyriakos
3
2015
A note on infinitary continuous logic. Zbl 1372.03089
Baratella, Stefano
3
2015
On the quantifier complexity of definable canonical Henselian valuations. Zbl 1372.03075
Fehm, Arno; Jahnke, Franziska
3
2015
On weakly circularly minimal groups. Zbl 1360.03077
Kulpeshov, Beibut Sh.; Verbovskiy, Viktor V.
2
2015
Lipschitz extensions of definable \(p\)-adic functions. Zbl 1337.03050
Kuijpers, Tristan
2
2015
On extensions of supercompactness. Zbl 1432.03103
Lubarsky, Robert S.; Perlmutter, Norman Lewis
2
2015
The two-variable fragment with counting and equivalence. Zbl 1357.03040
Pratt-Hartmann, Ian
2
2015
Ramsey for \(\mathcal{R}_1\) ultrafilter mappings and their Dedekind cuts. Zbl 1373.03078
Trujillo, Timothy
2
2015
Maximal cofinitary groups revisited. Zbl 1372.03096
Fischer, Vera
2
2015
The \(\mathbb{R}\)eal truth. Zbl 1372.03046
Baratella, Stefano; Zambella, Domenico
1
2015
Classical provability of uniform versions and intuitionistic provability. Zbl 1367.03108
Fujiwara, Makoto; Kohlenbach, Ulrich
1
2015
A construction of real closed fields. Zbl 1372.03082
Tanaka, Yu-ichi; Tsuboi, Akito
1
2015
\(\Sigma\)-algebraically compact modules and \(\mathcal{L}_{\omega_1\omega}\)-compact cardinals. Zbl 1357.03073
Šaroch, Jan
1
2015
Independence logic and abstract independence relations. Zbl 1360.03075
Paolini, Gianluca
1
2015
Schatunowsky’s theorem, Bonse’s inequality, and Chebyshev’s theorem in weak fragments of Peano arithmetic. Zbl 1333.03240
Pambuccian, Victor
1
2015
Models of PA: when two elements are necessarily order automorphic. Zbl 1367.03072
Shelah, Saharon
1
2015
Nielsen-Schreier and the axiom of choice. Zbl 1358.03069
Kleppmann, Philipp
1
2015
A note on equivalence relations \(\ell_p(\ell_q)\). Zbl 1357.03081
Gao, Su; Yin, Zhi
1
2015
Forcing a set model of \(\mathsf{Z}_3\) + Harrington’s principle. Zbl 1371.03062
Cheng, Yong
1
2015
Continued fractions of primitive recursive real numbers. Zbl 1357.03076
Georgiev, Ivan
1
2015
An \(\omega\)-categorical structure with amenable automorphism group. Zbl 1357.03071
Ivanov, Aleksander
1
2015
A definable Henselian valuation with high quantifier complexity. Zbl 1372.03076
Halupczok, Immanuel; Jahnke, Franziska
1
2015
Peano Corto and Peano Basso: a study of local induction in the context of weak theories. Zbl 1326.03071
Visser, Albert
6
2014
On Vapnik-Chervonenkis density over indiscernible sequences. Zbl 1334.03034
Guingona, Vincent; Hill, Cameron Donnay
5
2014
Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models. Zbl 1328.03035
Villaveces, Andrés; Zambrano, Pedro
5
2014
Cofinalities of Borel ideals. Zbl 1326.03059
Hrušák, Michael; Rojas-Rebolledo, Diego; Zapletal, Jindřich
4
2014
Two-cardinal diamond star. Zbl 1341.03077
Matet, Pierre
4
2014
...and 779 more Documents
all top 5

Cited by 2,231 Authors

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

Cited in 270 Journals

269 Annals of Pure and Applied Logic
233 The Journal of Symbolic Logic
187 Archive for Mathematical Logic
180 Mathematical Logic Quarterly (MLQ)
104 Fuzzy Sets and Systems
99 Theoretical Computer Science
82 Studia Logica
65 The Bulletin of Symbolic Logic
63 Notre Dame Journal of Formal Logic
50 Topology and its Applications
45 Proceedings of the American Mathematical Society
45 Soft Computing
38 Transactions of the American Mathematical Society
36 Algebra Universalis
36 Journal of Mathematical Logic
33 Israel Journal of Mathematics
31 MSCS. Mathematical Structures in Computer Science
29 Information Sciences
23 Theory of Computing Systems
22 Journal of Algebra
22 Journal of Philosophical Logic
22 Information and Computation
22 The Review of Symbolic Logic
20 Advances in Mathematics
20 Algebra and Logic
20 Order
20 Journal of Complexity
20 Journal of Applied Non-Classical Logics
19 Journal of Intelligent and Fuzzy Systems
17 Journal of Computer and System Sciences
15 Fundamenta Mathematicae
14 Information Processing Letters
13 Communications in Algebra
13 Indagationes Mathematicae. New Series
13 Computability
12 Artificial Intelligence
12 International Journal of Approximate Reasoning
12 Logical Methods in Computer Science
11 Synthese
11 Logica Universalis
11 Journal of Logic and Analysis
10 International Journal of General Systems
10 Annals of Mathematics and Artificial Intelligence
10 Afrika Matematika
9 Journal of Pure and Applied Algebra
9 Applied Categorical Structures
8 Siberian Mathematical Journal
8 Mathematical Social Sciences
8 Social Choice and Welfare
8 Lobachevskii Journal of Mathematics
8 Journal of Applied Logic
7 Computers & Mathematics with Applications
7 Discrete Mathematics
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
6 Quaestiones Mathematicae
6 Semigroup Forum
6 Computational Geometry
6 Bulletin of the Polish Academy of Sciences, Mathematics
6 Journal of Applied Mathematics
6 Comptes Rendus. Mathématique. Académie des Sciences, Paris
6 Iranian Journal of Fuzzy Systems
5 Discrete Applied Mathematics
5 International Journal of Theoretical Physics
5 Applied Mathematics and Computation
5 Journal of Geometry
5 Memoirs of the American Mathematical Society
5 Monatshefte für Mathematik
5 International Journal of Foundations of Computer Science
5 Journal of Logic, Language and Information
5 Erkenntnis
5 Open Mathematics
4 Commentationes Mathematicae Universitatis Carolinae
4 International Journal of Mathematics and Mathematical Sciences
4 Mathematica Slovaca
4 Discrete & Computational Geometry
4 European Journal of Operational Research
4 Russian Mathematics
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 Notes
3 Mathematical Proceedings of the Cambridge Philosophical Society
3 Moscow University Mathematics Bulletin
3 Demonstratio Mathematica
3 Inventiones Mathematicae
3 Journal of Combinatorial Theory. Series A
3 Journal of Functional Analysis
3 Theory and Decision
3 European Journal of Combinatorics
3 Ergodic Theory and Dynamical Systems
3 History and Philosophy of Logic
3 Journal of Symbolic Computation
...and 170 more Journals
all top 5

Cited in 53 Fields

2,241 Mathematical logic and foundations (03-XX)
501 Computer science (68-XX)
422 Order, lattices, ordered algebraic structures (06-XX)
215 General topology (54-XX)
101 Combinatorics (05-XX)
98 Group theory and generalizations (20-XX)
93 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
75 Category theory; homological algebra (18-XX)
72 General algebraic systems (08-XX)
51 Measure and integration (28-XX)
48 Functional analysis (46-XX)
46 Field theory and polynomials (12-XX)
39 Real functions (26-XX)
31 Geometry (51-XX)
29 Commutative algebra (13-XX)
28 Associative rings and algebras (16-XX)
26 General and overarching topics; collections (00-XX)
26 Dynamical systems and ergodic theory (37-XX)
23 Topological groups, Lie groups (22-XX)
22 Number theory (11-XX)
22 Operator theory (47-XX)
22 Probability theory and stochastic processes (60-XX)
21 Quantum theory (81-XX)
18 History and biography (01-XX)
18 Operations research, mathematical programming (90-XX)
17 Numerical analysis (65-XX)
14 Algebraic geometry (14-XX)
14 Convex and discrete geometry (52-XX)
9 Algebraic topology (55-XX)
8 Linear and multilinear algebra; matrix theory (15-XX)
8 Partial differential equations (35-XX)
7 Functions of a complex variable (30-XX)
7 Manifolds and cell complexes (57-XX)
7 Statistics (62-XX)
7 Information and communication theory, circuits (94-XX)
6 Ordinary differential equations (34-XX)
6 Systems theory; control (93-XX)
4 Harmonic analysis on Euclidean spaces (42-XX)
3 Difference and functional equations (39-XX)
3 Approximations and expansions (41-XX)
3 Abstract harmonic analysis (43-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Global analysis, analysis on manifolds (58-XX)
2 Relativity and gravitational theory (83-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Special functions (33-XX)
1 Sequences, series, summability (40-XX)
1 Integral transforms, operational calculus (44-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Differential geometry (53-XX)
1 Mechanics of particles and systems (70-XX)
1 Biology and other natural sciences (92-XX)
1 Mathematics education (97-XX)

Citations by Year