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

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

#### Cited in 53 Fields

 2,239 Mathematical logic and foundations (03-XX) 500 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)