×

zbMATH — the first resource for mathematics

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,372 Publications (since 1988)
References Indexed: 1,057 Publications with 16,847 References.
all top 5

Latest Issues

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)
42, No. 6 (2003)
42, No. 5 (2003)
42, No. 4 (2003)
42, No. 3 (2003)
...and 87 more Volumes
all top 5

Authors

58 Shelah, Saharon
25 Apter, Arthur W.
16 Rathjen, Michael
14 Sorbi, Andrea
13 Gitik, Moti
13 Hirst, Jeffry Lynn
12 Montagna, Franco
11 Arai, Toshiyasu
10 Hyttinen, Tapani
10 Knight, Julia F.
10 Weiermann, Andreas
9 Hamkins, Joel David
9 Hrušák, Michael
9 Matet, Pierre
9 Schindler, Ralf-Dieter
9 Shore, Richard A.
9 Visser, Albert
8 Cenzer, Douglas
8 Cintula, Petr
8 Enayat, Ali
8 Friedman, Sy-David
8 Laskowski, Michael Chris
8 Negri, Sara
8 Pillay, Anand
7 Brendle, Jörg
7 Esteva, Francesc
7 Fuchs, Gunter
7 Koepke, Peter
7 Kohlenbach, Ulrich Wilhelm
7 Krajíček, Jan
7 Normann, Dag
7 Sakai, Hiroshi
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 Judah, Haim I.
6 Kurilić, Miloš S.
6 Mildenberger, Heike
6 Neeman, Itay
6 Rosłanowski, Andrzej
6 Sargsyan, Grigor
6 Tanović, Predrag
6 Towsner, Henry
6 Tzouvaras, Athanassios
6 Vasey, Sebastien
5 Bělohlávek, Radim
5 Bezhanishvili, Guram
5 Buchholz, Wilfried
5 Cummings, James
5 Di Nola, Antonio
5 Fischer, Vera
5 Georgescu, George
5 Jeřábek, Emil
5 Kellner, Jakob
5 Mints, Grigoriĭ Efroimovich
5 Moniri, Morteza
5 Niggl, Karl-Heinz
5 Palmgren, Erik
5 Schmerl, James H.
5 Spinas, Otmar
5 Strahm, Thomas
5 Todorcevic, Stevo B.
5 Wagner, Frank Olaf
4 Abe, Yoshihiro
4 Ardeshir, Mohammad
4 Baaz, Matthias
4 Beckmann, Arnold
4 Berger, Josef
4 Cooper, Stuart Barry
4 Coquand, Thierry
4 Ding, Decheng
4 Fuchino, Sakaé
4 Gitman, Victoria
4 Godo, Lluís
4 Golshani, Mohammad
4 Halbeisen, Lorenz J.
4 Harizanov, Valentina S.
4 Iemhoff, Rosalie
4 Jäger, Gerhard
4 Jenei, Sándor
4 Kanovei, Vladimir G.
4 Krueger, John
4 Larson, Paul B.
4 Lessmann, Olivier
4 Li, Angsheng
4 Marcone, Alberto
4 Marker, David E.
4 Marshall, M. Victoria
4 Metcalfe, George
4 Miller, Russell G.
4 Minari, Pierluigi
4 Nemoto, Takako
4 Noguera, Carles
4 Nour, Karim
...and 997 more Authors

Publications by Year

Citations contained in zbMATH Open

