## Archive for Mathematical Logic

 Short Title: Arch. Math. Logic Publisher: Springer, Berlin/Heidelberg ISSN: 0933-5846; 1432-0665/e Online: http://link.springer.com/journal/volumesAndIssues/153 Predecessor: Archiv für Mathematische Logik und Grundlagenforschung Comments: Indexed cover-to-cover
 Documents Indexed: 1,423 Publications (since 1988) References Indexed: 1,108 Publications with 17,729 References.
all top 5

### Latest Issues

 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) 43, No. 2 (2004) 43, No. 1 (2004) 42, No. 8 (2003) 42, No. 7 (2003) ...and 91 more Volumes
all top 5

### Authors

 60 Shelah, Saharon 25 Apter, Arthur W. 16 Rathjen, Michael 14 Gitik, Moti 14 Sorbi, Andrea 13 Hirst, Jeffry Lynn 12 Montagna, Franco 11 Arai, Toshiyasu 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 Schindler, Ralf-Dieter 9 Shore, Richard Arnold 9 Visser, Albert 8 Cenzer, Douglas 8 Cintula, Petr 8 Friedman, Sy-David 8 Kohlenbach, Ulrich Wilhelm 8 Negri, Sara 8 Pillay, Anand 7 Brendle, Jörg 7 Esteva, Francesc 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 Baratella, Stefano 6 Bridges, Douglas Suth 6 Cunningham, Daniel Wendell 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 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 Di Nola, Antonio 5 Fischer, Vera 5 Georgescu, George 5 Harizanov, Valentina S. 5 Jäger, Gerhard 5 Kellner, Jakob 5 Mints, Grigoriĭ Efroimovich 5 Moniri, Morteza 5 Niggl, Karl-Heinz 5 Omanadze, Roland Sh. 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 4 Abe, Yoshihiro 4 Ardeshir, Mohammad 4 Baaz, Matthias 4 Baldwin, John T. 4 Beckmann, Arnold 4 Berger, Josef 4 Chitaia, Irakli O. 4 Cooper, Stuart Barry 4 Coquand, Thierry 4 Ding, Decheng 4 Dow, Alan S. 4 Eisworth, Todd 4 Fuchino, Sakaé 4 Gitman, Victoria 4 Godo, Lluís 4 Golshani, Mohammad 4 Halbeisen, Lorenz J. 4 Iemhoff, Rosalie 4 Jenei, Sándor 4 Kanovei, Vladimir G. 4 Krueger, John 4 Larson, Paul B. 4 Lempp, Steffen 4 Lessmann, Olivier 4 Li, Angsheng ...and 1,033 more Authors
all top 5

