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,470 Publications (since 1988) References Indexed: 1,155 Publications with 18,683 References. all top 5 Latest Issues 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) 43, No. 4 (2004) 43, No. 3 (2004) ...and 95 more Volumes all top 5 Authors 61 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 10 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 Friedman, Sy-David 8 Kohlenbach, Ulrich Wilhelm 7 Baratella, Stefano 7 Brendle, Jörg 7 Cunningham, Daniel Wendell 7 Esteva, Francesc 7 Fischer, Vera 7 Fuchs, Gunter 7 Koepke, Peter 7 Krajíček, Jan 7 Kurilić, Miloš S. 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 Mildenberger, Heike 6 Neeman, Itay 6 Omanadze, Roland Sh. 6 Rosłanowski, Andrzej 6 Sargsyan, Grigor 6 Towsner, Henry 6 Tzouvaras, Athanassios 6 Vasey, Sebastien 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 Todorcevic, Stevo B. 5 Wagner, Frank Olaf 5 Zdoms’kyĭ, Lyubomyr Sergiĭovych 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 Golshani, Mohammad 4 Iemhoff, Rosalie 4 Kanovei, Vladimir G. 4 Krueger, John ...and 1,077 more Authors all top 5 Fields 1,451 Mathematical logic and foundations (03-XX) 123 Order, lattices, ordered algebraic structures (06-XX) 95 Computer science (68-XX) 72 General topology (54-XX) 53 Group theory and generalizations (20-XX) 47 Combinatorics (05-XX) 29 Field theory and polynomials (12-XX) 24 Category theory; homological algebra (18-XX) 20 General algebraic systems (08-XX) 19 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) 12 Functional analysis (46-XX) 10 General and overarching topics; collections (00-XX) 9 Topological groups, Lie groups (22-XX) 7 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) 2 Manifolds and cell complexes (57-XX) 1 Nonassociative rings and algebras (17-XX) 1 Abstract harmonic analysis (43-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,091 Publications have been cited 6,262 times in 4,320 Documents Cited by ▼ Year ▼ The structure of multiplicatives. Zbl 0689.03013Danos, Vincent; Regnier, Laurent 94 1989 Boolean deductive systems of BL-algebras. Zbl 1030.03048Turunen, Esko 86 2001 Residuated fuzzy logics with an involutive negation. Zbl 0965.03035Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko 72 2000 Non-dual fuzzy connections. Zbl 1060.03042Georgescu, George; Popescu, Andrei 68 2004 Degrees of categoricity of computable structures. Zbl 1184.03026Fokina, Ekaterina B.; Kalimullin, Iskander; Miller, Russell 57 2010 A complete many-valued logic with product-conjunction. Zbl 0848.03005Hájek, Petr; Godo, Lluis; Esteva, Francesc 57 1996 The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics. Zbl 0966.03022Esteva, Francesc; Godo, Lluís; Montagna, Franco 54 2001 On certain indestructibility of strong cardinals and a question of Hajnal. Zbl 0663.03041Gitik, Moti; Shelah, Saharon 52 1989 Reflecting stationary sets and successors of singular cardinals. Zbl 0742.03017Shelah, Saharon 51 1991 Weakly implicative (fuzzy) logics. I: Basic properties. Zbl 1101.03015Cintula, Petr 47 2006 Natural deduction with general elimination rules. Zbl 1021.03050von Plato, Jan 42 2001 The tree property at successors of singular cardinals. Zbl 0874.03060Magidor, Menachem; Shelah, Saharon 42 1996 The strength of some Martin-Löf type theories. Zbl 0819.03047Griffor, Edward; Rathjen, Michael 37 1994 Bounded forcing axioms as principles of generic absoluteness. Zbl 0966.03047Bagaria, Joan 36 2000 Deep sequent systems for modal logic. Zbl 1180.03023Brünnler, Kai 35 2009 Proof-theoretic analysis by iterated reflection. Zbl 1026.03041Beklemishev, L. D. 34 2003 Measure theory and weak König’s lemma. Zbl 0718.03043Yu, Xiaokang; Simpson, Stephen G. 33 1990 On the structure of rotation-invariant semigroups. Zbl 1028.06009Jenei, Sándor 33 2003 The number of proof lines and the size of proofs in first order logic. Zbl 0644.03032Krajíček, Jan; Pudlák, Pavel 31 1988 Compact representations of BL-algebras. Zbl 1040.03048Di Nola, Antonio; Leuştean, Laurenţiu 31 2003 Commutative basic algebras and non-associative fuzzy logics. Zbl 1168.03014Botur, Michal; Halaš, Radomír 31 2009 Infinitary stability theory. Zbl 1343.03028Vasey, Sebastien 31 2016 Proof-theoretic analysis of KPM. Zbl 0727.03036Rathjen, Michael 30 1991 Fuzzy logics based on \([0,1)\)-continuous uninorms. Zbl 1128.03015Gabbay, Dov; Metcalfe, George 29 2007 Proof analysis in intermediate logics. Zbl 1241.03068Dyckhoff, Roy; Negri, Sara 29 2012 Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel’s \(\mathbf T\). Zbl 1025.03010Joachimski, Felix; Matthes, Ralph 28 2003 Contraction-free sequent calculi for geometric theories with an application to Barr’s theorem. Zbl 1025.03055Negri, Sara 27 2003 Notation systems for infinitary derivations. Zbl 0726.03038Buchholz, Wilfried 27 1991 On the parameterized complexity of short computation and factorization. Zbl 0944.68069Cai, Liming; Chen, Jianer; Downey, Rodney G.; Fellows, Michael R. 26 1997 Representation and extension of states on MV-algebras. Zbl 1101.06008Kroupa, Tomáš 26 2006 \(C ^{(n)}\)-cardinals. Zbl 1250.03108Bagaria, Joan 25 2012 Implicational (semilinear) logics. I: A new hierarchy. Zbl 1196.03013Cintula, Petr; Noguera, Carles 25 2010 Sacks forcing, Laver forcing, and Martin’s axiom. Zbl 0755.03026Judah, Haim; Miller, Arnold W.; Shelah, Saharon 25 1992 The \(n\)-rea enumeration degrees are dense. Zbl 0848.03023Lachlan, Alistair H.; Shore, Richard A. 24 1992 Product Łukasiewicz logic. Zbl 1059.03011Horčík, Rostislav; Cintula, Petr 23 2004 Typed lambda-calculus in classical Zermelo-Fraenkel set theory. Zbl 0990.03008Krivine, Jean-Louis 23 2001 Definability in the enumeration degrees. Zbl 0906.03043Slaman, Theodore A.; Woodin, W. Hugh 23 1997 Fuzzy logic and fuzzy set theory. Zbl 0786.03039Takeuti, Gaisi; Titani, Satoko 23 1992 The realm of primitive recursion. Zbl 0659.03025Simmons, Harold 22 1988 Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes. Zbl 1058.03041Binns, Stephen; Simpson, Stephen G. 22 2004 Identity crises and strong compactness. II: Strong cardinals. Zbl 0980.03057Apter, Arthur W.; Cummings, James 22 2001 Ordinal arithmetic and \(\Sigma_1\)-elementarity. Zbl 0936.03055Carlson, Timothy J. 20 1999 Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation). Zbl 0712.03009Krivine, Jean-Louis 20 1990 Forcing with quotients. Zbl 1171.03029Hrušák, Michael; Zapletal, Jindřich 20 2008 Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050Kohlenbach, Ulrich 20 1996 Herbrand analyses. Zbl 0722.03040Sieg, Wilfried 19 1991 An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension. Zbl 1068.03047Rathjen, Michael 19 2005 Shelah’s stability spectrum and homogeneity spectrum in finite diagrams. Zbl 1022.03017Grossberg, Rami; Lessmann, Olivier 19 2002 Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Zbl 1076.03043Noguera, Carles; Esteva, Francesc; Gispert, Joan 19 2005 Sierpiński-Zygmund functions that are Darboux, almost continuous, or have a perfect road. Zbl 0905.26001Balcerzak, Marek; Ciesielski, Krzysztof; Natkaniec, Tomasz 19 1997 Lowness for genericity. Zbl 1148.03033Yu, Liang 19 2006 Many simple cardinal invariants. Zbl 0786.03030Goldstern, Martin; Shelah, Saharon 19 1993 Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Zbl 1025.03018Cignoli, Roberto; Torrens, Antoni 18 2003 Non-commutative Łukasiewicz propositional logic. Zbl 1096.03020Leuştean, Ioana 18 2006 Mob families and mad families. Zbl 0905.03034Brendle, Jörg 18 1998 Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Zbl 1327.03046Veldman, Wim 18 2014 Interpolation in fuzzy logic. Zbl 0936.03026Baaz, Matthias; Veith, Helmut 17 1999 Iterations of Boolean algebras with measure. Zbl 0687.03032Kamburelis, Anastasis 17 1989 Ordinal notations based on a weakly Mahlo cardinal. Zbl 0709.03042Rathjen, Michael 17 1990 Standard completeness theorem for \(\Pi\)MTL. Zbl 1071.03013Horčík, Rostislav 17 2005 Matrix iterations and Cichon’s diagram. Zbl 1270.03087Mejía, Diego Alejandro 17 2013 Aronszajn trees and the successors of a singular cardinal. Zbl 1305.03041Unger, Spencer 17 2013 Complexity of admissible rules. Zbl 1115.03010Jeřábek, Emil 17 2007 Katětov order on Borel ideals. Zbl 1417.03256Hrušák, Michael 17 2017 The unprovability of small inconsistency. A study of local and global interpretability. Zbl 0795.03080Visser, Albert 17 1993 Splittings. Zbl 0852.04004Kamburelis, A.; Wȩglorz, B. 17 1996 Chains of saturated models in AECs. Zbl 1392.03046Boney, Will; Vasey, Sebastien 17 2017 Undecidability results on two-variable logics. Zbl 0927.03015Grädel, Erich; Otto, Martin; Rosen, Eric 16 1999 Working below a \(low_ 2\) recursively enumerable degree. Zbl 0693.03027Shore, Richard A.; Slaman, Theodore A. 16 1990 Leibniz filters and the strong version of a protoalgebraic logic. Zbl 1030.03050Font, Josep Maria; Jansana, Ramon 16 2001 Generalized Bosbach states. I. Zbl 1296.03040Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia 16 2013 Fuzzy equational logic. Zbl 1026.03016Bělohlávek, Radim 16 2002 Ultraproducts and Chevalley groups. Zbl 0921.03008Point, Françoise 16 1999 Strong measure zero and infinite games. Zbl 1417.03255Galvin, Fred; Mycielski, Jan; Solovay, Robert M. 16 2017 Nilpotent complements and Carter subgroups in stable \({\mathfrak R}\). Zbl 0813.03022Wagner, Frank O. 16 1994 Epsilon substitution method for elementary analysis. Zbl 0848.03032Mints, Grigori; Tupailo, Sergei; Buchholz, Wilfried 16 1996 Symmetry in abstract elementary classes with amalgamation. Zbl 1421.03016VanDieren, Monica M.; Vasey, Sebastien 16 2017 Generalized Bosbach states. II. Zbl 1305.03060Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia 15 2013 Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics. Zbl 1026.03017Cintula, Petr 15 2003 Density of the Medvedev lattice of \(\Pi^0_1\) classes. Zbl 1037.03040Cenzer, Douglas; Hinman, Peter G. 15 2003 Pairs, sets and sequences in first-order theories. Zbl 1158.03037Visser, Albert 15 2008 Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of \(p\)-points. Zbl 1417.03245Dobrinen, Natasha; Mijares, José G.; Trujillo, Timothy 15 2017 Resurrection axioms and uplifting cardinals. Zbl 1351.03043Hamkins, Joel David; Johnstone, Thomas A. 15 2014 More on cardinal arithmetic. Zbl 0799.03052Shelah, Saharon 15 1993 A Wadge hierarchy for second countable spaces. Zbl 1373.03084Pequignot, Yann 15 2015 On the infinite-valued Łukasiewicz logic that preserves degrees of truth. Zbl 1117.03027Font, Josep Maria; Gil, Àngel J.; Torrens, Antoni; Verdú, Ventura 15 2006 The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007Hájek, Petr; Montagna, Franco 14 1990 The isomorphism problem for classes of computable fields. Zbl 1059.03039Calvert, Wesley 14 2004 Fragility and indestructibility of the tree property. Zbl 1262.03106Unger, Spencer 14 2012 Fuzzy Horn logic. I. Proof theory. Zbl 1095.03014Bělohlávek, Radim; Vychodil, Vilém 14 2006 Homogeneous iteration and measure one covering relative to HOD. Zbl 1153.03034Dobrinen, Natasha; Friedman, Sy-David 14 2008 Subdirectly irreducible state-morphism BL-algebras. Zbl 1215.06006Dvurečenskij, Anatolij 14 2011 Pointwise hereditary majorization and some applications. Zbl 0729.03031Kohlenbach, Ulrich 14 1992 Tree indiscernibilities, revisited. Zbl 1297.03023Kim, Byunghan; Kim, Hyeung-Joon; Scow, Lynn 14 2014 Omitting types and AF algebras. Zbl 1348.03035Carlson, Kevin; Cheung, Enoch; Farah, Ilijas; Gerhardt-Bourke, Alexander; Hart, Bradd; Mezuman, Leanne; Sequeira, Nigel; Sherman, Alexander 14 2014 Proof theory and ordinal analysis. Zbl 0724.03033Pohlers, W. 14 1991 CON(\(\mathfrak u>\mathfrak i\)). Zbl 0785.03029Shelah, Saharon 14 1992 A definable \(E_0\) class containing no definable elements. Zbl 1343.03040Kanovei, Vladimir; Lyubetsky, Vassily 14 2015 Formal spaces and their effective presentations. Zbl 0829.03026Sigstam, Inger 14 1995 Fragments of HA based on \(\Sigma_ 1\)-induction. Zbl 0886.03040Wehmeier, Kai F. 14 1997 Towers, mad families, and unboundedness. Zbl 07691808Fischer, Vera; Koelbing, Marlene; Wohofsky, Wolfgang 2 2023 Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse. Zbl 07680029Banerjee, Amitayu 1 2023 The structure of \(\kappa\)-maximal cofinitary groups. Zbl 07691801Fischer, Vera; Switzer, Corey Bacal 1 2023 Mutual algebraicity and cellularity. Zbl 07557513Braunfeld, Samuel; Laskowski, Michael C. 3 2022 Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts. Zbl 07541618Sato, Kentaro 2 2022 Hanf numbers for extendibility and related phenomena. Zbl 07541619Baldwin, John T.; Shelah, Saharon 2 2022 Coanalytic ultrafilter bases. Zbl 07541624Schilhan, Jonathan 2 2022 \(\Delta^0_1\) variants of the law of excluded middle and related principles. Zbl 07603659Fujiwara, Makoto 1 2022 Implicit recursion-theoretic characterizations of counting classes. Zbl 1506.03096Dal Lago, Ugo; Kahle, Reinhard; Oitavem, Isabel 1 2022 The existence of states based on Glivenko semihoops. Zbl 07603661He, Pengfei; Wang, Juntao; Yang, Jiang 1 2022 Small \(\mathfrak{u}(\kappa )\) at singular \(\kappa\) with compactness at \(\kappa^{++}\). Zbl 07495453Honzik, Radek; Stejskalová, Šárka 1 2022 On Hilbert algebras generated by the order. Zbl 07495458Castiglioni, J. L.; Celani, S. A.; San Martín, H. J. 1 2022 First-order theories of bounded trees. Zbl 07495462Kellerman, Ruaan 1 2022 Condensable models of set theory. Zbl 07541614Enayat, Ali 1 2022 Iterated multiplication in \(VTC^0\). Zbl 1500.03017Jeřábek, Emil 1 2022 Logics of left variable inclusion and Płonka sums of matrices. Zbl 1491.03088Bonzio, S.; Moraschini, T.; Pra Baldi, M. 13 2021 Strong downward Löwenheim-Skolem theorems for stationary logics. I. Zbl 1498.03117Fuchino, Sakaé; Rodrigues, André Ottenbreit Maschio; Sakai, Hiroshi 4 2021 Quantum logic is undecidable. Zbl 1473.03039Fritz, Tobias 3 2021 First-order concatenation theory with bounded quantifiers. Zbl 1498.03021Kristiansen, Lars; Murwanashyaka, Juvenal 3 2021 Tree-like constructions in topology and modal logic. Zbl 1500.03005Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J. 2 2021 Selection properties of the split interval and the Continuum hypothesis. Zbl 1479.54042Banakh, Taras 2 2021 Towers and clubs. Zbl 07373425Matet, Pierre 2 2021 On the spectra of cardinalities of branches of Kurepa trees. Zbl 07417492Poór, Márk 2 2021 Cichoń’s diagram and localisation cardinals. Zbl 1477.03194Goldstern, Martin; Klausner, Lukas Daniel 1 2021 Another method for constructing models of not approachability and not SCH. Zbl 07334541Gitik, Moti 1 2021 Sofic profiles of \(S(\omega)\) and computability. Zbl 07334542Ivanov, Aleksander 1 2021 Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum. Zbl 07334543Fuchino, Sakaé; Ottenbreit Maschio Rodrigues, André; Sakai, Hiroshi 1 2021 Continuous logic and embeddings of Lebesgue spaces. Zbl 1498.46011McNicholl, Timothy H. 1 2021 Ring structure theorems and arithmetic comprehension. Zbl 1473.03009Wu, Huishan 1 2021 A note on uniform density in weak arithmetical theories. Zbl 1477.03170Pianigiani, Duccio; Sorbi, Andrea 1 2021 Generalised stability of ultraproducts of finite residue rings. Zbl 07417486Bello Aguirre, Ricardo Isaac 1 2021 Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Zbl 1487.03065Kohlenbach, Ulrich 1 2021 Antichains of perfect and splitting trees. Zbl 1452.03102Hein, Paul; Spinas, Otmar 6 2020 Analytic computable structure theory and \(L^p\)-spaces. II. Zbl 1481.03034Brown, Tyler; McNicholl, Timothy H. 5 2020 Product of invariant types modulo domination-equivalence. Zbl 1480.03018Mennuni, Rosario 4 2020 NIP Henselian valued fields. Zbl 1444.03130Jahnke, Franziska; Simon, Pierre 4 2020 Classifying equivalence relations in the Ershov hierarchy. Zbl 1461.03041Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars 4 2020 Ordinal analyses for monotone and cofinal transfinite inductions. Zbl 1471.03083Sato, Kentaro 3 2020 Induction rules in bounded arithmetic. Zbl 1471.03082Jeřábek, Emil 3 2020 The weakly compact reflection principle need not imply a high order of weak compactness. Zbl 1445.03058Cody, Brent; Sakai, Hiroshi 3 2020 Fields with a dense-codense linearly independent multiplicative subgroup. Zbl 1480.03017Berenstein, Alexander; Vassiliev, Evgueni 3 2020 Rank-initial embeddings of non-standard models of set theory. Zbl 1481.03021Kindvall Gorbow, Paul 3 2020 Reversibility of extreme relational structures. Zbl 1481.03016Kurilić, Miloš S.; Morača, Nenad 3 2020 Finite sets and infinite sets in weak intuitionistic arithmetic. Zbl 1481.03066Nemoto, Takako 3 2020 The noneffectivity of Arslanov’s completeness criterion and related theorems. Zbl 1481.03032Terwijn, Sebastiaan A. 3 2020 A small ultrafilter number at smaller cardinals. Zbl 1481.03055Raghavan, Dilip; Shelah, Saharon 2 2020 Covering properties of \(\omega\)-mad families. Zbl 1515.03202Aurichi, Leandro; Zdomskyy, Lyubomyr 2 2020 A version of \(\kappa\)-Miller forcing. Zbl 1485.03192Mildenberger, Heike; Shelah, Saharon 2 2020 Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences. Zbl 1485.03228Sinapova, Dima; Souldatos, Ioannis 2 2020 Easton collapses and a strongly saturated filter. Zbl 1485.03214Shioya, Masahiro 2 2020 Uniform Lyndon interpolation property in propositional modal logics. Zbl 1462.03013Kurahashi, Taishi 2 2020 On the forking topology of a reduct of a simple theory. Zbl 1481.03015Shami, Ziv 1 2020 Weaker variants of infinite time Turing machines. Zbl 1455.03049Bianchetti, Matteo 1 2020 Non-forking w-good frames. Zbl 1480.03020Mazari-Armida, Marcos 1 2020 Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification. Zbl 1459.54006De La Pava, Luz Victoria; Russo, Ciro 1 2020 Definable one-dimensional topologies in o-minimal structures. Zbl 1480.03028Peterzil, Ya’Acov; Rosel, Ayala 1 2020 Deciding active structural completeness. Zbl 1480.08007Stronkowski, Michał M. 1 2020 Properties of the atoms in finitely supported structures. Zbl 1480.03046Alexandru, Andrei; Ciobanu, Gabriel 1 2020 Special ultrafilters and cofinal subsets of \(({}^\omega \omega, <^*)\). Zbl 1461.03048Nyikos, Peter 1 2020 On Ramsey choice and partial choice for infinite families of \(n\)-element sets. Zbl 1472.03056Halbeisen, Lorenz; Tachtsis, Eleftherios 1 2020 Cut elimination for entailment relations. Zbl 1477.03243Rinaldi, Davide; Wessel, Daniel 9 2019 Ideals of independence. Zbl 1477.03193Fischer, Vera; Montoya, Diana Carolina 9 2019 Uniform interpolation and sequent calculi in modal logic. Zbl 07006132Iemhoff, Rosalie 9 2019 The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako 8 2019 Definable valuations induced by multiplicative subgroups and NIP fields. Zbl 1468.03045Dupont, Katharina; Hasson, Assaf; Kuhlmann, Salma 6 2019 Degrees of bi-embeddable categoricity of equivalence structures. Zbl 1477.03143Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca 6 2019 Truth, disjunction, and induction. Zbl 1477.03250Enayat, Ali; Pakhomov, Fedor 6 2019 Using Ramsey’s theorem once. Zbl 1475.03071Hirst, Jeffry L.; Mummert, Carl 5 2019 Chainable and circularly chainable semicomputable sets in computable topological spaces. Zbl 1468.03052Čičković, Eugen; Iljazović, Zvonko; Validžić, Lucija 5 2019 Free sequences in \({\mathscr{P}}( \omega) /\mathrm{fin}\). Zbl 1455.03062Chodounský, David; Fischer, Vera; Grebík, Jan 5 2019 Diagonal reflections on squares. Zbl 07006123Fuchs, Gunter 5 2019 Selfextensional logics with a distributive nearlattice term. Zbl 1506.03129González, Luciano J. 4 2019 A model of the generic Vopěnka principle in which the ordinals are not Mahlo. Zbl 07006136Gitman, Victoria; Hamkins, Joel David 4 2019 A Laver-like indestructibility for hypermeasurable cardinals. Zbl 1477.03210Honzik, Radek 3 2019 The spectrum of independence. Zbl 1468.03059Fischer, Vera; Shelah, Saharon 3 2019 A note on groups definable in the \(p\)-adic field. Zbl 1468.03047Pillay, Anand; Yao, Ningyuan 3 2019 Convexity and unique minimum points. Zbl 1441.03045Berger, Josef; Svindland, Gregor 3 2019 Families of sets related to Rosenthal’s lemma. Zbl 1429.03155Sobota, Damian 3 2019 Extendible cardinals and the mantle. Zbl 07006127Usuba, Toshimichi 3 2019 On the non-existence of mad families. Zbl 1477.03211Horowitz, Haim; Shelah, Saharon 2 2019 Maehara-style modal nested calculi. Zbl 1477.03054Kuznets, Roman; Straßburger, Lutz 2 2019 Degree spectra of real closed fields. Zbl 1477.03169Miller, Russell; Ocasio González, Victor 2 2019 Elementary theories and hereditary undecidability for semilattices of numberings. Zbl 1477.03168Bazhenov, Nikolay; Mustafa, Manat; Yamaleev, Mars 2 2019 Prikry forcing and tree Prikry forcing of various filters. Zbl 1468.03062Benhamou, Tom 2 2019 Set-theoretic blockchains. Zbl 1468.03063Habič, Miha E.; Hamkins, Joel David; Klausner, Lukas Daniel; Verner, Jonathan; Williams, Kameryn J. 2 2019 Strange ultrafilters. Zbl 07006125Gitik, Moti 2 2019 A completeness theorem for continuous predicate modal logic. Zbl 1448.03012Baratella, Stefano 2 2019 Generic Vopěnka cardinals and models of ZF with few \(\aleph _1\)-Suslin sets. Zbl 1468.03067Wilson, Trevor M. 1 2019 Complete and atomic Tarski algebras. Zbl 1468.03082Celani, Sergio Arturo 1 2019 Construction with opposition: cardinal invariants and games. Zbl 1468.03061Brendle, Jörg; Hrušák, Michael; Torres-Pérez, Víctor 1 2019 Pseudo P-points and splitting number. Zbl 1468.03054Dow, Alan; Shelah, Saharon 1 2019 On the classification of vertex-transitive structures. Zbl 1477.03184Clemens, John; Coskey, Samuel; Potter, Stephanie 1 2019 Determinacy separations for class games. Zbl 1477.03224Hachtman, Sherwood 1 2019 A flexible type system for the small Veblen ordinal. Zbl 1439.03101Ranzi, Florian; Strahm, Thomas 1 2019 Sequent calculus for classical logic probabilized. Zbl 1446.03047Boričić, Marija 1 2019 Consistency of the intensional level of the minimalist foundation with Church’s thesis and axiom of choice. Zbl 07001422Ishihara, Hajime; Maietti, Maria Emilia; Maschio, Samuele; Streicher, Thomas 8 2018 Countable OD sets of reals belong to the ground model. Zbl 06860714Kanovei, Vladimir; Lyubetsky, Vassily 7 2018 Scott sentences for certain groups. Zbl 06860723Knight, Julia F.; Saraph, Vikram 7 2018 Continuous reducibility and dimension of metric spaces. Zbl 06860717Schlicht, Philipp 6 2018 Model theory of finite and pseudofinite groups. Zbl 1388.03037Macpherson, Dugald 5 2018 ...and 991 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,716 Authors 132 Shelah, Saharon 54 Apter, Arthur W. 39 Downey, Rodney Graham 38 Rathjen, Michael 37 Bazhenov, Nikolaĭ Alekseevich 35 Friedman, Sy-David 31 Montagna, Franco 31 Vasey, Sebastien 30 Visser, Albert 29 Cintula, Petr 26 Melnikov, Alexander G. 25 Esteva, Francesc 25 Gitik, Moti 25 Godo, Lluís 25 Matet, Pierre 24 Hrušák, Michael 23 Brendle, Jörg 23 Fischer, Vera 22 Noguera, Carles 21 Ciungu, Lavinia Corina 21 Kohlenbach, Ulrich Wilhelm 21 Negri, Sara 21 Rinot, Assaf 21 Sorbi, Andrea 20 Soskova, Mariya Ivanova 19 Bagaria, Joan 19 Buss, Samuel R. 19 Hamkins, Joel David 19 Kalimullin, Iskander Shagitovich 19 Schuster, Peter Michael 19 Vychodil, Vilém 18 Arai, Toshiyasu 17 Dobrinen, Natasha L. 17 Greenberg, Noam 17 Nour, Karim 17 Pillay, Anand 17 Stephan, Frank 17 Weiermann, Andreas 17 Wu, Guohua 16 Aguzzoli, Stefano 16 Bianchi, Matteo 16 Guzmán González, Osvaldo 16 Hájek, Petr 16 Hayut, Yair 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 Borzooei, Rajab Ali 15 Džamonja, Mirna 15 Flaminio, Tommaso 15 Jenei, Sándor 15 Kellner, Jakob 15 Kurilić, Miloš S. 15 Lempp, Steffen 15 Spinas, Otmar 14 Baaz, Matthias 14 Bělohlávek, Radim 14 Chajda, Ivan 14 Enayat, Ali 14 Harizanov, Valentina S. 14 Hyttinen, Tapani 14 Iemhoff, Rosalie 14 Jeřábek, Emil 14 Laskowski, Michael Chris 14 Lyubetsky, Vassily Aleksandrovich 14 Rachůnek, Jiří 14 Strahm, Thomas 14 Unger, Spencer T. 14 Yamaleev, Mars Mansurovich 13 Avigad, Jeremy 13 Boney, Will 13 Carl, Merlin 13 Cenzer, Douglas 13 Goldstern, Martin Robert 13 Harrison-Trainor, Matthew 13 Ishihara, Hajime 13 Krueger, John 13 Mejía, Diego Alejandro 13 Rybakov, Vladimir Vladimirovich 13 Selivanov, Viktor L’vovich 13 Wang, Zhudeng 13 Zdoms’kyĭ, Lyubomyr Sergiĭovych 12 Borumand Saeid, Arsham 12 Cummings, James 12 Di Nola, Antonio 12 Eleftheriou, Pantelis E. 12 Fernández Duque, David 12 Ferreira, Fernando 12 Golshani, Mohammad 12 Marcone, Alberto 12 Marra, Vincenzo 12 Mildenberger, Heike 12 Neeman, Itay 12 Paoli, Francesco 12 Patey, Ludovic 12 Sinapova, Dima ...and 2,616 more Authors all top 5 Cited in 266 Journals 551 Annals of Pure and Applied Logic 465 The Journal of Symbolic Logic 463 Archive for Mathematical Logic 203 Mathematical Logic Quarterly (MLQ) 167 Fuzzy Sets and Systems 128 Theoretical Computer Science 121 Studia Logica 93 The Bulletin of Symbolic Logic 90 Soft Computing 82 Israel Journal of Mathematics 79 Topology and its Applications 78 Proceedings of the American Mathematical Society 75 Notre Dame Journal of Formal Logic 73 Journal of Mathematical Logic 52 Transactions of the American Mathematical Society 51 MSCS. Mathematical Structures in Computer Science 50 Information Sciences 50 The Review of Symbolic Logic 46 Fundamenta Mathematicae 36 Information and Computation 34 International Journal of Approximate Reasoning 32 Algebra and Logic 32 Journal of Philosophical Logic 27 Advances in Mathematics 25 Journal of Pure and Applied Algebra 24 Journal of Algebra 21 Algebra Universalis 21 Mathematica Slovaca 20 Logical Methods in Computer Science 17 Journal of Applied Non-Classical Logics 17 Computability 14 Lobachevskii Journal of Mathematics 13 Siberian Mathematical Journal 13 Journal of Mathematical Sciences (New York) 12 Journal of Computer and System Sciences 12 Synthese 12 Theory of Computing Systems 12 Journal of Intelligent and Fuzzy Systems 12 Logica Universalis 11 International Journal of General Systems 11 Bulletin of the Section of Logic 11 Order 11 Iranian Journal of Fuzzy Systems 10 Communications in Algebra 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 8 Journal of Logic, Language and Information 8 Journal of the European Mathematical Society (JEMS) 8 The Journal of Logic and Algebraic Programming 8 ACM Transactions on Computational Logic 8 European Journal of Mathematics 7 Acta Mathematica Hungarica 7 Journal of Automated Reasoning 7 International Journal of Algebra and Computation 7 Selecta Mathematica. New Series 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 Journal of Applied Logic 6 Forum of Mathematics, Sigma 6 Open Mathematics 5 Artificial Intelligence 5 International Journal of Theoretical Physics 5 Bulletin of the London Mathematical Society 5 Czechoslovak Mathematical Journal 5 Journal of Functional Analysis 5 Journal of the Mathematical Society of Japan 5 Kybernetika 5 Memoirs of the American Mathematical Society 5 Monatshefte für Mathematik 5 Journal of the American Mathematical Society 5 Russian Mathematics 5 Applied Categorical Structures 5 Filomat 5 Logic and Logical Philosophy 5 Confluentes Mathematici 5 Korean Journal of Mathematics 4 Discrete Mathematics 4 Canadian Journal of Mathematics 4 Commentationes Mathematicae Universitatis Carolinae 4 Journal of the London Mathematical Society. Second Series 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 Doklady Mathematics 4 Journal of the Institute of Mathematics of Jussieu 4 Symmetry 4 Eurasian Mathematical Journal 4 Model Theory 3 Discrete Applied Mathematics 3 Mathematical Proceedings of the Cambridge Philosophical Society ...and 166 more Journals all top 5 Cited in 51 Fields 3,884 Mathematical logic and foundations (03-XX) 563 Computer science (68-XX) 540 Order, lattices, ordered algebraic structures (06-XX) 262 General topology (54-XX) 141 Group theory and generalizations (20-XX) 140 Combinatorics (05-XX) 90 Category theory; homological algebra (18-XX) 69 General algebraic systems (08-XX) 69 Functional analysis (46-XX) 66 Measure and integration (28-XX) 64 Field theory and polynomials (12-XX) 54 Real functions (26-XX) 46 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 40 Topological groups, Lie groups (22-XX) 36 History and biography (01-XX) 35 General and overarching topics; collections (00-XX) 35 Number theory (11-XX) 35 Dynamical systems and ergodic theory (37-XX) 23 Quantum theory (81-XX) 22 Commutative algebra (13-XX) 21 Associative rings and algebras (16-XX) 19 Linear and multilinear algebra; matrix theory (15-XX) 16 Probability theory and stochastic processes (60-XX) 15 Algebraic geometry (14-XX) 15 Operator theory (47-XX) 12 Information and communication theory, circuits (94-XX) 11 Algebraic topology (55-XX) 10 Geometry (51-XX) 9 Sequences, series, summability (40-XX) 9 Convex and discrete geometry (52-XX) 9 Manifolds and cell complexes (57-XX) 6 Abstract harmonic analysis (43-XX) 6 Operations research, mathematical programming (90-XX) 5 Difference and functional equations (39-XX) 5 Numerical analysis (65-XX) 4 Biology and other natural sciences (92-XX) 3 \(K\)-theory (19-XX) 3 Several complex variables and analytic spaces (32-XX) 3 Global analysis, analysis on manifolds (58-XX) 2 Approximations and expansions (41-XX) 2 Statistics (62-XX) 2 Systems theory; control (93-XX) 1 Nonassociative rings and algebras (17-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) Citations by Year