990 Publications have been cited 5,027 times in 3,540 Documents Cited by Year
The structure of multiplicatives. Zbl 0689.03013
Danos, Vincent; Regnier, Laurent
80
1989
Boolean deductive systems of BL-algebras. Zbl 1030.03048
Turunen, Esko
78
2001
Residuated fuzzy logics with an involutive negation. Zbl 0965.03035
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko
66
2000
Non-dual fuzzy connections. Zbl 1060.03042
Georgescu, George; Popescu, Andrei
56
2004
A complete many-valued logic with product-conjunction. Zbl 0848.03005
Hájek, Petr; Godo, Lluis; Esteva, Francesc
53
1996
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
51
2001
On certain indestructibility of strong cardinals and a question of Hajnal. Zbl 0663.03041
Gitik, Moti; Shelah, Saharon
48
1989
Degrees of categoricity of computable structures. Zbl 1184.03026
Fokina, Ekaterina B.; Kalimullin, Iskander; Miller, Russell
47
2010
Reflecting stationary sets and successors of singular cardinals. Zbl 0742.03017
Shelah, Saharon
42
1991
Weakly implicative (fuzzy) logics. I: Basic properties. Zbl 1101.03015
Cintula, Petr
41
2006
The tree property at successors of singular cardinals. Zbl 0874.03060
Magidor, Menachem; Shelah, Saharon
39
1996
Natural deduction with general elimination rules. Zbl 1021.03050
von Plato, Jan
35
2001
The strength of some Martin-Löf type theories. Zbl 0819.03047
Griffor, Edward; Rathjen, Michael
33
1994
Bounded forcing axioms as principles of generic absoluteness. Zbl 0966.03047
Bagaria, Joan
30
2000
On the structure of rotation-invariant semigroups. Zbl 1028.06009
Jenei, Sándor
29
2003
Fuzzy logics based on \([0,1)\)-continuous uninorms. Zbl 1128.03015
Gabbay, Dov; Metcalfe, George
29
2007
The number of proof lines and the size of proofs in first order logic. Zbl 0644.03032
Krajíček, Jan; Pudlák, Pavel
28
1988
Measure theory and weak König’s lemma. Zbl 0718.03043
Yu, Xiaokang; Simpson, Stephen G.
28
1990
Proof-theoretic analysis by iterated reflection. Zbl 1026.03041
Beklemishev, L. D.
27
2003
Compact representations of BL-algebras. Zbl 1040.03048
Di Nola, Antonio; Leuştean, Laurenţiu
26
2003
Proof-theoretic analysis of KPM. Zbl 0727.03036
Rathjen, Michael
26
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
25
2003
Infinitary stability theory. Zbl 1343.03028
Vasey, Sebastien
24
2016
Contraction-free sequent calculi for geometric theories with an application to Barr’s theorem. Zbl 1025.03055
Negri, Sara
23
2003
Product Łukasiewicz logic. Zbl 1059.03011
Horčík, Rostislav; Cintula, Petr
23
2004
On the parameterized complexity of short computation and factorization. Zbl 0944.68069
Cai, Liming; Chen, Jianer; Downey, Rodney G.; Fellows, Michael R.
23
1997
Representation and extension of states on MV-algebras. Zbl 1101.06008
Kroupa, Tomáš
23
2006
Commutative basic algebras and non-associative fuzzy logics. Zbl 1168.03014
Botur, Michal; Halaš, Radomír
23
2009
The \(n\)-rea enumeration degrees are dense. Zbl 0848.03023
Lachlan, Alistair H.; Shore, Richard A.
23
1992
Notation systems for infinitary derivations. Zbl 0726.03038
Buchholz, Wilfried
23
1991
Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes. Zbl 1058.03041
Binns, Stephen; Simpson, Stephen G.
22
2004
Deep sequent systems for modal logic. Zbl 1180.03023
Brünnler, Kai
22
2009
Proof analysis in intermediate logics. Zbl 1241.03068
Dyckhoff, Roy; Negri, Sara
22
2012
Identity crises and strong compactness. II: Strong cardinals. Zbl 0980.03057
Apter, Arthur W.; Cummings, James
21
2001
Definability in the enumeration degrees. Zbl 0906.03043
Slaman, Theodore A.; Woodin, W. Hugh
21
1997
Sacks forcing, Laver forcing, and Martin’s axiom. Zbl 0755.03026
Judah, Haim; Miller, Arnold W.; Shelah, Saharon
21
1992
Implicational (semilinear) logics. I: A new hierarchy. Zbl 1196.03013
Cintula, Petr; Noguera, Carles
21
2010
Fuzzy logic and fuzzy set theory. Zbl 0786.03039
Takeuti, Gaisi; Titani, Satoko
20
1992
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050
Kohlenbach, Ulrich
20
1996
The realm of primitive recursion. Zbl 0659.03025
Simmons, Harold
20
1988
Typed lambda-calculus in classical Zermelo-Fraenkel set theory. Zbl 0990.03008
Krivine, Jean-Louis
19
2001
Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation). Zbl 0712.03009
Krivine, Jean-Louis
19
1990
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Zbl 1025.03018
Cignoli, Roberto; Torrens, Antoni
18
2003
Lowness for genericity. Zbl 1148.03033
Yu, Liang
18
2006
Herbrand analyses. Zbl 0722.03040
Sieg, Wilfried
18
1991
Shelah’s stability spectrum and homogeneity spectrum in finite diagrams. Zbl 1022.03017
Grossberg, Rami; Lessmann, Olivier
17
2002
Sierpiński-Zygmund functions that are Darboux, almost continuous, or have a perfect road. Zbl 0905.26001
Balcerzak, Marek; Ciesielski, Krzysztof; Natkaniec, Tomasz
17
1997
Non-commutative Łukasiewicz propositional logic. Zbl 1096.03020
Leuştean, Ioana
17
2006
\(C ^{(n)}\)-cardinals. Zbl 1250.03108
Bagaria, Joan
17
2012
Standard completeness theorem for \(\Pi\)MTL. Zbl 1071.03013
Horčík, Rostislav
16
2005
Ordinal arithmetic and \(\Sigma_1\)-elementarity. Zbl 0936.03055
Carlson, Timothy J.
16
1999
Interpolation in fuzzy logic. Zbl 0936.03026
Baaz, Matthias; Veith, Helmut
16
1999
Epsilon substitution method for elementary analysis. Zbl 0848.03032
Mints, Grigori; Tupailo, Sergei; Buchholz, Wilfried
16
1996
Forcing with quotients. Zbl 1171.03029
Hrušák, Michael; Zapletal, Jindřich
16
2008
Working below a \(low_ 2\) recursively enumerable degree. Zbl 0693.03027
Shore, Richard A.; Slaman, Theodore A.
16
1990
Complexity of admissible rules. Zbl 1115.03010
Jeřábek, Emil
16
2007
Leibniz filters and the strong version of a protoalgebraic logic. Zbl 1030.03050
Font, Josep Maria; Jansana, Ramon
15
2001
Mob families and mad families. Zbl 0905.03034
Brendle, Jörg
15
1998
The unprovability of small inconsistency. A study of local and global interpretability. Zbl 0795.03080
Visser, Albert
15
1993
More on cardinal arithmetic. Zbl 0799.03052
Shelah, Saharon
15
1993
Nilpotent complements and Carter subgroups in stable \({\mathfrak R}\). Zbl 0813.03022
Wagner, Frank O.
15
1994
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Zbl 1076.03043
Noguera, Carles; Esteva, Francesc; Gispert, Joan
15
2005
Fuzzy equational logic. Zbl 1026.03016
Bělohlávek, Radim
15
2002
Chains of saturated models in AECs. Zbl 1392.03046
Boney, Will; Vasey, Sebastien
15
2017
Ordinal notations based on a weakly Mahlo cardinal. Zbl 0709.03042
Rathjen, Michael
15
1990
Strong measure zero and infinite games. Zbl 1417.03255
Galvin, Fred; Mycielski, Jan; Solovay, Robert M.
15
2017
Many simple cardinal invariants. Zbl 0786.03030
Goldstern, Martin; Shelah, Saharon
14
1993
Splittings. Zbl 0852.04004
Kamburelis, A.; Wȩglorz, B.
14
1996
Fuzzy Horn logic. I. Proof theory. Zbl 1095.03014
Bělohlávek, Radim; Vychodil, Vilém
14
2006
Density of the Medvedev lattice of \(\Pi^0_1\) classes. Zbl 1037.03040
Cenzer, Douglas; Hinman, Peter G.
14
2003
Undecidability results on two-variable logics. Zbl 0927.03015
Grädel, Erich; Otto, Martin; Rosen, Eric
14
1999
Pointwise hereditary majorization and some applications. Zbl 0729.03031
Kohlenbach, Ulrich
14
1992
Ultraproducts and Chevalley groups. Zbl 0921.03008
Point, Françoise
13
1999
Formal spaces and their effective presentations. Zbl 0829.03026
Sigstam, Inger
13
1995
Pairs, sets and sequences in first-order theories. Zbl 1158.03037
Visser, Albert
13
2008
Fuzzy Horn logic. II. Implicationally defined classes. Zbl 1099.03016
Bělohlávek, Radim; Vychodil, Vilém
13
2006
Effectively closed sets and enumerations. Zbl 1140.03026
Brodhead, Paul; Cenzer, Douglas
13
2008
Aronszajn trees and the successors of a singular cardinal. Zbl 1305.03041
Unger, Spencer
13
2013
Generalized Bosbach states. II. Zbl 1305.03060
Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia
13
2013
Resurrection axioms and uplifting cardinals. Zbl 1351.03043
Hamkins, Joel David; Johnstone, Thomas A.
13
2014
Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Zbl 1327.03046
Veldman, Wim
13
2014
An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension. Zbl 1068.03047
Rathjen, Michael
12
2005
Fragments of HA based on \(\Sigma_ 1\)-induction. Zbl 0886.03040
Wehmeier, Kai F.
12
1997
Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics. Zbl 1026.03017
Cintula, Petr
12
2003
Birkhoff variety theorem and fuzzy logic. Zbl 1040.03018
Bělohlávek, Radim
12
2003
On the predicate logics of continuous t-norm BL-algebras. Zbl 1070.03013
Montagna, Franco
12
2005
A logical and algebraic treatment of conditional probability. Zbl 1064.03016
Flaminio, Tommaso; Montagna, Franco
12
2005
Symmetry in abstract elementary classes with amalgamation. Zbl 1421.03016
VanDieren, Monica M.; Vasey, Sebastien
12
2017
The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007
Hájek, Petr; Montagna, Franco
12
1990
Proof theory and ordinal analysis. Zbl 0724.03033
Pohlers, W.
12
1991
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
12
2017
On Herbrand consistency in weak arithmetic. Zbl 1030.03043
Adamowicz, Zofia; Zbierski, Paweł
11
2001
A proof-theoretic analysis of collection. Zbl 0916.03038
Beklemishev, Lev D.
11
1998
Set theory without choice: Not everything on cofinality is possible. Zbl 0877.03023
Shelah, Saharon
11
1997
A primer of simple theories. Zbl 1024.03029
Grossberg, Rami; Iovino, José; Lessmann, Olivier
11
2002
The isomorphism problem for classes of computable fields. Zbl 1059.03039
Calvert, Wesley
11
2004
\(G\)-compactness and groups. Zbl 1146.03018
Gismatullin, Jakub; Newelski, Ludomir
11
2008
Space complexity of abelian groups. Zbl 1161.03021
Cenzer, Douglas; Downey, Rodney G.; Remmel, Jeffrey B.; Uddin, Zia
11
2009
Iterations of Boolean algebras with measure. Zbl 0687.03032
Kamburelis, Anastasis
11
1989
Directed frames. Zbl 0689.03009
Corsi, Giovanna; Ghilardi, Silvio
11
1989
Strong downward Löwenheim-Skolem theorems for stationary logics, I. Zbl 07297797
Fuchino, Sakaé; Rodrigues, André Ottenbreit Maschio; Sakai, Hiroshi
1
2021
Continuous logic and embeddings of Lebesgue spaces. Zbl 07297800
McNicholl, Timothy H.
1
2021
Tree-like constructions in topology and modal logic. Zbl 07334533
Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J.
1
2021
Quantum logic is undecidable. Zbl 07334536
Fritz, Tobias
1
2021
Analytic computable structure theory and \(L^p\)-spaces. II. Zbl 07184240
Brown, Tyler; McNicholl, Timothy H.
3
2020
Covering properties of \(\omega\)-mad families. Zbl 07184241
Aurichi, Leandro; Zdomskyy, Lyubomyr
2
2020
Finite sets and infinite sets in weak intuitionistic arithmetic. Zbl 07222136
Nemoto, Takako
2
2020
Non-forking w-good frames. Zbl 07153008
Mazari-Armida, Marcos
1
2020
The weakly compact reflection principle need not imply a high order of weak compactness. Zbl 1445.03058
Cody, Brent; Sakai, Hiroshi
1
2020
Fields with a dense-codense linearly independent multiplicative subgroup. Zbl 07153016
Berenstein, Alexander; Vassiliev, Evgueni
1
2020
A small ultrafilter number at smaller cardinals. Zbl 07184235
Raghavan, Dilip; Shelah, Saharon
1
2020
Antichains of perfect and splitting trees. Zbl 1452.03102
Hein, Paul; Spinas, Otmar
1
2020
Classifying equivalence relations in the Ershov hierarchy. Zbl 1461.03041
Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars
1
2020
Easton collapses and a strongly saturated filter. Zbl 07261481
Shioya, Masahiro
1
2020
Reversibility of extreme relational structures. Zbl 07222134
Kurilić, Miloš S.; Morača, Nenad
1
2020
On Ramsey choice and partial choice for infinite families of \(n\)-element sets. Zbl 07222135
Halbeisen, Lorenz; Tachtsis, Eleftherios
1
2020
The noneffectivity of Arslanov’s completeness criterion and related theorems. Zbl 07222139
Terwijn, Sebastiaan A.
1
2020
Uniform interpolation and sequent calculi in modal logic. Zbl 07006132
Iemhoff, Rosalie
4
2019
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako
3
2019
Ideals of independence. Zbl 07077058
Fischer, Vera; Montoya, Diana Carolina
3
2019
Chainable and circularly chainable semicomputable sets in computable topological spaces. Zbl 07107335
Čičković, Eugen; Iljazović, Zvonko; Validžić, Lucija
3
2019
Diagonal reflections on squares. Zbl 07006123
Fuchs, Gunter
2
2019
Convexity and unique minimum points. Zbl 1441.03045
Berger, Josef; Svindland, Gregor
2
2019
Selfextensional logics with a distributive nearlattice term. Zbl 07006135
González, Luciano J.
2
2019
A model of the generic Vopěnka principle in which the ordinals are not Mahlo. Zbl 07006136
Gitman, Victoria; Hamkins, Joel David
2
2019
Degrees of bi-embeddable categoricity of equivalence structures. Zbl 07077048
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
2
2019
Cut elimination for entailment relations. Zbl 07077052
Rinaldi, Davide; Wessel, Daniel
2
2019
Using Ramsey’s theorem once. Zbl 07107332
Hirst, Jeffry L.; Mummert, Carl
2
2019
Strange ultrafilters. Zbl 07006125
Gitik, Moti
1
2019
Families of sets related to Rosenthal’s lemma. Zbl 1429.03155
Sobota, Damian
1
2019
A Laver-like indestructibility for hypermeasurable cardinals. Zbl 07043046
Honzik, Radek
1
2019
On the non-existence of mad families. Zbl 07043048
Horowitz, Haim; Shelah, Saharon
1
2019
Degree spectra of real closed fields. Zbl 07043053
Miller, Russell; Ocasio González, Victor
1
2019
Elementary theories and hereditary undecidability for semilattices of numberings. Zbl 07043059
Bazhenov, Nikolay; Mustafa, Manat; Yamaleev, Mars
1
2019
Determinacy separations for class games. Zbl 07077054
Hachtman, Sherwood
1
2019
Definable valuations induced by multiplicative subgroups and NIP fields. Zbl 07107330
Dupont, Katharina; Hasson, Assaf; Kuhlmann, Salma
1
2019
A note on groups definable in the \(p\)-adic field. Zbl 07107342
Pillay, Anand; Yao, Ningyuan
1
2019
Free sequences in \({\mathscr{P}}( \omega) /\mathrm{fin}\). Zbl 1455.03062
Chodounský, David; Fischer, Vera; Grebík, Jan
1
2019
Scott sentences for certain groups. Zbl 06860723
Knight, Julia F.; Saraph, Vikram
5
2018
Model theory of finite and pseudofinite groups. Zbl 1388.03037
Macpherson, Dugald
4
2018
Good frames in the Hart-Shelah example. Zbl 06919833
Boney, Will; Vasey, Sebastien
4
2018
The subcompleteness of Magidor forcing. Zbl 06860713
Fuchs, Gunter
4
2018
Quasiminimal abstract elementary classes. Zbl 06860715
Vasey, Sebastien
4
2018
Shadows of the axiom of choice in the universe \(L(\mathbb {R})\). Zbl 06919828
Mycielski, Jan; Tomkowicz, Grzegorz
3
2018
Countable OD sets of reals belong to the ground model. Zbl 06860714
Kanovei, Vladimir; Lyubetsky, Vassily
3
2018
On Katětov and Katětov-Blass orders on analytic P-ideals and Borel ideals. Zbl 06860716
Sakai, Hiroshi
3
2018
Continuous reducibility and dimension of metric spaces. Zbl 06860717
Schlicht, Philipp
3
2018
Implicational (semilinear) logics. III: Completeness properties. Zbl 06860720
Cintula, Petr; Noguera, Carles
3
2018
The long extender algebra. Zbl 1405.03085
Schindler, Ralf
2
2018
Closure properties of parametric subcompleteness. Zbl 07001419
Fuchs, Gunter
2
2018
Iterated ultrapowers for the masses. Zbl 06919824
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
2
2018
Ax-Schanuel for linear differential equations. Zbl 06919830
Aslanyan, Vahagn
2
2018
Derivatives of normal functions and \(\omega \)-models. Zbl 06919831
Arai, Toshiyasu
2
2018
Aronszajn and Kurepa trees. Zbl 06836951
Cummings, James
1
2018
Largest initial segments pointwise fixed by automorphisms of models of set theory. Zbl 06836952
Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri
1
2018
Collapsing \(\omega _2\) with semi-proper forcing. Zbl 06836955
Todorcevic, Stevo
1
2018
Embedding locales and formal topologies into positive topologies. Zbl 07001415
Ciraulo, Francesco; Sambin, Giovanni
1
2018
Generic variations and NTP\(_1\). Zbl 07001421
Dobrowolski, Jan
1
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
1
2018
A weird relation between two cardinals. Zbl 1454.03067
Halbeisen, Lorenz
1
2018
Borel globalizations of partial actions of Polish groups. Zbl 1400.54046
Pinedo, H.; Uzcategui, C.
1
2018
On a class of maximality principles. Zbl 06919834
Ikegami, Daisuke; Trang, Nam
1
2018
\(l\)-groups \(C(X)\) in continuous logic. Zbl 1446.03072
Scowcroft, Philip
1
2018
Expressivity in chain-based modal logics. Zbl 06860718
Marti, Michel; Metcalfe, George
1
2018
A weak variant of Hindman’s theorem stronger than Hilbert’s theorem. Zbl 1384.03094
Carlucci, Lorenzo
1
2018
Chains of saturated models in AECs. Zbl 1392.03046
Boney, Will; Vasey, Sebastien
15
2017
Strong measure zero and infinite games. Zbl 1417.03255
Galvin, Fred; Mycielski, Jan; Solovay, Robert M.
15
2017
Symmetry in abstract elementary classes with amalgamation. Zbl 1421.03016
VanDieren, Monica M.; Vasey, Sebastien
12
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
12
2017
Generic Vopěnka’s principle, remarkable cardinals, and the weak proper forcing axiom. Zbl 1417.03260
Bagaria, Joan; Gitman, Victoria; Schindler, Ralf
8
2017
Saturation and solvability in abstract elementary classes with amalgamation. Zbl 1387.03031
Vasey, Sebastien
8
2017
Katětov order on Borel ideals. Zbl 1417.03256
Hrušák, Michael
8
2017
Creature forcing and five cardinal characteristics in Cichoń’s diagram. Zbl 1404.03040
Fischer, Arthur; Goldstern, Martin; Kellner, Jakob; Shelah, Saharon
7
2017
MV-algebras, infinite dimensional polyhedra, and natural dualities. Zbl 1367.06006
Cabrer, Leonardo M.; Spada, Luca
5
2017
Definable types in the theory of closed ordered differential fields. Zbl 1421.03020
Brouette, Quentin
5
2017
A parallel to the null ideal for inaccessible \(\lambda\). I. Zbl 1417.03266
Shelah, Saharon
5
2017
The nonstationary ideal on \(P_\kappa (\lambda )\) for \(\lambda \) singular. Zbl 1417.03250
Matet, Pierre; Shelah, Saharon
5
2017
Two applications of finite side conditions at \(\omega _2\). Zbl 1417.03264
Neeman, Itay
5
2017
Strongly uplifting cardinals and the boldface resurrection axioms. Zbl 1417.03269
Hamkins, Joel David; Johnstone, Thomas A.
5
2017
An order-theoretic characterization of the Howard-Bachmann-hierarchy. Zbl 1421.03005
Van der Meeren, Jeroen; Rathjen, Michael; Weiermann, Andreas
4
2017
A generalized Borel-reducibility counterpart of Shelah’s main gap theorem. Zbl 1417.03257
Hyttinen, Tapani; Kulikov, Vadim; Moreno, Miguel
4
2017
A logic for arguing about probabilities in measure teams. Zbl 1386.03020
Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko
3
2017
A null ideal for inaccessibles. Zbl 1417.03254
Friedman, Sy-David; Laguzzi, Giorgio
3
2017
\(I_0\) and combinatorics at \(\lambda ^+\). Zbl 1417.03270
Shi, Xianghui; Trang, Nam
2
2017
Magidor-Malitz reflection. Zbl 1383.03048
Hayut, Yair
2
2017
An Easton like theorem in the presence of Shelah cardinals. Zbl 1417.03262
Golshani, Mohammad
2
2017
The complexity of isomorphism for complete theories of linear orders with unary predicates. Zbl 1417.03228
Rast, Richard
2
2017
Bounded low and high sets. Zbl 1417.03239
Anderson, Bernard A.; Csima, Barbara F.; Lange, Karen M.
2
2017
A herbrandized functional interpretation of classical first-order logic. Zbl 1417.03290
Ferreira, Fernando; Ferreira, Gilda
2
2017
Same graph, different universe. Zbl 1417.03265
Rinot, Assaf
2
2017
Equimorphy: the case of chains. Zbl 1417.06001
Laflamme, C.; Pouzet, M.; Woodrow, R.
2
2017
On constructions with 2-cardinals. Zbl 1417.03249
Koszmider, Piotr
2
2017
Baumgartner’s isomorphism problem for \(\aleph _2\)-dense suborders of \(\mathbb {R}\). Zbl 1454.03060
Moore, Justin Tatch; Todorcevic, Stevo
2
2017
Locally compact groups which are separably categorical structures. Zbl 1421.03018
Ivanov, Aleksander
1
2017
Relations between the \({\mathcal {I}}\)-ultrafilters. Zbl 1417.03248
Hong, Jianyong; Zhang, Shuguo
1
2017
The complexity of topological conjugacy of pointed Cantor minimal systems. Zbl 1417.03258
Kaya, Burak
1
2017
The countable existentially closed pseudocomplemented semilattice. Zbl 1417.03235
Adler, Joël
1
2017
Models of weak theories of truth. Zbl 1417.03237
Łełyk, Mateusz; Wcisło, Bartosz
1
2017
Interpretability suprema in Peano arithmetic. Zbl 1436.03310
Henk, Paula; Visser, Albert
1
2017
Ordinal notation systems corresponding to Friedman’s linearized well-partial-orders with gap-condition. Zbl 1417.03292
Rathjen, Michael; Van der Meeren, Jeroen; Weiermann, Andreas
1
2017
...and 890 more Documents
all top 5