### Fields

 1,404 Mathematical logic and foundations (03-XX) 119 Order, lattices, ordered algebraic structures (06-XX) 94 Computer science (68-XX) 64 General topology (54-XX) 52 Group theory and generalizations (20-XX) 43 Combinatorics (05-XX) 29 Field theory and polynomials (12-XX) 21 Category theory; homological algebra (18-XX) 20 General algebraic systems (08-XX) 17 Measure and integration (28-XX) 17 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 14 Number theory (11-XX) 12 Real functions (26-XX) 11 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 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 Sequences, series, summability (40-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 Functions of a complex variable (30-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX)

### Citations contained in zbMATH Open

1,035 Publications have been cited 5,559 times in 3,903 Documents Cited by Year
The structure of multiplicatives. Zbl 0689.03013
Danos, Vincent; Regnier, Laurent
1989
Boolean deductive systems of BL-algebras. Zbl 1030.03048
Turunen, Esko
2001
Residuated fuzzy logics with an involutive negation. Zbl 0965.03035
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko
2000
Non-dual fuzzy connections. Zbl 1060.03042
Georgescu, George; Popescu, Andrei
2004
A complete many-valued logic with product-conjunction. Zbl 0848.03005
Hájek, Petr; Godo, Lluis; Esteva, Francesc
1996
Degrees of categoricity of computable structures. Zbl 1184.03026
Fokina, Ekaterina B.; Kalimullin, Iskander; Miller, Russell
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
2001
On certain indestructibility of strong cardinals and a question of Hajnal. Zbl 0663.03041
Gitik, Moti; Shelah, Saharon
1989
Reflecting stationary sets and successors of singular cardinals. Zbl 0742.03017
Shelah, Saharon
1991
Weakly implicative (fuzzy) logics. I: Basic properties. Zbl 1101.03015
Cintula, Petr
2006
The tree property at successors of singular cardinals. Zbl 0874.03060
Magidor, Menachem; Shelah, Saharon
1996
Natural deduction with general elimination rules. Zbl 1021.03050
von Plato, Jan
2001
The strength of some Martin-Löf type theories. Zbl 0819.03047
Griffor, Edward; Rathjen, Michael
1994
Bounded forcing axioms as principles of generic absoluteness. Zbl 0966.03047
Bagaria, Joan
2000
The number of proof lines and the size of proofs in first order logic. Zbl 0644.03032
Krajíček, Jan; Pudlák, Pavel
1988
Proof-theoretic analysis by iterated reflection. Zbl 1026.03041
Beklemishev, L. D.
2003
Measure theory and weak König’s lemma. Zbl 0718.03043
Yu, Xiaokang; Simpson, Stephen G.
1990
On the structure of rotation-invariant semigroups. Zbl 1028.06009
Jenei, Sándor
2003
Proof-theoretic analysis of KPM. Zbl 0727.03036
Rathjen, Michael
1991
Commutative basic algebras and non-associative fuzzy logics. Zbl 1168.03014
Botur, Michal; Halaš, Radomír
2009
Fuzzy logics based on $$[0,1)$$-continuous uninorms. Zbl 1128.03015
Gabbay, Dov; Metcalfe, George
2007
Compact representations of BL-algebras. Zbl 1040.03048
Di Nola, Antonio; Leuştean, Laurenţiu
2003
Deep sequent systems for modal logic. Zbl 1180.03023
Brünnler, Kai
2009
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
2003
Infinitary stability theory. Zbl 1343.03028
Vasey, Sebastien
2016
Representation and extension of states on MV-algebras. Zbl 1101.06008
Kroupa, Tomáš
2006
Contraction-free sequent calculi for geometric theories with an application to Barr’s theorem. Zbl 1025.03055
Negri, Sara
2003
Proof analysis in intermediate logics. Zbl 1241.03068
Dyckhoff, Roy; Negri, Sara
2012
On the parameterized complexity of short computation and factorization. Zbl 0944.68069
Cai, Liming; Chen, Jianer; Downey, Rodney G.; Fellows, Michael R.
1997
Sacks forcing, Laver forcing, and Martin’s axiom. Zbl 0755.03026
Judah, Haim; Miller, Arnold W.; Shelah, Saharon
1992
Notation systems for infinitary derivations. Zbl 0726.03038
Buchholz, Wilfried
1991
The $$n$$-rea enumeration degrees are dense. Zbl 0848.03023
Lachlan, Alistair H.; Shore, Richard A.
1992
Product Łukasiewicz logic. Zbl 1059.03011
Horčík, Rostislav; Cintula, Petr
2004
Implicational (semilinear) logics. I: A new hierarchy. Zbl 1196.03013
Cintula, Petr; Noguera, Carles
2010
Embeddings into the Medvedev and Muchnik lattices of $$\Pi^0_1$$ classes. Zbl 1058.03041
Binns, Stephen; Simpson, Stephen G.
2004
Fuzzy logic and fuzzy set theory. Zbl 0786.03039
Takeuti, Gaisi; Titani, Satoko
1992
Definability in the enumeration degrees. Zbl 0906.03043
Slaman, Theodore A.; Woodin, W. Hugh
1997
Identity crises and strong compactness. II: Strong cardinals. Zbl 0980.03057
Apter, Arthur W.; Cummings, James
2001
The realm of primitive recursion. Zbl 0659.03025
Simmons, Harold
1988
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050
Kohlenbach, Ulrich
1996
Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation). Zbl 0712.03009
Krivine, Jean-Louis
1990
$$C ^{(n)}$$-cardinals. Zbl 1250.03108
Bagaria, Joan
2012
Typed lambda-calculus in classical Zermelo-Fraenkel set theory. Zbl 0990.03008
Krivine, Jean-Louis
2001
An ordinal analysis of parameter free $$\Pi^{1}_{2}$$-comprehension. Zbl 1068.03047
Rathjen, Michael
2005
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Zbl 1076.03043
Noguera, Carles; Esteva, Francesc; Gispert, Joan
2005
Herbrand analyses. Zbl 0722.03040
Sieg, Wilfried
1991
Sierpiński-Zygmund functions that are Darboux, almost continuous, or have a perfect road. Zbl 0905.26001
Balcerzak, Marek; Ciesielski, Krzysztof; Natkaniec, Tomasz
1997
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Zbl 1025.03018
Cignoli, Roberto; Torrens, Antoni
2003
Ordinal arithmetic and $$\Sigma_1$$-elementarity. Zbl 0936.03055
Carlson, Timothy J.
1999
Forcing with quotients. Zbl 1171.03029
Hrušák, Michael; Zapletal, Jindřich
2008
Lowness for genericity. Zbl 1148.03033
Yu, Liang
2006
Many simple cardinal invariants. Zbl 0786.03030
Goldstern, Martin; Shelah, Saharon
1993
Shelah’s stability spectrum and homogeneity spectrum in finite diagrams. Zbl 1022.03017
Grossberg, Rami; Lessmann, Olivier
2002
Ordinal notations based on a weakly Mahlo cardinal. Zbl 0709.03042
Rathjen, Michael
1990
Interpolation in fuzzy logic. Zbl 0936.03026
Baaz, Matthias; Veith, Helmut
1999
Non-commutative Łukasiewicz propositional logic. Zbl 1096.03020
Leuştean, Ioana
2006
Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Zbl 1327.03046
Veldman, Wim
2014
Standard completeness theorem for $$\Pi$$MTL. Zbl 1071.03013
Horčík, Rostislav
2005
The unprovability of small inconsistency. A study of local and global interpretability. Zbl 0795.03080
Visser, Albert
1993
Epsilon substitution method for elementary analysis. Zbl 0848.03032
Mints, Grigori; Tupailo, Sergei; Buchholz, Wilfried
1996
Splittings. Zbl 0852.04004
Kamburelis, A.; Wȩglorz, B.
1996
Fuzzy equational logic. Zbl 1026.03016
Bělohlávek, Radim
2002
Mob families and mad families. Zbl 0905.03034
Brendle, Jörg
1998
Working below a $$low_ 2$$ recursively enumerable degree. Zbl 0693.03027
Shore, Richard A.; Slaman, Theodore A.
1990
Complexity of admissible rules. Zbl 1115.03010
Jeřábek, Emil
2007
Chains of saturated models in AECs. Zbl 1392.03046
Boney, Will; Vasey, Sebastien
2017
More on cardinal arithmetic. Zbl 0799.03052
Shelah, Saharon
1993
Nilpotent complements and Carter subgroups in stable $${\mathfrak R}$$. Zbl 0813.03022
Wagner, Frank O.
1994
Density of the Medvedev lattice of $$\Pi^0_1$$ classes. Zbl 1037.03040
Cenzer, Douglas; Hinman, Peter G.
2003
Ultraproducts and Chevalley groups. Zbl 0921.03008
Point, Françoise
1999
Leibniz filters and the strong version of a protoalgebraic logic. Zbl 1030.03050
Font, Josep Maria; Jansana, Ramon
2001
Undecidability results on two-variable logics. Zbl 0927.03015
Grädel, Erich; Otto, Martin; Rosen, Eric
1999
Strong measure zero and infinite games. Zbl 1417.03255
Galvin, Fred; Mycielski, Jan; Solovay, Robert M.
2017
Pointwise hereditary majorization and some applications. Zbl 0729.03031
Kohlenbach, Ulrich
1992
Proof theory and ordinal analysis. Zbl 0724.03033
Pohlers, W.
1991
Matrix iterations and Cichon’s diagram. Zbl 1270.03087
Mejía, Diego Alejandro
2013
Aronszajn trees and the successors of a singular cardinal. Zbl 1305.03041
Unger, Spencer
2013
Fuzzy Horn logic. I. Proof theory. Zbl 1095.03014
Bělohlávek, Radim; Vychodil, Vilém
2006
Resurrection axioms and uplifting cardinals. Zbl 1351.03043
Hamkins, Joel David; Johnstone, Thomas A.
2014
On the infinite-valued Łukasiewicz logic that preserves degrees of truth. Zbl 1117.03027
Font, Josep Maria; Gil, Àngel J.; Torrens, Antoni; Verdú, Ventura
2006
Formal spaces and their effective presentations. Zbl 0829.03026
Sigstam, Inger
1995
$$G$$-compactness and groups. Zbl 1146.03018
Gismatullin, Jakub; Newelski, Ludomir
2008
Pairs, sets and sequences in first-order theories. Zbl 1158.03037
Visser, Albert
2008
Iterations of Boolean algebras with measure. Zbl 0687.03032
Kamburelis, Anastasis
1989
Generalized Bosbach states. II. Zbl 1305.03060
Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia
2013
Birkhoff variety theorem and fuzzy logic. Zbl 1040.03018
Bělohlávek, Radim
2003
The isomorphism problem for classes of computable fields. Zbl 1059.03039
Calvert, Wesley
2004
Effectively closed sets and enumerations. Zbl 1140.03026
Brodhead, Paul; Cenzer, Douglas
2008
Fuzzy Horn logic. II. Implicationally defined classes. Zbl 1099.03016
Bělohlávek, Radim; Vychodil, Vilém
2006
Fragments of HA based on $$\Sigma_ 1$$-induction. Zbl 0886.03040
Wehmeier, Kai F.
1997
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
2017
Symmetry in abstract elementary classes with amalgamation. Zbl 1421.03016
VanDieren, Monica M.; Vasey, Sebastien
2017
On the predicate logics of continuous t-norm BL-algebras. Zbl 1070.03013
Montagna, Franco
2005
A logical and algebraic treatment of conditional probability. Zbl 1064.03016
Flaminio, Tommaso; Montagna, Franco
2005
A primer of simple theories. Zbl 1024.03029
Grossberg, Rami; Iovino, José; Lessmann, Olivier
2002
Advances in the Ł$$\Pi$$ and Ł$$\Pi\frac 12$$ logics. Zbl 1026.03017
Cintula, Petr
2003
A proof-theoretic analysis of collection. Zbl 0916.03038
Beklemishev, Lev D.
1998
The logic of $$\Pi_ 1$$-conservativity. Zbl 0713.03007
Hájek, Petr; Montagna, Franco
1990
Fragility and indestructibility of the tree property. Zbl 1262.03106
Unger, Spencer
2012
Tree indiscernibilities, revisited. Zbl 1297.03023
Kim, Byunghan; Kim, Hyeung-Joon; Scow, Lynn
2014
Condensable models of set theory. Zbl 07541614
Enayat, Ali
2022
Hanf numbers for extendibility and related phenomena. Zbl 07541619
Baldwin, John T.; Shelah, Saharon
2022
Mutual algebraicity and cellularity. Zbl 07557513
Braunfeld, Samuel; Laskowski, Michael C.
2022
Logics of left variable inclusion and Płonka sums of matrices. Zbl 1491.03088
Bonzio, S.; Moraschini, T.; Pra Baldi, M.
2021
Tree-like constructions in topology and modal logic. Zbl 07334533
Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J.
2021
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Zbl 1487.03065
Kohlenbach, Ulrich
2021
Strong downward Löwenheim-Skolem theorems for stationary logics, I. Zbl 07297797
Fuchino, Sakaé; Rodrigues, André Ottenbreit Maschio; Sakai, Hiroshi
2021
Continuous logic and embeddings of Lebesgue spaces. Zbl 07297800
McNicholl, Timothy H.
2021
Ring structure theorems and arithmetic comprehension. Zbl 1473.03009
Wu, Huishan
2021
A note on uniform density in weak arithmetical theories. Zbl 1477.03170
Pianigiani, Duccio; Sorbi, Andrea
2021
Quantum logic is undecidable. Zbl 1473.03039
Fritz, Tobias
2021
Another method for constructing models of not approachability and not SCH. Zbl 07334541
Gitik, Moti
2021
Sofic profiles of $$S(\omega)$$ and computability. Zbl 07334542
Ivanov, Aleksander
2021
Analytic computable structure theory and $$L^p$$-spaces. II. Zbl 1481.03034
Brown, Tyler; McNicholl, Timothy H.
2020
Antichains of perfect and splitting trees. Zbl 1452.03102
Hein, Paul; Spinas, Otmar
2020
Finite sets and infinite sets in weak intuitionistic arithmetic. Zbl 1481.03066
Nemoto, Takako
2020
Fields with a dense-codense linearly independent multiplicative subgroup. Zbl 1480.03017
Berenstein, Alexander; Vassiliev, Evgueni
2020
A small ultrafilter number at smaller cardinals. Zbl 1481.03055
Raghavan, Dilip; Shelah, Saharon
2020
Covering properties of $$\omega$$-mad families. Zbl 07184241
Aurichi, Leandro; Zdomskyy, Lyubomyr
2020
Rank-initial embeddings of non-standard models of set theory. Zbl 1481.03021
Kindvall Gorbow, Paul
2020
Reversibility of extreme relational structures. Zbl 1481.03016
Kurilić, Miloš S.; Morača, Nenad
2020
Uniform Lyndon interpolation property in propositional modal logics. Zbl 1462.03013
Kurahashi, Taishi
2020
The noneffectivity of Arslanov’s completeness criterion and related theorems. Zbl 1481.03032
Terwijn, Sebastiaan A.
2020
Ordinal analyses for monotone and cofinal transfinite inductions. Zbl 1471.03083
Sato, Kentaro
2020
Induction rules in bounded arithmetic. Zbl 1471.03082
Jeřábek, Emil
2020
On Ramsey choice and partial choice for infinite families of $$n$$-element sets. Zbl 1472.03056
Halbeisen, Lorenz; Tachtsis, Eleftherios
2020
Product of invariant types modulo domination-equivalence. Zbl 1480.03018
Mennuni, Rosario
2020
Non-forking w-good frames. Zbl 1480.03020
Mazari-Armida, Marcos
2020
Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification. Zbl 1459.54006
De La Pava, Luz Victoria; Russo, Ciro
2020
The weakly compact reflection principle need not imply a high order of weak compactness. Zbl 1445.03058
Cody, Brent; Sakai, Hiroshi
2020
Properties of the atoms in finitely supported structures. Zbl 1480.03046
Alexandru, Andrei; Ciobanu, Gabriel
2020
Classifying equivalence relations in the Ershov hierarchy. Zbl 1461.03041
Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars
2020
Easton collapses and a strongly saturated filter. Zbl 1485.03214
Shioya, Masahiro
2020
Uniform interpolation and sequent calculi in modal logic. Zbl 07006132
Iemhoff, Rosalie
2019
Cut elimination for entailment relations. Zbl 1477.03243
Rinaldi, Davide; Wessel, Daniel
2019
Ideals of independence. Zbl 1477.03193
Fischer, Vera; Montoya, Diana Carolina
2019
Chainable and circularly chainable semicomputable sets in computable topological spaces. Zbl 1468.03052
Čičković, Eugen; Iljazović, Zvonko; Validžić, Lucija
2019
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako
2019
Truth, disjunction, and induction. Zbl 1477.03250
Enayat, Ali; Pakhomov, Fedor
2019
Definable valuations induced by multiplicative subgroups and NIP fields. Zbl 1468.03045
Dupont, Katharina; Hasson, Assaf; Kuhlmann, Salma
2019
Using Ramsey’s theorem once. Zbl 1475.03071
Hirst, Jeffry L.; Mummert, Carl
2019
A note on groups definable in the $$p$$-adic field. Zbl 1468.03047
Pillay, Anand; Yao, Ningyuan
2019
Diagonal reflections on squares. Zbl 07006123
Fuchs, Gunter
2019
Convexity and unique minimum points. Zbl 1441.03045
Berger, Josef; Svindland, Gregor
2019
Selfextensional logics with a distributive nearlattice term. Zbl 07006135
González, Luciano J.
2019
A model of the generic Vopěnka principle in which the ordinals are not Mahlo. Zbl 07006136
Gitman, Victoria; Hamkins, Joel David
2019
Degrees of bi-embeddable categoricity of equivalence structures. Zbl 1477.03143
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
2019
A Laver-like indestructibility for hypermeasurable cardinals. Zbl 1477.03210
Honzik, Radek
2019
Degree spectra of real closed fields. Zbl 1477.03169
Miller, Russell; Ocasio González, Victor
2019
Set-theoretic blockchains. Zbl 1468.03063
Habič, Miha E.; Hamkins, Joel David; Klausner, Lukas Daniel; Verner, Jonathan; Williams, Kameryn J.
2019
Free sequences in $${\mathscr{P}}( \omega) /\mathrm{fin}$$. Zbl 1455.03062
Chodounský, David; Fischer, Vera; Grebík, Jan
2019
Families of sets related to Rosenthal’s lemma. Zbl 1429.03155
Sobota, Damian
2019
On the non-existence of mad families. Zbl 1477.03211
Horowitz, Haim; Shelah, Saharon
2019
Elementary theories and hereditary undecidability for semilattices of numberings. Zbl 1477.03168
Bazhenov, Nikolay; Mustafa, Manat; Yamaleev, Mars
2019
Prikry forcing and tree Prikry forcing of various filters. Zbl 1468.03062
Benhamou, Tom
2019
Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$-Suslin sets. Zbl 1468.03067
Wilson, Trevor M.
2019
The spectrum of independence. Zbl 1468.03059
Fischer, Vera; Shelah, Saharon
2019
Pseudo P-points and splitting number. Zbl 1468.03054
Dow, Alan; Shelah, Saharon
2019
Strange ultrafilters. Zbl 07006125
Gitik, Moti
2019
Determinacy separations for class games. Zbl 1477.03224
Hachtman, Sherwood
2019
Scott sentences for certain groups. Zbl 06860723
Knight, Julia F.; Saraph, Vikram
2018
Countable OD sets of reals belong to the ground model. Zbl 06860714
Kanovei, Vladimir; Lyubetsky, Vassily
2018
Model theory of finite and pseudofinite groups. Zbl 1388.03037
Macpherson, Dugald
2018
The subcompleteness of Magidor forcing. Zbl 06860713
Fuchs, Gunter
2018
Quasiminimal abstract elementary classes. Zbl 06860715
Vasey, Sebastien
2018
On Katětov and Katětov-Blass orders on analytic P-ideals and Borel ideals. Zbl 06860716
Sakai, Hiroshi
2018
Continuous reducibility and dimension of metric spaces. Zbl 06860717
Schlicht, Philipp
2018
Implicational (semilinear) logics. III: Completeness properties. Zbl 06860720
Cintula, Petr; Noguera, Carles
2018
Consistency of the intensional level of the minimalist foundation with Church’s thesis and axiom of choice. Zbl 07001422
Ishihara, Hajime; Maietti, Maria Emilia; Maschio, Samuele; Streicher, Thomas
2018
Largest initial segments pointwise fixed by automorphisms of models of set theory. Zbl 1477.03152
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
2018
Good frames in the Hart-Shelah example. Zbl 06919833
Boney, Will; Vasey, Sebastien
2018
A weak variant of Hindman’s theorem stronger than Hilbert’s theorem. Zbl 1384.03094
Carlucci, Lorenzo
2018
Embedding locales and formal topologies into positive topologies. Zbl 07001415
Ciraulo, Francesco; Sambin, Giovanni
2018
Closure properties of parametric subcompleteness. Zbl 07001419
Fuchs, Gunter
2018
Shadows of the axiom of choice in the universe $$L(\mathbb {R})$$. Zbl 06919828
Mycielski, Jan; Tomkowicz, Grzegorz
2018
Ax-Schanuel for linear differential equations. Zbl 1476.12004
Aslanyan, Vahagn
2018
The long extender algebra. Zbl 1405.03085
Schindler, Ralf
2018
Iterated ultrapowers for the masses. Zbl 1483.03024
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
2018
Derivatives of normal functions and $$\omega$$-models. Zbl 06919831
Arai, Toshiyasu
2018
On the minimal cover property and certain notions of finite. Zbl 1446.03083
Tachtsis, Eleftherios
2018
$$l$$-groups $$C(X)$$ in continuous logic. Zbl 1446.03072
Scowcroft, Philip
2018
Expressivity in chain-based modal logics. Zbl 06860718
Marti, Michel; Metcalfe, George
2018
Generic variations and NTP$$_1$$. Zbl 07001421
Dobrowolski, Jan
2018
On partial disjunction properties of theories containing Peano arithmetic. Zbl 1446.03102
Kurahashi, Taishi
2018
On some dynamical aspects of NIP theories. Zbl 1477.03138
Mofidi, Alireza
2018
Aronszajn and Kurepa trees. Zbl 1477.03205
Cummings, James
2018
Collapsing $$\omega _2$$ with semi-proper forcing. Zbl 1477.03221
Todorcevic, Stevo
2018
Relative exchangeability with equivalence relations. Zbl 06919823
Crane, Harry; Towsner, Henry
2018
Bounding quantification in parametric expansions of Presburger arithmetic. Zbl 06919825
Goodrick, John
2018
A weird relation between two cardinals. Zbl 1454.03067
Halbeisen, Lorenz
2018
Borel globalizations of partial actions of Polish groups. Zbl 1400.54046
Pinedo, H.; Uzcategui, C.
2018
On a class of maximality principles. Zbl 06919834
Ikegami, Daisuke; Trang, Nam
2018
Chains of saturated models in AECs. Zbl 1392.03046
Boney, Will; Vasey, Sebastien
2017
Strong measure zero and infinite games. Zbl 1417.03255
Galvin, Fred; Mycielski, Jan; Solovay, Robert M.
2017
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
2017
Symmetry in abstract elementary classes with amalgamation. Zbl 1421.03016
VanDieren, Monica M.; Vasey, Sebastien
2017
Katětov order on Borel ideals. Zbl 1417.03256
Hrušák, Michael
2017
Creature forcing and five cardinal characteristics in Cichoń’s diagram. Zbl 1404.03040
Fischer, Arthur; Goldstern, Martin; Kellner, Jakob; Shelah, Saharon
2017
Generic Vopěnka’s principle, remarkable cardinals, and the weak proper forcing axiom. Zbl 1417.03260
Bagaria, Joan; Gitman, Victoria; Schindler, Ralf
2017
Saturation and solvability in abstract elementary classes with amalgamation. Zbl 1387.03031
Vasey, Sebastien
2017
...and 935 more Documents
all top 5

