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

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