Cited by 2,313 Authors

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

Cited in 228 Journals

494 Annals of Pure and Applied Logic
419 Archive for Mathematical Logic
399 The Journal of Symbolic Logic
166 Fuzzy Sets and Systems
127 Mathematical Logic Quarterly (MLQ)
121 Theoretical Computer Science
97 Studia Logica
82 Soft Computing
81 The Bulletin of Symbolic Logic
72 Israel Journal of Mathematics
71 Proceedings of the American Mathematical Society
66 Notre Dame Journal of Formal Logic
65 Topology and its Applications
56 Journal of Mathematical Logic
47 Information Sciences
44 Transactions of the American Mathematical Society
44 MSCS. Mathematical Structures in Computer Science
41 The Review of Symbolic Logic
32 Information and Computation
28 Journal of Philosophical Logic
27 Algebra and Logic
27 Fundamenta Mathematicae
24 International Journal of Approximate Reasoning
23 Advances in Mathematics
23 Journal of Algebra
21 Journal of Pure and Applied Algebra
20 Algebra Universalis
15 Mathematica Slovaca
15 Journal of Applied Non-Classical Logics
13 Lobachevskii Journal of Mathematics
12 Siberian Mathematical Journal
12 Journal of Mathematical Sciences (New York)
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
10 Logical Methods in Computer Science
9 Communications in Algebra
9 Synthese
9 Bulletin of the Section of Logic
9 Bulletin of the Polish Academy of Sciences, Mathematics
9 Indagationes Mathematicae. New Series
9 Iranian Journal of Fuzzy Systems
8 Journal of Mathematical Analysis and Applications
8 The Journal of Logic and Algebraic Programming
8 Journal of Logic and Analysis
8 Computability
7 Journal of Logic, Language and Information
7 Annals of Mathematics and Artificial Intelligence
7 Journal of the European Mathematical Society (JEMS)
7 ACM Transactions on Computational Logic
7 Logica Universalis
7 Afrika Matematika
6 Computers & Mathematics with Applications
6 Information Processing Letters
6 Selecta Mathematica. New Series
6 Journal of Group Theory
6 Journal of Applied Logic
6 European Journal of Mathematics
6 Open Mathematics
5 International Journal of Theoretical Physics
5 Czechoslovak Mathematical Journal
5 Journal of the Mathematical Society of Japan
5 Kybernetika
5 Journal of Automated Reasoning
5 Journal of the American Mathematical Society
4 Journal of Functional Analysis
4 Acta Mathematica Hungarica
4 Journal of Symbolic Computation
4 International Journal of Algebra and Computation
4 Bulletin of the American Mathematical Society. New Series
4 RAIRO. Informatique Théorique et Applications
4 Computational Complexity
4 Applied Categorical Structures
4 Journal of Applied Analysis
4 Journal of Multiple-Valued Logic and Soft Computing
4 Sibirskie Èlektronnye Matematicheskie Izvestiya
4 Symmetry
4 Eurasian Mathematical Journal
4 Forum of Mathematics, Sigma
3 Artificial Intelligence
3 Discrete Applied Mathematics
3 Discrete Mathematics
3 Mathematical Proceedings of the Cambridge Philosophical Society
3 Memoirs of the American Mathematical Society
3 Monatshefte für Mathematik
3 Rendiconti del Seminario Matematico della Università di Padova
3 Combinatorica
3 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
3 RAIRO. Theoretical Informatics and Applications
3 Logic and Logical Philosophy
3 Central European Journal of Mathematics
3 Journal of the Institute of Mathematics of Jussieu
3 Bollettino dell’Unione Matematica Italiana
2 Mathematical Notes
2 Periodica Mathematica Hungarica
2 Rocky Mountain Journal of Mathematics
2 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
2 Commentationes Mathematicae Universitatis Carolinae
...and 128 more Journals
all top 5