### Cited by 2,514 Authors

 118 Shelah, Saharon 50 Apter, Arthur W. 37 Downey, Rodney Graham 34 Friedman, Sy-David 33 Bazhenov, Nikolaĭ Alekseevich 33 Rathjen, Michael 30 Montagna, Franco 29 Cintula, Petr 29 Visser, Albert 27 Vasey, Sebastien 24 Esteva, Francesc 24 Godo, Lluís 24 Hrušák, Michael 24 Melnikov, Alexander G. 22 Gitik, Moti 22 Matet, Pierre 21 Brendle, Jörg 21 Noguera, Carles 20 Kohlenbach, Ulrich Wilhelm 19 Ciungu, Lavinia Corina 19 Sorbi, Andrea 19 Vychodil, Vilém 18 Arai, Toshiyasu 18 Hamkins, Joel David 18 Negri, Sara 18 Rinot, Assaf 17 Fischer, Vera 17 Greenberg, Noam 17 Kalimullin, Iskander Shagitovich 17 Pillay, Anand 17 Schuster, Peter Michael 17 Soskova, Mariya Ivanova 17 Stephan, Frank 16 Hájek, Petr 16 Magidor, Menachem 16 Nour, Karim 16 Shore, Richard Arnold 16 Weiermann, Andreas 15 Flaminio, Tommaso 15 Montalbán, Antonio 15 Wu, Guohua 14 Aguzzoli, Stefano 14 Baaz, Matthias 14 Bagaria, Joan 14 Bělohlávek, Radim 14 Bianchi, Matteo 14 Chajda, Ivan 14 Dobrinen, Natasha L. 14 Džamonja, Mirna 14 Enayat, Ali 14 Harizanov, Valentina S. 14 Hyttinen, Tapani 14 Kanovei, Vladimir G. 14 Kurilić, Miloš S. 14 Rachůnek, Jiří 14 Spinas, Otmar 14 Strahm, Thomas 14 Yamaleev, Mars Mansurovich 13 Avigad, Jeremy 13 Borzooei, Rajab Ali 13 Guzmán González, Osvaldo 13 Harrison-Trainor, Matthew 13 Hayut, Yair 13 Ishihara, Hajime 13 Jenei, Sándor 13 Kellner, Jakob 13 Lempp, Steffen 13 Ng, KengMeng 13 Unger, Spencer T. 13 Wang, Zhudeng 12 Beklemishev, Lev D. 12 Boney, Will 12 Cenzer, Douglas 12 Di Nola, Antonio 12 Ferreira, Fernando 12 Goldstern, Martin Robert 12 Krueger, John 12 Laskowski, Michael Chris 12 Lyubetsky, Vassily Aleksandrovich 12 Marcone, Alberto 12 Marra, Vincenzo 12 Neeman, Itay 12 Rybakov, Vladimir Vladimirovich 12 Sinapova, Dima 12 Slaman, Theodore A. 12 Tachtsis, Eleftherios 12 Zdoms’kyĭ, Lyubomyr Sergiĭovych 11 Asperó, David 11 Borumand Saeid, Arsham 11 Carl, Merlin 11 Cummings, James 11 Golshani, Mohammad 11 Iemhoff, Rosalie 11 Jeřábek, Emil 11 Mejía, Diego Alejandro 11 Metcalfe, George 11 Mildenberger, Heike 11 Miller, Russell G. 11 Paoli, Francesco 11 Patey, Ludovic ...and 2,414 more Authors
