Archive for Mathematical Logic Short Title: Arch. Math. Logic Publisher: Springer, Berlin/Heidelberg ISSN: 0933-5846; 1432-0665/e Online: https://link.springer.com/journal/153/volumes-and-issues Predecessor: Archiv für Mathematische Logik und Grundlagenforschung Comments: Journal; Indexed cover-to-cover Documents Indexed: 1,497 Publications (since 1988) References Indexed: 1,181 Publications with 19,161 References. all top 5 Latest Issues 63, No. 1-2 (2024) 62, No. 7-8 (2023) 62, No. 5-6 (2023) 62, No. 3-4 (2023) 62, No. 1-2 (2023) 61, No. 7-8 (2022) 61, No. 5-6 (2022) 61, No. 3-4 (2022) 61, No. 1-2 (2022) 60, No. 7-8 (2021) 60, No. 6 (2021) 60, No. 5 (2021) 60, No. 3-4 (2021) 60, No. 1-2 (2021) 59, No. 7-8 (2020) 59, No. 5-6 (2020) 59, No. 3-4 (2020) 59, No. 1-2 (2020) 58, No. 7-8 (2019) 58, No. 5-6 (2019) 58, No. 3-4 (2019) 58, No. 1-2 (2019) 57, No. 7-8 (2018) 57, No. 5-6 (2018) 57, No. 3-4 (2018) 57, No. 1-2 (2018) 56, No. 7-8 (2017) 56, No. 5-6 (2017) 56, No. 3-4 (2017) 56, No. 1-2 (2017) 55, No. 7-8 (2016) 55, No. 5-6 (2016) 55, No. 3-4 (2016) 55, No. 1-2 (2016) 54, No. 7-8 (2015) 54, No. 5-6 (2015) 54, No. 3-4 (2015) 54, No. 1-2 (2015) 53, No. 7-8 (2014) 53, No. 5-6 (2014) 53, No. 3-4 (2014) 53, No. 1-2 (2014) 52, No. 7-8 (2013) 52, No. 5-6 (2013) 52, No. 3-4 (2013) 52, No. 1-2 (2013) 51, No. 7-8 (2012) 51, No. 5-6 (2012) 51, No. 3-4 (2012) 51, No. 1-2 (2012) 50, No. 7-8 (2011) 50, No. 5-6 (2011) 50, No. 3-4 (2011) 50, No. 1-2 (2011) 49, No. 7-8 (2010) 49, No. 6 (2010) 49, No. 5 (2010) 49, No. 4 (2010) 49, No. 3 (2010) 49, No. 2 (2010) 49, No. 1 (2010) 48, No. 8 (2009) 48, No. 7 (2009) 48, No. 6 (2009) 48, No. 5 (2009) 48, No. 3-4 (2009) 48, No. 2 (2009) 48, No. 1 (2009) 47, No. 7-8 (2008) 47, No. 6 (2008) 47, No. 5 (2008) 47, No. 4 (2008) 47, No. 3 (2008) 47, No. 2 (2008) 47, No. 1 (2008) 46, No. 7-8 (2008) 46, No. 5-6 (2007) 46, No. 3-4 (2007) 46, No. 2 (2007) 46, No. 1 (2007) 45, No. 8 (2006) 45, No. 7 (2006) 45, No. 6 (2006) 45, No. 5 (2006) 45, No. 4 (2006) 45, No. 3 (2006) 45, No. 2 (2006) 45, No. 1 (2006) 44, No. 8 (2005) 44, No. 7 (2005) 44, No. 6 (2005) 44, No. 5 (2005) 44, No. 4 (2005) 44, No. 3 (2005) 44, No. 2 (2005) 44, No. 1 (2005) 43, No. 8 (2004) 43, No. 7 (2004) 43, No. 6 (2004) 43, No. 5 (2004) ...and 97 more Volumes all top 5 Authors 62 Shelah, Saharon 25 Apter, Arthur W. 16 Rathjen, Michael 14 Gitik, Moti 14 Sorbi, Andrea 13 Hirst, Jeffry Lynn 12 Arai, Toshiyasu 12 Montagna, Franco 11 Hyttinen, Tapani 10 Knight, Julia F. 10 Weiermann, Andreas 9 Enayat, Ali 9 Hamkins, Joel David 9 Hrušák, Michael 9 Laskowski, Michael Chris 9 Matet, Pierre 9 Negri, Sara 9 Pillay, Anand 9 Schindler, Ralf-Dieter 9 Shore, Richard Arnold 9 Visser, Albert 8 Cenzer, Douglas 8 Cintula, Petr 8 Fischer, Vera 8 Friedman, Sy-David 8 Kohlenbach, Ulrich Wilhelm 7 Baratella, Stefano 7 Brendle, Jörg 7 Cunningham, Daniel Wendell 7 Esteva, Francesc 7 Fuchs, Gunter 7 Koepke, Peter 7 Krajíček, Jan 7 Kurilić, Miloš S. 7 Mildenberger, Heike 7 Normann, Dag 7 Sakai, Hiroshi 7 Tanović, Predrag 7 Thomas, Simon R. 7 Wu, Guohua 6 Bagaria, Joan 6 Bridges, Douglas Suth 6 Di Nola, Antonio 6 Downey, Rodney Graham 6 Hájek, Petr 6 Ishihara, Hajime 6 Jeřábek, Emil 6 Judah, Haim I. 6 Neeman, Itay 6 Omanadze, Roland Sh. 6 Rosłanowski, Andrzej 6 Sargsyan, Grigor 6 Towsner, Henry 6 Tzouvaras, Athanassios 6 Vasey, Sebastien 6 Zdoms’kyĭ, Lyubomyr Sergiĭovych 5 Bělohlávek, Radim 5 Berenstein, Alexander 5 Bezhanishvili, Guram 5 Buchholz, Wilfried 5 Cummings, James 5 Georgescu, George 5 Halbeisen, Lorenz J. 5 Harizanov, Valentina S. 5 Jäger, Gerhard 5 Jenei, Sándor 5 Kellner, Jakob 5 Mints, Grigoriĭ Efroimovich 5 Moniri, Morteza 5 Niggl, Karl-Heinz 5 Palmgren, Erik 5 Repický, Miroslav 5 Schmerl, James H. 5 Solomon, Reed 5 Spinas, Otmar 5 Strahm, Thomas 5 Tachtsis, Eleftherios 5 Todorcevic, Stevo B. 5 Wagner, Frank Olaf 4 Abe, Yoshihiro 4 Ardeshir, Mohammad 4 Baaz, Matthias 4 Baldwin, John T. 4 Bazhenov, Nikolaĭ Alekseevich 4 Beckmann, Arnold 4 Berger, Josef 4 Buss, Samuel R. 4 Chitaia, Irakli O. 4 Cooper, Stuart Barry 4 Coquand, Thierry 4 Ding, Decheng 4 Dobrinen, Natasha L. 4 Dow, Alan S. 4 Eisworth, Todd 4 Fuchino, Sakaé 4 Gitman, Victoria 4 Godo, Lluís 4 Goldbring, Isaac 4 Golshani, Mohammad 4 Guingona, Vincent ...and 1,094 more Authors all top 5 Fields 1,477 Mathematical logic and foundations (03-XX) 124 Order, lattices, ordered algebraic structures (06-XX) 95 Computer science (68-XX) 72 General topology (54-XX) 54 Group theory and generalizations (20-XX) 48 Combinatorics (05-XX) 30 Field theory and polynomials (12-XX) 24 Category theory; homological algebra (18-XX) 20 General algebraic systems (08-XX) 20 Measure and integration (28-XX) 17 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 14 Number theory (11-XX) 14 Real functions (26-XX) 13 Functional analysis (46-XX) 10 General and overarching topics; collections (00-XX) 9 Topological groups, Lie groups (22-XX) 8 History and biography (01-XX) 7 Commutative algebra (13-XX) 7 Probability theory and stochastic processes (60-XX) 6 Dynamical systems and ergodic theory (37-XX) 5 Algebraic geometry (14-XX) 5 Associative rings and algebras (16-XX) 4 Sequences, series, summability (40-XX) 4 Convex and discrete geometry (52-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Several complex variables and analytic spaces (32-XX) 2 Functions of a complex variable (30-XX) 2 Operator theory (47-XX) 2 Geometry (51-XX) 2 Algebraic topology (55-XX) 1 Nonassociative rings and algebras (17-XX) 1 Abstract harmonic analysis (43-XX) 1 Manifolds and cell complexes (57-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,120 Publications have been cited 6,561 times in 4,515 Documents Cited by ▼ Year ▼ The structure of multiplicatives. Zbl 0689.03013 Danos, Vincent; Regnier, Laurent 96 1989 Boolean deductive systems of BL-algebras. Zbl 1030.03048 Turunen, Esko 89 2001 Residuated fuzzy logics with an involutive negation. Zbl 0965.03035 Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko 73 2000 Non-dual fuzzy connections. Zbl 1060.03042 Georgescu, George; Popescu, Andrei 68 2004 A complete many-valued logic with product-conjunction. Zbl 0848.03005 Hájek, Petr; Godo, Lluis; Esteva, Francesc 58 1996 Degrees of categoricity of computable structures. Zbl 1184.03026 Fokina, Ekaterina B.; Kalimullin, Iskander; Miller, Russell 57 2010 The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics. Zbl 0966.03022 Esteva, Francesc; Godo, Lluís; Montagna, Franco 56 2001 Reflecting stationary sets and successors of singular cardinals. Zbl 0742.03017 Shelah, Saharon 53 1991 On certain indestructibility of strong cardinals and a question of Hajnal. Zbl 0663.03041 Gitik, Moti; Shelah, Saharon 52 1989 Weakly implicative (fuzzy) logics. I: Basic properties. Zbl 1101.03015 Cintula, Petr 48 2006 Natural deduction with general elimination rules. Zbl 1021.03050 von Plato, Jan 45 2001 The tree property at successors of singular cardinals. Zbl 0874.03060 Magidor, Menachem; Shelah, Saharon 43 1996 Bounded forcing axioms as principles of generic absoluteness. Zbl 0966.03047 Bagaria, Joan 38 2000 Deep sequent systems for modal logic. Zbl 1180.03023 Brünnler, Kai 38 2009 The strength of some Martin-Löf type theories. Zbl 0819.03047 Griffor, Edward; Rathjen, Michael 37 1994 On the structure of rotation-invariant semigroups. Zbl 1028.06009 Jenei, Sándor 37 2003 Measure theory and weak König’s lemma. Zbl 0718.03043 Yu, Xiaokang; Simpson, Stephen G. 34 1990 Proof-theoretic analysis by iterated reflection. Zbl 1026.03041 Beklemishev, L. D. 34 2003 The number of proof lines and the size of proofs in first order logic. Zbl 0644.03032 Krajíček, Jan; Pudlák, Pavel 32 1988 Fuzzy logics based on \([0,1)\)-continuous uninorms. Zbl 1128.03015 Gabbay, Dov; Metcalfe, George 32 2007 Infinitary stability theory. Zbl 1343.03028 Vasey, Sebastien 32 2016 Compact representations of BL-algebras. Zbl 1040.03048 Di Nola, Antonio; Leuştean, Laurenţiu 31 2003 Commutative basic algebras and non-associative fuzzy logics. Zbl 1168.03014 Botur, Michal; Halaš, Radomír 31 2009 Proof analysis in intermediate logics. Zbl 1241.03068 Dyckhoff, Roy; Negri, Sara 30 2012 Proof-theoretic analysis of KPM. Zbl 0727.03036 Rathjen, Michael 30 1991 Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel’s \(\mathbf T\). Zbl 1025.03010 Joachimski, Felix; Matthes, Ralph 30 2003 Contraction-free sequent calculi for geometric theories with an application to Barr’s theorem. Zbl 1025.03055 Negri, Sara 28 2003 On the parameterized complexity of short computation and factorization. Zbl 0944.68069 Cai, Liming; Chen, Jianer; Downey, Rodney G.; Fellows, Michael R. 27 1997 Notation systems for infinitary derivations. Zbl 0726.03038 Buchholz, Wilfried 27 1991 Representation and extension of states on MV-algebras. Zbl 1101.06008 Kroupa, Tomáš 26 2006 Implicational (semilinear) logics. I: A new hierarchy. Zbl 1196.03013 Cintula, Petr; Noguera, Carles 25 2010 \(C ^{(n)}\)-cardinals. Zbl 1250.03108 Bagaria, Joan 25 2012 Sacks forcing, Laver forcing, and Martin’s axiom. Zbl 0755.03026 Judah, Haim; Miller, Arnold W.; Shelah, Saharon 25 1992 The realm of primitive recursion. Zbl 0659.03025 Simmons, Harold 24 1988 Definability in the enumeration degrees. Zbl 0906.03043 Slaman, Theodore A.; Woodin, W. Hugh 24 1997 The \(n\)-rea enumeration degrees are dense. Zbl 0848.03023 Lachlan, Alistair H.; Shore, Richard A. 24 1992 Fuzzy logic and fuzzy set theory. Zbl 0786.03039 Takeuti, Gaisi; Titani, Satoko 24 1992 Katětov order on Borel ideals. Zbl 1417.03256 Hrušák, Michael 24 2017 Typed lambda-calculus in classical Zermelo-Fraenkel set theory. Zbl 0990.03008 Krivine, Jean-Louis 23 2001 Product Łukasiewicz logic. Zbl 1059.03011 Horčík, Rostislav; Cintula, Petr 23 2004 Identity crises and strong compactness. II: Strong cardinals. Zbl 0980.03057 Apter, Arthur W.; Cummings, James 22 2001 Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes. Zbl 1058.03041 Binns, Stephen; Simpson, Stephen G. 22 2004 Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation). Zbl 0712.03009 Krivine, Jean-Louis 21 1990 Forcing with quotients. Zbl 1171.03029 Hrušák, Michael; Zapletal, Jindřich 21 2008 Ordinal arithmetic and \(\Sigma_1\)-elementarity. Zbl 0936.03055 Carlson, Timothy J. 20 1999 An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension. Zbl 1068.03047 Rathjen, Michael 20 2005 Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050 Kohlenbach, Ulrich 20 1996 Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Zbl 1327.03046 Veldman, Wim 20 2014 Shelah’s stability spectrum and homogeneity spectrum in finite diagrams. Zbl 1022.03017 Grossberg, Rami; Lessmann, Olivier 20 2002 Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Zbl 1025.03018 Cignoli, Roberto; Torrens, Antoni 20 2003 Undecidability results on two-variable logics. Zbl 0927.03015 Grädel, Erich; Otto, Martin; Rosen, Eric 19 1999 Sierpiński-Zygmund functions that are Darboux, almost continuous, or have a perfect road. Zbl 0905.26001 Balcerzak, Marek; Ciesielski, Krzysztof; Natkaniec, Tomasz 19 1997 Mob families and mad families. Zbl 0905.03034 Brendle, Jörg 19 1998 Lowness for genericity. Zbl 1148.03033 Yu, Liang 19 2006 Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Zbl 1076.03043 Noguera, Carles; Esteva, Francesc; Gispert, Joan 19 2005 Herbrand analyses. Zbl 0722.03040 Sieg, Wilfried 19 1991 Many simple cardinal invariants. Zbl 0786.03030 Goldstern, Martin; Shelah, Saharon 19 1993 A Wadge hierarchy for second countable spaces. Zbl 1373.03084 Pequignot, Yann 19 2015 Matrix iterations and Cichon’s diagram. Zbl 1270.03087 Mejía, Diego Alejandro 19 2013 Iterations of Boolean algebras with measure. Zbl 0687.03032 Kamburelis, Anastasis 18 1989 Non-commutative Łukasiewicz propositional logic. Zbl 1096.03020 Leuştean, Ioana 18 2006 Chains of saturated models in AECs. Zbl 1392.03046 Boney, Will; Vasey, Sebastien 18 2017 Complexity of admissible rules. Zbl 1115.03010 Jeřábek, Emil 17 2007 Interpolation in fuzzy logic. Zbl 0936.03026 Baaz, Matthias; Veith, Helmut 17 1999 Splittings. Zbl 0852.04004 Kamburelis, A.; Wȩglorz, B. 17 1996 Standard completeness theorem for \(\Pi\)MTL. Zbl 1071.03013 Horčík, Rostislav 17 2005 Ordinal notations based on a weakly Mahlo cardinal. Zbl 0709.03042 Rathjen, Michael 17 1990 The unprovability of small inconsistency. A study of local and global interpretability. Zbl 0795.03080 Visser, Albert 17 1993 Fuzzy equational logic. Zbl 1026.03016 Bělohlávek, Radim 17 2002 Generalized Bosbach states. I. Zbl 1296.03040 Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia 17 2013 Aronszajn trees and the successors of a singular cardinal. Zbl 1305.03041 Unger, Spencer 17 2013 Ultraproducts and Chevalley groups. Zbl 0921.03008 Point, Françoise 16 1999 Epsilon substitution method for elementary analysis. Zbl 0848.03032 Mints, Grigori; Tupailo, Sergei; Buchholz, Wilfried 16 1996 Working below a \(low_ 2\) recursively enumerable degree. Zbl 0693.03027 Shore, Richard A.; Slaman, Theodore A. 16 1990 Leibniz filters and the strong version of a protoalgebraic logic. Zbl 1030.03050 Font, Josep Maria; Jansana, Ramon 16 2001 More on cardinal arithmetic. Zbl 0799.03052 Shelah, Saharon 16 1993 Nilpotent complements and Carter subgroups in stable \({\mathfrak R}\). Zbl 0813.03022 Wagner, Frank O. 16 1994 Strong measure zero and infinite games. Zbl 1417.03255 Galvin, Fred; Mycielski, Jan; Solovay, Robert M. 16 2017 Symmetry in abstract elementary classes with amalgamation. Zbl 1421.03016 VanDieren, Monica M.; Vasey, Sebastien 16 2017 Tree indiscernibilities, revisited. Zbl 1297.03023 Kim, Byunghan; Kim, Hyeung-Joon; Scow, Lynn 16 2014 Fragility and indestructibility of the tree property. Zbl 1262.03106 Unger, Spencer 15 2012 On the infinite-valued Łukasiewicz logic that preserves degrees of truth. Zbl 1117.03027 Font, Josep Maria; Gil, Àngel J.; Torrens, Antoni; Verdú, Ventura 15 2006 CON(\(\mathfrak u>\mathfrak i\)). Zbl 0785.03029 Shelah, Saharon 15 1992 Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of \(p\)-points. Zbl 1417.03245 Dobrinen, Natasha; Mijares, José G.; Trujillo, Timothy 15 2017 Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics. Zbl 1026.03017 Cintula, Petr 15 2003 Density of the Medvedev lattice of \(\Pi^0_1\) classes. Zbl 1037.03040 Cenzer, Douglas; Hinman, Peter G. 15 2003 Pairs, sets and sequences in first-order theories. Zbl 1158.03037 Visser, Albert 15 2008 Homogeneous iteration and measure one covering relative to HOD. Zbl 1153.03034 Dobrinen, Natasha; Friedman, Sy-David 15 2008 Generalized Bosbach states. II. Zbl 1305.03060 Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia 15 2013 Resurrection axioms and uplifting cardinals. Zbl 1351.03043 Hamkins, Joel David; Johnstone, Thomas A. 15 2014 Subdirectly irreducible state-morphism BL-algebras. Zbl 1215.06006 Dvurečenskij, Anatolij 14 2011 Formal spaces and their effective presentations. Zbl 0829.03026 Sigstam, Inger 14 1995 Presheaf semantics and independence results for some non-classical first- order logics. Zbl 0691.03013 Ghilardi, Silvio 14 1989 Fragments of HA based on \(\Sigma_ 1\)-induction. Zbl 0886.03040 Wehmeier, Kai F. 14 1997 Birkhoff variety theorem and fuzzy logic. Zbl 1040.03018 Bělohlávek, Radim 14 2003 Fuzzy Horn logic. I. Proof theory. Zbl 1095.03014 Bělohlávek, Radim; Vychodil, Vilém 14 2006 Categoricity in homogeneous complete metric spaces. Zbl 1181.03039 Hirvonen, Åsa; Hyttinen, Tapani 14 2009 The isomorphism problem for classes of computable fields. Zbl 1059.03039 Calvert, Wesley 14 2004 The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007 Hájek, Petr; Montagna, Franco 14 1990 Proof theory and ordinal analysis. Zbl 0724.03033 Pohlers, W. 14 1991 Towers, mad families, and unboundedness. Zbl 07691808 Fischer, Vera; Koelbing, Marlene; Wohofsky, Wolfgang 3 2023 Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse. Zbl 07680029 Banerjee, Amitayu 2 2023 Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities. Zbl 1518.54001 Šupina, Jaroslav 1 2023 Towards a homotopy domain theory. Zbl 07680036 Martínez-Rivillas, Daniel O.; de Queiroz, Ruy J. G. B. 1 2023 Bachmann-Howard derivatives. Zbl 07691799 Freund, Anton 1 2023 The structure of \(\kappa\)-maximal cofinitary groups. Zbl 07691801 Fischer, Vera; Switzer, Corey Bacal 1 2023 A syntactic approach to Borel functions: some extensions of Louveau’s theorem. Zbl 07742502 Kihara, Takayuki; Sasaki, Kenta 1 2023 Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts. Zbl 07541618 Sato, Kentaro 3 2022 Hanf numbers for extendibility and related phenomena. Zbl 07541619 Baldwin, John T.; Shelah, Saharon 3 2022 Mutual algebraicity and cellularity. Zbl 07557513 Braunfeld, Samuel; Laskowski, Michael C. 3 2022 Small \(\mathfrak{u}(\kappa )\) at singular \(\kappa\) with compactness at \(\kappa^{++}\). Zbl 07495453 Honzik, Radek; Stejskalová, Šárka 3 2022 First-order theories of bounded trees. Zbl 1523.03013 Kellerman, Ruaan 3 2022 A note on cut-elimination for classical propositional logic. Zbl 1506.03121 Pulcini, Gabriele 2 2022 Coanalytic ultrafilter bases. Zbl 07541624 Schilhan, Jonathan 2 2022 Iterated multiplication in \(VTC^0\). Zbl 1500.03017 Jeřábek, Emil 2 2022 \(\Delta^0_1\) variants of the law of excluded middle and related principles. Zbl 07603659 Fujiwara, Makoto 2 2022 Condensable models of set theory. Zbl 07541614 Enayat, Ali 1 2022 Model theory of monadic predicate logic with the infinity quantifier. Zbl 07541620 Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio 1 2022 Reflection and not SCH with overlapping extenders. Zbl 1509.03148 Gitik, Moti 1 2022 The covering number of the strong measure zero ideal can be above almost everything else. Zbl 07557503 Cardona, Miguel A.; Mejía, Diego A.; Rivera-Madrid, Ismael E. 1 2022 On decidability of amenability in computable groups. Zbl 07603651 Duda, Karol; Ivanov, Aleksander 1 2022 Implicit recursion-theoretic characterizations of counting classes. Zbl 1506.03096 Dal Lago, Ugo; Kahle, Reinhard; Oitavem, Isabel 1 2022 The existence of states based on Glivenko semihoops. Zbl 07603661 He, Pengfei; Wang, Juntao; Yang, Jiang 1 2022 Degree structures of conjunctive reducibility. Zbl 1518.03008 Chitaia, Irakli; Omanadze, Roland 1 2022 Representability and compactness for pseudopowers. Zbl 07495454 Eisworth, Todd 1 2022 On Hilbert algebras generated by the order. Zbl 07495458 Castiglioni, J. L.; Celani, S. A.; San Martín, H. J. 1 2022 Logics of left variable inclusion and Płonka sums of matrices. Zbl 1491.03088 Bonzio, S.; Moraschini, T.; Pra Baldi, M. 14 2021 Strong downward Löwenheim-Skolem theorems for stationary logics. I. Zbl 1498.03117 Fuchino, Sakaé; Rodrigues, André Ottenbreit Maschio; Sakai, Hiroshi 5 2021 First-order concatenation theory with bounded quantifiers. Zbl 1498.03021 Kristiansen, Lars; Murwanashyaka, Juvenal 3 2021 Quantum logic is undecidable. Zbl 1473.03039 Fritz, Tobias 3 2021 Towers and clubs. Zbl 07373425 Matet, Pierre 3 2021 On the spectra of cardinalities of branches of Kurepa trees. Zbl 07417492 Poór, Márk 2 2021 Selection properties of the split interval and the Continuum hypothesis. Zbl 1479.54042 Banakh, Taras 2 2021 Ring structure theorems and arithmetic comprehension. Zbl 1473.03009 Wu, Huishan 2 2021 Tree-like constructions in topology and modal logic. Zbl 1500.03005 Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J. 2 2021 Generalised stability of ultraproducts of finite residue rings. Zbl 07417486 Bello Aguirre, Ricardo Isaac 1 2021 Short note: least fixed points versus least closed points. Zbl 1484.03124 Jäger, Gerhard 1 2021 Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Zbl 1487.03065 Kohlenbach, Ulrich 1 2021 \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire. Zbl 1498.03122 Sargsyan, Grigor 1 2021 Continuous logic and embeddings of Lebesgue spaces. Zbl 1498.46011 McNicholl, Timothy H. 1 2021 Strong cell decomposition property in o-minimal traces. Zbl 1481.03027 Tari, Somayyeh 1 2021 A note on uniform density in weak arithmetical theories. Zbl 1477.03170 Pianigiani, Duccio; Sorbi, Andrea 1 2021 Axiomatic theory of betweenness. Zbl 1496.03033 Azimipour, Sanaz; Naumov, Pavel 1 2021 Cichoń’s diagram and localisation cardinals. Zbl 1477.03194 Goldstern, Martin; Klausner, Lukas Daniel 1 2021 Another method for constructing models of not approachability and not SCH. Zbl 07334541 Gitik, Moti 1 2021 Sofic profiles of \(S(\omega)\) and computability. Zbl 07334542 Ivanov, Aleksander 1 2021 Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum. Zbl 07334543 Fuchino, Sakaé; Ottenbreit Maschio Rodrigues, André; Sakai, Hiroshi 1 2021 On ultrafilter extensions of first-order models and ultrafilter interpretations. Zbl 07373424 Poliakov, Nikolai L.; Saveliev, Denis I. 1 2021 Forcing the mapping reflection principle by finite approximations. Zbl 07373427 Miyamoto, Tadatoshi; Yorioka, Teruyuki 1 2021 NIP Henselian valued fields. Zbl 1444.03130 Jahnke, Franziska; Simon, Pierre 6 2020 Antichains of perfect and splitting trees. Zbl 1452.03102 Hein, Paul; Spinas, Otmar 6 2020 Product of invariant types modulo domination-equivalence. Zbl 1480.03018 Mennuni, Rosario 5 2020 Analytic computable structure theory and \(L^p\)-spaces. II. Zbl 1481.03034 Brown, Tyler; McNicholl, Timothy H. 5 2020 The weakly compact reflection principle need not imply a high order of weak compactness. Zbl 1445.03058 Cody, Brent; Sakai, Hiroshi 4 2020 Classifying equivalence relations in the Ershov hierarchy. Zbl 1461.03041 Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars 4 2020 Special ultrafilters and cofinal subsets of \(({}^\omega \omega, <^*)\). Zbl 1461.03048 Nyikos, Peter 4 2020 Easton collapses and a strongly saturated filter. Zbl 1485.03214 Shioya, Masahiro 4 2020 Fields with a dense-codense linearly independent multiplicative subgroup. Zbl 1480.03017 Berenstein, Alexander; Vassiliev, Evgueni 3 2020 Rank-initial embeddings of non-standard models of set theory. Zbl 1481.03021 Kindvall Gorbow, Paul 3 2020 Reversibility of extreme relational structures. Zbl 1481.03016 Kurilić, Miloš S.; Morača, Nenad 3 2020 On Ramsey choice and partial choice for infinite families of \(n\)-element sets. Zbl 1472.03056 Halbeisen, Lorenz; Tachtsis, Eleftherios 3 2020 Finite sets and infinite sets in weak intuitionistic arithmetic. Zbl 1481.03066 Nemoto, Takako 3 2020 The noneffectivity of Arslanov’s completeness criterion and related theorems. Zbl 1481.03032 Terwijn, Sebastiaan A. 3 2020 Ordinal analyses for monotone and cofinal transfinite inductions. Zbl 1471.03083 Sato, Kentaro 3 2020 Covering properties of \(\omega\)-mad families. Zbl 1515.03202 Aurichi, Leandro; Zdomskyy, Lyubomyr 3 2020 Induction rules in bounded arithmetic. Zbl 1471.03082 Jeřábek, Emil 3 2020 A version of \(\kappa\)-Miller forcing. Zbl 1485.03192 Mildenberger, Heike; Shelah, Saharon 2 2020 Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences. Zbl 1485.03228 Sinapova, Dima; Souldatos, Ioannis 2 2020 Uniform Lyndon interpolation property in propositional modal logics. Zbl 1462.03013 Kurahashi, Taishi 2 2020 A small ultrafilter number at smaller cardinals. Zbl 1481.03055 Raghavan, Dilip; Shelah, Saharon 2 2020 Non-forking w-good frames. Zbl 1480.03020 Mazari-Armida, Marcos 1 2020 Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification. Zbl 1459.54006 De La Pava, Luz Victoria; Russo, Ciro 1 2020 Definable one-dimensional topologies in o-minimal structures. Zbl 1480.03028 Peterzil, Ya’Acov; Rosel, Ayala 1 2020 Deciding active structural completeness. Zbl 1480.08007 Stronkowski, Michał M. 1 2020 Properties of the atoms in finitely supported structures. Zbl 1480.03046 Alexandru, Andrei; Ciobanu, Gabriel 1 2020 On the independence of premiss axiom and rule. Zbl 1485.03249 Ishihara, Hajime; Nemoto, Takako 1 2020 Detecting properties from descriptions of groups. Zbl 1481.03043 Bilanovic, Iva; Chubb, Jennifer; Roven, Sam 1 2020 On the forking topology of a reduct of a simple theory. Zbl 1481.03015 Shami, Ziv 1 2020 Weaker variants of infinite time Turing machines. Zbl 1455.03049 Bianchetti, Matteo 1 2020 Scott sentences for equivalence structures. Zbl 1442.03025 Quinn, Sara B. 1 2020 Truth, disjunction, and induction. Zbl 1477.03250 Enayat, Ali; Pakhomov, Fedor 10 2019 Ideals of independence. Zbl 1477.03193 Fischer, Vera; Montoya, Diana Carolina 10 2019 Uniform interpolation and sequent calculi in modal logic. Zbl 07006132 Iemhoff, Rosalie 9 2019 Cut elimination for entailment relations. Zbl 1477.03243 Rinaldi, Davide; Wessel, Daniel 9 2019 The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134 Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako 8 2019 Degrees of bi-embeddable categoricity of equivalence structures. Zbl 1477.03143 Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca 8 2019 Chainable and circularly chainable semicomputable sets in computable topological spaces. Zbl 1468.03052 Čičković, Eugen; Iljazović, Zvonko; Validžić, Lucija 7 2019 Definable valuations induced by multiplicative subgroups and NIP fields. Zbl 1468.03045 Dupont, Katharina; Hasson, Assaf; Kuhlmann, Salma 6 2019 Free sequences in \({\mathscr{P}}( \omega) /\mathrm{fin}\). Zbl 1455.03062 Chodounský, David; Fischer, Vera; Grebík, Jan 6 2019 Using Ramsey’s theorem once. Zbl 1475.03071 Hirst, Jeffry L.; Mummert, Carl 5 2019 Diagonal reflections on squares. Zbl 07006123 Fuchs, Gunter 5 2019 Selfextensional logics with a distributive nearlattice term. Zbl 1506.03129 González, Luciano J. 5 2019 A Laver-like indestructibility for hypermeasurable cardinals. Zbl 1477.03210 Honzik, Radek 4 2019 The spectrum of independence. Zbl 1468.03059 Fischer, Vera; Shelah, Saharon 4 2019 A note on groups definable in the \(p\)-adic field. Zbl 1468.03047 Pillay, Anand; Yao, Ningyuan 4 2019 A model of the generic Vopěnka principle in which the ordinals are not Mahlo. Zbl 07006136 Gitman, Victoria; Hamkins, Joel David 4 2019 On the non-existence of mad families. Zbl 1477.03211 Horowitz, Haim; Shelah, Saharon 3 2019 Degree spectra of real closed fields. Zbl 1477.03169 Miller, Russell; Ocasio González, Victor 3 2019 Prikry forcing and tree Prikry forcing of various filters. Zbl 1468.03062 Benhamou, Tom 3 2019 Convexity and unique minimum points. Zbl 1441.03045 Berger, Josef; Svindland, Gregor 3 2019 ...and 1020 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,813 Authors 134 Shelah, Saharon 54 Apter, Arthur W. 39 Bazhenov, Nikolaĭ Alekseevich 39 Downey, Rodney Graham 39 Rathjen, Michael 35 Friedman, Sy-David 31 Montagna, Franco 31 Vasey, Sebastien 30 Visser, Albert 29 Cintula, Petr 27 Melnikov, Alexander G. 26 Esteva, Francesc 26 Matet, Pierre 25 Gitik, Moti 25 Godo, Lluís 25 Hrušák, Michael 24 Brendle, Jörg 24 Fischer, Vera 23 Rinot, Assaf 22 Ciungu, Lavinia Corina 22 Negri, Sara 22 Noguera, Carles 22 Soskova, Mariya Ivanova 21 Kohlenbach, Ulrich Wilhelm 21 Sorbi, Andrea 20 Bagaria, Joan 20 Kalimullin, Iskander Shagitovich 19 Arai, Toshiyasu 19 Borzooei, Rajab Ali 19 Buss, Samuel R. 19 Hamkins, Joel David 19 Schuster, Peter Michael 19 Vychodil, Vilém 18 Greenberg, Noam 18 Pillay, Anand 17 Dobrinen, Natasha L. 17 Guzmán González, Osvaldo 17 Nour, Karim 17 Stephan, Frank 17 Weiermann, Andreas 17 Wu, Guohua 16 Aguzzoli, Stefano 16 Bianchi, Matteo 16 Flaminio, Tommaso 16 Hájek, Petr 16 Hayut, Yair 16 Jenei, Sándor 16 Kanovei, Vladimir G. 16 Magidor, Menachem 16 Montalbán, Antonio 16 Ng, KengMeng 16 Shore, Richard Arnold 16 Tachtsis, Eleftherios 15 Beklemishev, Lev D. 15 Cenzer, Douglas 15 Džamonja, Mirna 15 Enayat, Ali 15 Harizanov, Valentina S. 15 Hyttinen, Tapani 15 Kellner, Jakob 15 Kurilić, Miloš S. 15 Laskowski, Michael Chris 15 Lempp, Steffen 15 Selivanov, Viktor L’vovich 15 Spinas, Otmar 15 Yamaleev, Mars Mansurovich 15 Zdoms’kyĭ, Lyubomyr Sergiĭovych 14 Baaz, Matthias 14 Bělohlávek, Radim 14 Carl, Merlin 14 Chajda, Ivan 14 Iemhoff, Rosalie 14 Ishihara, Hajime 14 Jeřábek, Emil 14 Kihara, Takayuki 14 Lambie-Hanson, Chris 14 Lyubetsky, Vassily Aleksandrovich 14 Rachůnek, Jiří 14 Strahm, Thomas 14 Unger, Spencer T. 13 Avigad, Jeremy 13 Ben-Neria, Omer 13 Boney, Will 13 Borumand Saeid, Arsham 13 Freund, Anton 13 Goldstern, Martin Robert 13 Harrison-Trainor, Matthew 13 Krueger, John 13 Mejía, Diego Alejandro 13 Mildenberger, Heike 13 Rybakov, Vladimir Vladimirovich 13 Sinapova, Dima 13 Straßburger, Lutz 13 Wang, Zhudeng 12 Asperó, David 12 Cummings, James 12 Di Nola, Antonio 12 Eleftheriou, Pantelis E. 12 Fernández Duque, David 12 Ferreira, Fernando ...and 2,713 more Authors all top 5 Cited in 279 Journals 562 Annals of Pure and Applied Logic 493 Archive for Mathematical Logic 473 The Journal of Symbolic Logic 204 Mathematical Logic Quarterly (MLQ) 179 Fuzzy Sets and Systems 131 Theoretical Computer Science 124 Studia Logica 96 The Bulletin of Symbolic Logic 90 Soft Computing 83 Israel Journal of Mathematics 81 Topology and its Applications 80 Journal of Mathematical Logic 78 Proceedings of the American Mathematical Society 77 Notre Dame Journal of Formal Logic 53 Fundamenta Mathematicae 53 Transactions of the American Mathematical Society 52 MSCS. Mathematical Structures in Computer Science 52 The Review of Symbolic Logic 50 Information Sciences 36 Information and Computation 35 International Journal of Approximate Reasoning 33 Algebra and Logic 33 Journal of Philosophical Logic 28 Advances in Mathematics 25 Journal of Algebra 25 Journal of Pure and Applied Algebra 22 Algebra Universalis 22 Logical Methods in Computer Science 22 Computability 21 Mathematica Slovaca 18 Journal of Applied Non-Classical Logics 16 Synthese 15 Bulletin of the Section of Logic 15 Journal of Mathematical Sciences (New York) 15 Lobachevskii Journal of Mathematics 14 Logica Universalis 13 Siberian Mathematical Journal 13 Order 12 Journal of Computer and System Sciences 12 Theory of Computing Systems 12 Journal of Intelligent and Fuzzy Systems 12 Iranian Journal of Fuzzy Systems 11 International Journal of General Systems 10 Communications in Algebra 10 Journal of the European Mathematical Society (JEMS) 9 Journal of Mathematical Analysis and Applications 9 Bulletin of the Polish Academy of Sciences, Mathematics 9 Indagationes Mathematicae. New Series 9 Annals of Mathematics and Artificial Intelligence 9 Journal of Logic and Analysis 9 European Journal of Mathematics 8 Journal of Automated Reasoning 8 Journal of Logic, Language and Information 8 Selecta Mathematica. New Series 8 The Journal of Logic and Algebraic Programming 8 ACM Transactions on Computational Logic 8 Forum of Mathematics, Sigma 7 Acta Mathematica Hungarica 7 International Journal of Algebra and Computation 7 Journal of Group Theory 7 Journal of Multiple-Valued Logic and Soft Computing 7 Sibirskie Èlektronnye Matematicheskie Izvestiya 7 Afrika Matematika 7 Bollettino dell’Unione Matematica Italiana 6 Computers & Mathematics with Applications 6 Information Processing Letters 6 Bulletin of the London Mathematical Society 6 Commentationes Mathematicae Universitatis Carolinae 6 Monatshefte für Mathematik 6 Russian Mathematics 6 Doklady Mathematics 6 Logic and Logical Philosophy 6 Journal of Applied Logic 6 Confluentes Mathematici 6 Open Mathematics 5 Artificial Intelligence 5 International Journal of Theoretical Physics 5 Czechoslovak Mathematical Journal 5 Journal of Functional Analysis 5 Journal of the London Mathematical Society. Second Series 5 Journal of the Mathematical Society of Japan 5 Kybernetika 5 Memoirs of the American Mathematical Society 5 Journal of the American Mathematical Society 5 Applied Categorical Structures 5 Filomat 5 Oberwolfach Reports 5 Korean Journal of Mathematics 4 Discrete Mathematics 4 Canadian Journal of Mathematics 4 Bulletin of the Iranian Mathematical Society 4 Journal of Symbolic Computation 4 Bulletin of the American Mathematical Society. New Series 4 RAIRO. Informatique Théorique et Applications 4 Computational Complexity 4 Journal of Applied Analysis 4 Journal of the Institute of Mathematics of Jussieu 4 Contributions to Discrete Mathematics 4 Symmetry 4 Eurasian Mathematical Journal ...and 179 more Journals all top 5 Cited in 53 Fields 4,064 Mathematical logic and foundations (03-XX) 582 Computer science (68-XX) 561 Order, lattices, ordered algebraic structures (06-XX) 274 General topology (54-XX) 149 Combinatorics (05-XX) 146 Group theory and generalizations (20-XX) 97 Category theory; homological algebra (18-XX) 72 Functional analysis (46-XX) 70 Field theory and polynomials (12-XX) 70 Measure and integration (28-XX) 68 General algebraic systems (08-XX) 56 Real functions (26-XX) 48 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 43 Topological groups, Lie groups (22-XX) 38 General and overarching topics; collections (00-XX) 38 Dynamical systems and ergodic theory (37-XX) 37 History and biography (01-XX) 37 Number theory (11-XX) 26 Quantum theory (81-XX) 24 Commutative algebra (13-XX) 24 Associative rings and algebras (16-XX) 19 Linear and multilinear algebra; matrix theory (15-XX) 17 Probability theory and stochastic processes (60-XX) 15 Algebraic geometry (14-XX) 15 Operator theory (47-XX) 12 Sequences, series, summability (40-XX) 12 Geometry (51-XX) 12 Information and communication theory, circuits (94-XX) 11 Algebraic topology (55-XX) 9 Convex and discrete geometry (52-XX) 9 Manifolds and cell complexes (57-XX) 8 Operations research, mathematical programming (90-XX) 6 Abstract harmonic analysis (43-XX) 5 Difference and functional equations (39-XX) 5 Numerical analysis (65-XX) 4 Several complex variables and analytic spaces (32-XX) 4 Biology and other natural sciences (92-XX) 3 \(K\)-theory (19-XX) 3 Global analysis, analysis on manifolds (58-XX) 3 Statistics (62-XX) 2 Nonassociative rings and algebras (17-XX) 2 Approximations and expansions (41-XX) 2 Systems theory; control (93-XX) 1 Functions of a complex variable (30-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral transforms, operational calculus (44-XX) 1 Integral equations (45-XX) 1 Differential geometry (53-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year