Cited in 47 Fields

3,208 Mathematical logic and foundations (03-XX)
456 Computer science (68-XX)
455 Order, lattices, ordered algebraic structures (06-XX)
208 General topology (54-XX)
127 Group theory and generalizations (20-XX)
107 Combinatorics (05-XX)
70 Category theory; homological algebra (18-XX)
58 General algebraic systems (08-XX)
58 Measure and integration (28-XX)
55 Functional analysis (46-XX)
49 Field theory and polynomials (12-XX)
45 Real functions (26-XX)
37 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
29 General and overarching topics; collections (00-XX)
29 Topological groups, Lie groups (22-XX)
26 History and biography (01-XX)
26 Number theory (11-XX)
26 Dynamical systems and ergodic theory (37-XX)
18 Quantum theory (81-XX)
17 Associative rings and algebras (16-XX)
16 Linear and multilinear algebra; matrix theory (15-XX)
15 Probability theory and stochastic processes (60-XX)
14 Commutative algebra (13-XX)
11 Algebraic geometry (14-XX)
11 Algebraic topology (55-XX)
11 Information and communication theory, circuits (94-XX)
10 Geometry (51-XX)
9 Operator theory (47-XX)
9 Manifolds and cell complexes (57-XX)
8 Convex and discrete geometry (52-XX)
5 Difference and functional equations (39-XX)
5 Sequences, series, summability (40-XX)
5 Abstract harmonic analysis (43-XX)
4 Numerical analysis (65-XX)
4 Operations research, mathematical programming (90-XX)
4 Biology and other natural sciences (92-XX)
3 \(K\)-theory (19-XX)
2 Approximations and expansions (41-XX)
2 Global analysis, analysis on manifolds (58-XX)
2 Systems theory; control (93-XX)
1 Nonassociative rings and algebras (17-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Differential geometry (53-XX)
1 Statistics (62-XX)
1 Mechanics of deformable solids (74-XX)
1 Optics, electromagnetic theory (78-XX)

Citations by Year