all top 5

### Cited in 251 Journals

 524 Annals of Pure and Applied Logic 447 Archive for Mathematical Logic 439 The Journal of Symbolic Logic 166 Fuzzy Sets and Systems 127 Mathematical Logic Quarterly (MLQ) 124 Theoretical Computer Science 108 Studia Logica 87 The Bulletin of Symbolic Logic 87 Soft Computing 76 Israel Journal of Mathematics 74 Proceedings of the American Mathematical Society 70 Notre Dame Journal of Formal Logic 69 Topology and its Applications 66 Journal of Mathematical Logic 50 Transactions of the American Mathematical Society 48 Information Sciences 46 The Review of Symbolic Logic 45 MSCS. Mathematical Structures in Computer Science 40 Fundamenta Mathematicae 35 Information and Computation 31 International Journal of Approximate Reasoning 30 Algebra and Logic 29 Journal of Philosophical Logic 25 Advances in Mathematics 24 Journal of Pure and Applied Algebra 23 Journal of Algebra 20 Algebra Universalis 19 Mathematica Slovaca 16 Logical Methods in Computer Science 15 Journal of Applied Non-Classical Logics 14 Lobachevskii Journal of Mathematics 13 Journal of Mathematical Sciences (New York) 13 Computability 12 Siberian Mathematical Journal 12 Journal of Intelligent and Fuzzy Systems 11 International Journal of General Systems 11 Journal of Computer and System Sciences 11 Order 11 Theory of Computing Systems 11 Logica Universalis 10 Synthese 10 Iranian Journal of Fuzzy Systems 9 Communications in Algebra 9 Bulletin of the Section of Logic 9 Bulletin of the Polish Academy of Sciences, Mathematics 9 Indagationes Mathematicae. New Series 9 Annals of Mathematics and Artificial Intelligence 8 Journal of Mathematical Analysis and Applications 8 Journal of Logic, Language and Information 8 The Journal of Logic and Algebraic Programming 8 Journal of Logic and Analysis 7 Selecta Mathematica. New Series 7 Journal of Group Theory 7 Journal of the European Mathematical Society (JEMS) 7 ACM Transactions on Computational Logic 7 Afrika Matematika 7 European Journal of Mathematics 6 Computers & Mathematics with Applications 6 Information Processing Letters 6 Acta Mathematica Hungarica 6 Journal of Automated Reasoning 6 Journal of Multiple-Valued Logic and Soft Computing 6 Journal of Applied Logic 6 Sibirskie Èlektronnye Matematicheskie Izvestiya 6 Open Mathematics 5 International Journal of Theoretical Physics 5 Czechoslovak Mathematical Journal 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 International Journal of Algebra and Computation 5 Applied Categorical Structures 5 Logic and Logical Philosophy 5 Forum of Mathematics, Sigma 5 Korean Journal of Mathematics 4 Artificial Intelligence 4 Discrete Mathematics 4 Journal of Functional Analysis 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 Filomat 4 Journal of Applied Analysis 4 Journal of the Institute of Mathematics of Jussieu 4 Confluentes Mathematici 4 Symmetry 4 Eurasian Mathematical Journal 3 Discrete Applied Mathematics 3 Mathematical Proceedings of the Cambridge Philosophical Society 3 Monatshefte für Mathematik 3 Publications de l’Institut Mathématique. Nouvelle Série 3 Rendiconti del Seminario Matematico della Università di Padova 3 Combinatorica 3 Forum Mathematicum 3 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 3 Russian Mathematics 3 Topology Proceedings 3 RAIRO. Theoretical Informatics and Applications ...and 151 more Journals
all top 5

### Cited in 50 Fields

 3,519 Mathematical logic and foundations (03-XX) 513 Computer science (68-XX) 494 Order, lattices, ordered algebraic structures (06-XX) 235 General topology (54-XX) 137 Group theory and generalizations (20-XX) 124 Combinatorics (05-XX) 80 Category theory; homological algebra (18-XX) 65 General algebraic systems (08-XX) 63 Functional analysis (46-XX) 59 Measure and integration (28-XX) 55 Field theory and polynomials (12-XX) 50 Real functions (26-XX) 42 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 36 Topological groups, Lie groups (22-XX) 34 History and biography (01-XX) 31 Number theory (11-XX) 30 General and overarching topics; collections (00-XX) 30 Dynamical systems and ergodic theory (37-XX) 20 Associative rings and algebras (16-XX) 19 Linear and multilinear algebra; matrix theory (15-XX) 18 Quantum theory (81-XX) 16 Commutative algebra (13-XX) 16 Probability theory and stochastic processes (60-XX) 13 Algebraic geometry (14-XX) 13 Information and communication theory, circuits (94-XX) 10 Geometry (51-XX) 10 Algebraic topology (55-XX) 9 Operator theory (47-XX) 9 Manifolds and cell complexes (57-XX) 8 Convex and discrete geometry (52-XX) 6 Sequences, series, summability (40-XX) 5 Difference and functional equations (39-XX) 5 Abstract harmonic analysis (43-XX) 5 Numerical analysis (65-XX) 5 Operations research, mathematical programming (90-XX) 4 Biology and other natural sciences (92-XX) 3 $$K$$-theory (19-XX) 3 Global analysis, analysis on manifolds (58-XX) 2 Several complex variables and analytic spaces (32-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 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)