×

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,510 Publications (since 1988)
References Indexed: 1,194 Publications with 19,366 References.
all top 5

Latest Issues

63, No. 3-4 (2024)
63, No. 1-2 (2024)
62, No. 7-8 (2023)
62, No. 5-6 (2023)
62, No. 3-4 (2023)
62, No. 1-2 (2023)
61, No. 7-8 (2022)
61, No. 5-6 (2022)
61, No. 3-4 (2022)
61, No. 1-2 (2022)
60, No. 7-8 (2021)
60, No. 6 (2021)
60, No. 5 (2021)
60, No. 3-4 (2021)
60, No. 1-2 (2021)
59, No. 7-8 (2020)
59, No. 5-6 (2020)
59, No. 3-4 (2020)
59, No. 1-2 (2020)
58, No. 7-8 (2019)
58, No. 5-6 (2019)
58, No. 3-4 (2019)
58, No. 1-2 (2019)
57, No. 7-8 (2018)
57, No. 5-6 (2018)
57, No. 3-4 (2018)
57, No. 1-2 (2018)
56, No. 7-8 (2017)
56, No. 5-6 (2017)
56, No. 3-4 (2017)
56, No. 1-2 (2017)
55, No. 7-8 (2016)
55, No. 5-6 (2016)
55, No. 3-4 (2016)
55, No. 1-2 (2016)
54, No. 7-8 (2015)
54, No. 5-6 (2015)
54, No. 3-4 (2015)
54, No. 1-2 (2015)
53, No. 7-8 (2014)
53, No. 5-6 (2014)
53, No. 3-4 (2014)
53, No. 1-2 (2014)
52, No. 7-8 (2013)
52, No. 5-6 (2013)
52, No. 3-4 (2013)
52, No. 1-2 (2013)
51, No. 7-8 (2012)
51, No. 5-6 (2012)
51, No. 3-4 (2012)
51, No. 1-2 (2012)
50, No. 7-8 (2011)
50, No. 5-6 (2011)
50, No. 3-4 (2011)
50, No. 1-2 (2011)
49, No. 7-8 (2010)
49, No. 6 (2010)
49, No. 5 (2010)
49, No. 4 (2010)
49, No. 3 (2010)
49, No. 2 (2010)
49, No. 1 (2010)
48, No. 8 (2009)
48, No. 7 (2009)
48, No. 6 (2009)
48, No. 5 (2009)
48, No. 3-4 (2009)
48, No. 2 (2009)
48, No. 1 (2009)
47, No. 7-8 (2008)
47, No. 6 (2008)
47, No. 5 (2008)
47, No. 4 (2008)
47, No. 3 (2008)
47, No. 2 (2008)
47, No. 1 (2008)
46, No. 7-8 (2008)
46, No. 5-6 (2007)
46, No. 3-4 (2007)
46, No. 2 (2007)
46, No. 1 (2007)
45, No. 8 (2006)
45, No. 7 (2006)
45, No. 6 (2006)
45, No. 5 (2006)
45, No. 4 (2006)
45, No. 3 (2006)
45, No. 2 (2006)
45, No. 1 (2006)
44, No. 8 (2005)
44, No. 7 (2005)
44, No. 6 (2005)
44, No. 5 (2005)
44, No. 4 (2005)
44, No. 3 (2005)
44, No. 2 (2005)
44, No. 1 (2005)
43, No. 8 (2004)
43, No. 7 (2004)
43, No. 6 (2004)
...and 98 more Volumes
all top 5

Authors

62 Shelah, Saharon
26 Apter, Arthur W.
16 Rathjen, Michael
14 Gitik, Moti
14 Sorbi, Andrea
13 Hirst, Jeffry Lynn
12 Arai, Toshiyasu
12 Montagna, Franco
11 Hyttinen, Tapani
10 Knight, Julia F.
10 Weiermann, Andreas
9 Enayat, Ali
9 Hamkins, Joel David
9 Hrušák, Michael
9 Laskowski, Michael Chris
9 Matet, Pierre
9 Negri, Sara
9 Pillay, Anand
9 Schindler, Ralf-Dieter
9 Shore, Richard Arnold
9 Visser, Albert
8 Cenzer, Douglas
8 Cintula, Petr
8 Fischer, Vera
8 Friedman, Sy-David
8 Kohlenbach, Ulrich Wilhelm
7 Baratella, Stefano
7 Brendle, Jörg
7 Cunningham, Daniel Wendell
7 Esteva, Francesc
7 Fuchs, Gunter
7 Koepke, Peter
7 Krajíček, Jan
7 Kurilić, Miloš S.
7 Mildenberger, Heike
7 Normann, Dag
7 Sakai, Hiroshi
7 Tanović, Predrag
7 Thomas, Simon R.
7 Wu, Guohua
6 Bagaria, Joan
6 Bridges, Douglas Suth
6 Di Nola, Antonio
6 Downey, Rodney Graham
6 Hájek, Petr
6 Ishihara, Hajime
6 Jeřábek, Emil
6 Judah, Haim I.
6 Neeman, Itay
6 Omanadze, Roland Sh.
6 Rosłanowski, Andrzej
6 Sargsyan, Grigor
6 Towsner, Henry
6 Tzouvaras, Athanassios
6 Vasey, Sebastien
6 Zdoms’kyĭ, Lyubomyr Sergiĭovych
5 Bazhenov, Nikolaĭ Alekseevich
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 Kurahashi, Taishi
5 Larson, Paul B.
5 Mints, Grigoriĭ Efroimovich
5 Moniri, Morteza
5 Niggl, Karl-Heinz
5 Palmgren, Erik
5 Repický, Miroslav
5 Schmerl, James H.
5 Solomon, Reed
5 Spinas, Otmar
5 Strahm, Thomas
5 Tachtsis, Eleftherios
5 Todorcevic, Stevo B.
5 Wagner, Frank Olaf
4 Abe, Yoshihiro
4 Ardeshir, Mohammad
4 Baaz, Matthias
4 Baldwin, John T.
4 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 Fujiwara, Makoto
4 Gitman, Victoria
4 Godo, Lluís
...and 1,107 more Authors
all top 5

Fields

1,490 Mathematical logic and foundations (03-XX)
125 Order, lattices, ordered algebraic structures (06-XX)
96 Computer science (68-XX)
73 General topology (54-XX)
54 Group theory and generalizations (20-XX)
48 Combinatorics (05-XX)
31 Field theory and polynomials (12-XX)
25 Category theory; homological algebra (18-XX)
20 General algebraic systems (08-XX)
20 Measure and integration (28-XX)
17 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
14 Number theory (11-XX)
14 Real functions (26-XX)
13 Functional analysis (46-XX)
10 General and overarching topics; collections (00-XX)
9 Topological groups, Lie groups (22-XX)
8 History and biography (01-XX)
7 Commutative algebra (13-XX)
7 Probability theory and stochastic processes (60-XX)
6 Dynamical systems and ergodic theory (37-XX)
5 Algebraic geometry (14-XX)
5 Associative rings and algebras (16-XX)
4 Sequences, series, summability (40-XX)
4 Convex and discrete geometry (52-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Functions of a complex variable (30-XX)
3 Several complex variables and analytic spaces (32-XX)
2 Operator theory (47-XX)
2 Geometry (51-XX)
2 Algebraic topology (55-XX)
1 Nonassociative rings and algebras (17-XX)
1 Abstract harmonic analysis (43-XX)
1 Manifolds and cell complexes (57-XX)
1 Quantum theory (81-XX)
1 Operations research, mathematical programming (90-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

Citations contained in zbMATH Open

1,132 Publications have been cited 6,755 times in 4,637 Documents Cited by Year
The structure of multiplicatives. Zbl 0689.03013
Danos, Vincent; Regnier, Laurent
98
1989
Boolean deductive systems of BL-algebras. Zbl 1030.03048
Turunen, Esko
91
2001
Residuated fuzzy logics with an involutive negation. Zbl 0965.03035
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko
74
2000
Non-dual fuzzy connections. Zbl 1060.03042
Georgescu, George; Popescu, Andrei
71
2004
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
59
2001
Degrees of categoricity of computable structures. Zbl 1184.03026
Fokina, Ekaterina B.; Kalimullin, Iskander; Miller, Russell
58
2010
A complete many-valued logic with product-conjunction. Zbl 0848.03005
Hájek, Petr; Godo, Lluis; Esteva, Francesc
58
1996
Reflecting stationary sets and successors of singular cardinals. Zbl 0742.03017
Shelah, Saharon
53
1991
On certain indestructibility of strong cardinals and a question of Hajnal. Zbl 0663.03041
Gitik, Moti; Shelah, Saharon
53
1989
Weakly implicative (fuzzy) logics. I: Basic properties. Zbl 1101.03015
Cintula, Petr
50
2006
Natural deduction with general elimination rules. Zbl 1021.03050
von Plato, Jan
45
2001
The tree property at successors of singular cardinals. Zbl 0874.03060
Magidor, Menachem; Shelah, Saharon
43
1996
Deep sequent systems for modal logic. Zbl 1180.03023
Brünnler, Kai
42
2009
Bounded forcing axioms as principles of generic absoluteness. Zbl 0966.03047
Bagaria, Joan
40
2000
The strength of some Martin-Löf type theories. Zbl 0819.03047
Griffor, Edward; Rathjen, Michael
37
1994
On the structure of rotation-invariant semigroups. Zbl 1028.06009
Jenei, Sándor
37
2003
Measure theory and weak König’s lemma. Zbl 0718.03043
Yu, Xiaokang; Simpson, Stephen G.
35
1990
Proof-theoretic analysis by iterated reflection. Zbl 1026.03041
Beklemishev, L. D.
35
2003
Fuzzy logics based on \([0,1)\)-continuous uninorms. Zbl 1128.03015
Gabbay, Dov; Metcalfe, George
33
2007
Infinitary stability theory. Zbl 1343.03028
Vasey, Sebastien
33
2016
The number of proof lines and the size of proofs in first order logic. Zbl 0644.03032
Krajíček, Jan; Pudlák, Pavel
32
1988
Compact representations of BL-algebras. Zbl 1040.03048
Di Nola, Antonio; Leuştean, Laurenţiu
31
2003
Commutative basic algebras and non-associative fuzzy logics. Zbl 1168.03014
Botur, Michal; Halaš, Radomír
31
2009
Proof-theoretic analysis of KPM. Zbl 0727.03036
Rathjen, Michael
30
1991
Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel’s \(\mathbf T\). Zbl 1025.03010
Joachimski, Felix; Matthes, Ralph
30
2003
Proof analysis in intermediate logics. Zbl 1241.03068
Dyckhoff, Roy; Negri, Sara
30
2012
Contraction-free sequent calculi for geometric theories with an application to Barr’s theorem. Zbl 1025.03055
Negri, Sara
29
2003
Notation systems for infinitary derivations. Zbl 0726.03038
Buchholz, Wilfried
28
1991
\(C ^{(n)}\)-cardinals. Zbl 1250.03108
Bagaria, Joan
28
2012
On the parameterized complexity of short computation and factorization. Zbl 0944.68069
Cai, Liming; Chen, Jianer; Downey, Rodney G.; Fellows, Michael R.
28
1997
Sacks forcing, Laver forcing, and Martin’s axiom. Zbl 0755.03026
Judah, Haim; Miller, Arnold W.; Shelah, Saharon
27
1992
Implicational (semilinear) logics. I: A new hierarchy. Zbl 1196.03013
Cintula, Petr; Noguera, Carles
27
2010
Katětov order on Borel ideals. Zbl 1417.03256
Hrušák, Michael
27
2017
Representation and extension of states on MV-algebras. Zbl 1101.06008
Kroupa, Tomáš
26
2006
The realm of primitive recursion. Zbl 0659.03025
Simmons, Harold
24
1988
The \(n\)-rea enumeration degrees are dense. Zbl 0848.03023
Lachlan, Alistair H.; Shore, Richard A.
24
1992
Fuzzy logic and fuzzy set theory. Zbl 0786.03039
Takeuti, Gaisi; Titani, Satoko
24
1992
Definability in the enumeration degrees. Zbl 0906.03043
Slaman, Theodore A.; Woodin, W. Hugh
24
1997
Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes. Zbl 1058.03041
Binns, Stephen; Simpson, Stephen G.
23
2004
Product Łukasiewicz logic. Zbl 1059.03011
Horčík, Rostislav; Cintula, Petr
23
2004
Typed lambda-calculus in classical Zermelo-Fraenkel set theory. Zbl 0990.03008
Krivine, Jean-Louis
23
2001
Identity crises and strong compactness. II: Strong cardinals. Zbl 0980.03057
Apter, Arthur W.; Cummings, James
22
2001
Forcing with quotients. Zbl 1171.03029
Hrušák, Michael; Zapletal, Jindřich
22
2008
Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation). Zbl 0712.03009
Krivine, Jean-Louis
21
1990
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050
Kohlenbach, Ulrich
20
1996
Many simple cardinal invariants. Zbl 0786.03030
Goldstern, Martin; Shelah, Saharon
20
1993
Matrix iterations and Cichon’s diagram. Zbl 1270.03087
Mejía, Diego Alejandro
20
2013
Shelah’s stability spectrum and homogeneity spectrum in finite diagrams. Zbl 1022.03017
Grossberg, Rami; Lessmann, Olivier
20
2002
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Zbl 1025.03018
Cignoli, Roberto; Torrens, Antoni
20
2003
Undecidability results on two-variable logics. Zbl 0927.03015
Grädel, Erich; Otto, Martin; Rosen, Eric
20
1999
Ordinal arithmetic and \(\Sigma_1\)-elementarity. Zbl 0936.03055
Carlson, Timothy J.
20
1999
An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension. Zbl 1068.03047
Rathjen, Michael
20
2005
Lowness for genericity. Zbl 1148.03033
Yu, Liang
20
2006
Mob families and mad families. Zbl 0905.03034
Brendle, Jörg
20
1998
Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Zbl 1327.03046
Veldman, Wim
20
2014
Chains of saturated models in AECs. Zbl 1392.03046
Boney, Will; Vasey, Sebastien
20
2017
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Zbl 1076.03043
Noguera, Carles; Esteva, Francesc; Gispert, Joan
19
2005
Herbrand analyses. Zbl 0722.03040
Sieg, Wilfried
19
1991
Sierpiński-Zygmund functions that are Darboux, almost continuous, or have a perfect road. Zbl 0905.26001
Balcerzak, Marek; Ciesielski, Krzysztof; Natkaniec, Tomasz
19
1997
A Wadge hierarchy for second countable spaces. Zbl 1373.03084
Pequignot, Yann
19
2015
Iterations of Boolean algebras with measure. Zbl 0687.03032
Kamburelis, Anastasis
18
1989
Interpolation in fuzzy logic. Zbl 0936.03026
Baaz, Matthias; Veith, Helmut
18
1999
Non-commutative Łukasiewicz propositional logic. Zbl 1096.03020
Leuştean, Ioana
18
2006
Splittings. Zbl 0852.04004
Kamburelis, A.; Wȩglorz, B.
18
1996
Complexity of admissible rules. Zbl 1115.03010
Jeřábek, Emil
18
2007
The unprovability of small inconsistency. A study of local and global interpretability. Zbl 0795.03080
Visser, Albert
17
1993
Ordinal notations based on a weakly Mahlo cardinal. Zbl 0709.03042
Rathjen, Michael
17
1990
Standard completeness theorem for \(\Pi\)MTL. Zbl 1071.03013
Horčík, Rostislav
17
2005
Generalized Bosbach states. I. Zbl 1296.03040
Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia
17
2013
Fuzzy equational logic. Zbl 1026.03016
Bělohlávek, Radim
17
2002
Resurrection axioms and uplifting cardinals. Zbl 1351.03043
Hamkins, Joel David; Johnstone, Thomas A.
17
2014
Aronszajn trees and the successors of a singular cardinal. Zbl 1305.03041
Unger, Spencer
17
2013
Epsilon substitution method for elementary analysis. Zbl 0848.03032
Mints, Grigori; Tupailo, Sergei; Buchholz, Wilfried
17
1996
Symmetry in abstract elementary classes with amalgamation. Zbl 1421.03016
VanDieren, Monica M.; Vasey, Sebastien
17
2017
Tree indiscernibilities, revisited. Zbl 1297.03023
Kim, Byunghan; Kim, Hyeung-Joon; Scow, Lynn
17
2014
CON(\(\mathfrak u>\mathfrak i\)). Zbl 0785.03029
Shelah, Saharon
16
1992
Nilpotent complements and Carter subgroups in stable \({\mathfrak R}\). Zbl 0813.03022
Wagner, Frank O.
16
1994
Working below a \(low_ 2\) recursively enumerable degree. Zbl 0693.03027
Shore, Richard A.; Slaman, Theodore A.
16
1990
Leibniz filters and the strong version of a protoalgebraic logic. Zbl 1030.03050
Font, Josep Maria; Jansana, Ramon
16
2001
More on cardinal arithmetic. Zbl 0799.03052
Shelah, Saharon
16
1993
Logics of left variable inclusion and Płonka sums of matrices. Zbl 1491.03088
Bonzio, S.; Moraschini, T.; Pra Baldi, M.
16
2021
Ultraproducts and Chevalley groups. Zbl 0921.03008
Point, Françoise
16
1999
Strong measure zero and infinite games. Zbl 1417.03255
Galvin, Fred; Mycielski, Jan; Solovay, Robert M.
16
2017
Presheaf semantics and independence results for some non-classical first- order logics. Zbl 0691.03013
Ghilardi, Silvio
15
1989
Pointwise hereditary majorization and some applications. Zbl 0729.03031
Kohlenbach, Ulrich
15
1992
Fragility and indestructibility of the tree property. Zbl 1262.03106
Unger, Spencer
15
2012
Finality regained: A coalgebraic study of Scott-sets and multisets. Zbl 1023.03049
D’Agostino, Giovanna; Visser, Albert
15
2002
Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics. Zbl 1026.03017
Cintula, Petr
15
2003
Density of the Medvedev lattice of \(\Pi^0_1\) classes. Zbl 1037.03040
Cenzer, Douglas; Hinman, Peter G.
15
2003
Subdirectly irreducible state-morphism BL-algebras. Zbl 1215.06006
Dvurečenskij, Anatolij
15
2011
Pairs, sets and sequences in first-order theories. Zbl 1158.03037
Visser, Albert
15
2008
On the infinite-valued Łukasiewicz logic that preserves degrees of truth. Zbl 1117.03027
Font, Josep Maria; Gil, Àngel J.; Torrens, Antoni; Verdú, Ventura
15
2006
Homogeneous iteration and measure one covering relative to HOD. Zbl 1153.03034
Dobrinen, Natasha; Friedman, Sy-David
15
2008
Generalized Bosbach states. II. Zbl 1305.03060
Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia
15
2013
Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of \(p\)-points. Zbl 1417.03245
Dobrinen, Natasha; Mijares, José G.; Trujillo, Timothy
15
2017
Creature forcing and five cardinal characteristics in Cichoń’s diagram. Zbl 1404.03040
Fischer, Arthur; Goldstern, Martin; Kellner, Jakob; Shelah, Saharon
15
2017
The isomorphism problem for classes of computable fields. Zbl 1059.03039
Calvert, Wesley
14
2004
The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007
Hájek, Petr; Montagna, Franco
14
1990
Proof theory and ordinal analysis. Zbl 0724.03033
Pohlers, W.
14
1991
A primer of simple theories. Zbl 1024.03029
Grossberg, Rami; Iovino, José; Lessmann, Olivier
14
2002
Towers, mad families, and unboundedness. Zbl 07691808
Fischer, Vera; Koelbing, Marlene; Wohofsky, Wolfgang
3
2023
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities. Zbl 1518.54001
Šupina, Jaroslav
2
2023
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse. Zbl 07680029
Banerjee, Amitayu
2
2023
Second order arithmetic as the model companion of set theory. Zbl 07680014
Venturi, Giorgio; Viale, Matteo
1
2023
Computable Scott sentences for quasi-Hopfian finitely presented structures. Zbl 07680015
Paolini, Gianluca
1
2023
A few more dissimilarities between second-order arithmetic and set theory. Zbl 07680019
Fujimoto, Kentaro
1
2023
Towards a homotopy domain theory. Zbl 07680036
Martínez-Rivillas, Daniel O.; de Queiroz, Ruy J. G. B.
1
2023
Bachmann-Howard derivatives. Zbl 07691799
Freund, Anton
1
2023
The structure of \(\kappa\)-maximal cofinitary groups. Zbl 07691801
Fischer, Vera; Switzer, Corey Bacal
1
2023
Ranks based on strong amalgamation Fraïssé classes. Zbl 07742494
Guingona, Vincent; Parnes, Miriam
1
2023
A syntactic approach to Borel functions: some extensions of Louveau’s theorem. Zbl 07742502
Kihara, Takayuki; Sasaki, Kenta
1
2023
Mutual algebraicity and cellularity. Zbl 07557513
Braunfeld, Samuel; Laskowski, Michael C.
4
2022
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts. Zbl 07541618
Sato, Kentaro
3
2022
Hanf numbers for extendibility and related phenomena. Zbl 07541619
Baldwin, John T.; Shelah, Saharon
3
2022
Coanalytic ultrafilter bases. Zbl 07541624
Schilhan, Jonathan
3
2022
Small \(\mathfrak{u}(\kappa )\) at singular \(\kappa\) with compactness at \(\kappa^{++}\). Zbl 07495453
Honzik, Radek; Stejskalová, Šárka
3
2022
First-order theories of bounded trees. Zbl 1523.03013
Kellerman, Ruaan
3
2022
Iterated multiplication in \(VTC^0\). Zbl 1500.03017
Jeřábek, Emil
3
2022
Model theory of monadic predicate logic with the infinity quantifier. Zbl 07541620
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio
2
2022
A note on cut-elimination for classical propositional logic. Zbl 1506.03121
Pulcini, Gabriele
2
2022
\(\Delta^0_1\) variants of the law of excluded middle and related principles. Zbl 07603659
Fujiwara, Makoto
2
2022
Implicit recursion-theoretic characterizations of counting classes. Zbl 1506.03096
Dal Lago, Ugo; Kahle, Reinhard; Oitavem, Isabel
2
2022
Reflection and not SCH with overlapping extenders. Zbl 1509.03148
Gitik, Moti
2
2022
Many different uniformity numbers of Yorioka ideals. Zbl 07557506
Klausner, Lukas Daniel; Mejía, Diego Alejandro
2
2022
Condensable models of set theory. Zbl 07541614
Enayat, Ali
1
2022
Definable groups in dense pairs of geometric structures. Zbl 1508.03068
Berenstein, Alexander; Vassiliev, Evgueni
1
2022
On decidability of amenability in computable groups. Zbl 07603651
Duda, Karol; Ivanov, Aleksander
1
2022
Weak essentially undecidable theories of concatenation. Zbl 1518.03001
Murwanashyaka, Juvenal
1
2022
Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces. Zbl 1508.03079
Dobrinen, Natasha; Navarro Flores, Sonia
1
2022
The existence of states based on Glivenko semihoops. Zbl 07603661
He, Pengfei; Wang, Juntao; Yang, Jiang
1
2022
Degree structures of conjunctive reducibility. Zbl 1518.03008
Chitaia, Irakli; Omanadze, Roland
1
2022
Representability and compactness for pseudopowers. Zbl 07495454
Eisworth, Todd
1
2022
On Hilbert algebras generated by the order. Zbl 07495458
Castiglioni, J. L.; Celani, S. A.; San Martín, H. J.
1
2022
The covering number of the strong measure zero ideal can be above almost everything else. Zbl 07557503
Cardona, Miguel A.; Mejía, Diego A.; Rivera-Madrid, Ismael E.
1
2022
Logics of left variable inclusion and Płonka sums of matrices. Zbl 1491.03088
Bonzio, S.; Moraschini, T.; Pra Baldi, M.
16
2021
Strong downward Löwenheim-Skolem theorems for stationary logics. I. Zbl 1498.03117
Fuchino, Sakaé; Rodrigues, André Ottenbreit Maschio; Sakai, Hiroshi
5
2021
First-order concatenation theory with bounded quantifiers. Zbl 1498.03021
Kristiansen, Lars; Murwanashyaka, Juvenal
4
2021
Quantum logic is undecidable. Zbl 1473.03039
Fritz, Tobias
4
2021
Towers and clubs. Zbl 07373425
Matet, Pierre
3
2021
Continuous logic and embeddings of Lebesgue spaces. Zbl 1498.46011
McNicholl, Timothy H.
2
2021
Selection properties of the split interval and the Continuum hypothesis. Zbl 1479.54042
Banakh, Taras
2
2021
Ring structure theorems and arithmetic comprehension. Zbl 1473.03009
Wu, Huishan
2
2021
Tree-like constructions in topology and modal logic. Zbl 1500.03005
Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J.
2
2021
Cichoń’s diagram and localisation cardinals. Zbl 1477.03194
Goldstern, Martin; Klausner, Lukas Daniel
2
2021
Another method for constructing models of not approachability and not SCH. Zbl 07334541
Gitik, Moti
2
2021
On the spectra of cardinalities of branches of Kurepa trees. Zbl 07417492
Poór, Márk
2
2021
\(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire. Zbl 1498.03122
Sargsyan, Grigor
1
2021
Strong cell decomposition property in o-minimal traces. Zbl 1481.03027
Tari, Somayyeh
1
2021
A note on uniform density in weak arithmetical theories. Zbl 1477.03170
Pianigiani, Duccio; Sorbi, Andrea
1
2021
Axiomatic theory of betweenness. Zbl 1496.03033
Azimipour, Sanaz; Naumov, Pavel
1
2021
Sofic profiles of \(S(\omega)\) and computability. Zbl 07334542
Ivanov, Aleksander
1
2021
Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum. Zbl 07334543
Fuchino, Sakaé; Rodrigues, André Ottenbreit Maschio; Sakai, Hiroshi
1
2021
On ultrafilter extensions of first-order models and ultrafilter interpretations. Zbl 07373424
Poliakov, Nikolai L.; Saveliev, Denis I.
1
2021
Forcing the mapping reflection principle by finite approximations. Zbl 07373427
Miyamoto, Tadatoshi; Yorioka, Teruyuki
1
2021
Generalised stability of ultraproducts of finite residue rings. Zbl 07417486
Bello Aguirre, Ricardo Isaac
1
2021
Short note: least fixed points versus least closed points. Zbl 1484.03124
Jäger, Gerhard
1
2021
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Zbl 1487.03065
Kohlenbach, Ulrich
1
2021
Antichains of perfect and splitting trees. Zbl 1452.03102
Hein, Paul; Spinas, Otmar
8
2020
NIP Henselian valued fields. Zbl 1444.03130
Jahnke, Franziska; Simon, Pierre
8
2020
Product of invariant types modulo domination-equivalence. Zbl 1480.03018
Mennuni, Rosario
6
2020
Analytic computable structure theory and \(L^p\)-spaces. II. Zbl 1481.03034
Brown, Tyler; McNicholl, Timothy H.
5
2020
Classifying equivalence relations in the Ershov hierarchy. Zbl 1461.03041
Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars
5
2020
Special ultrafilters and cofinal subsets of \(({}^\omega \omega, <^*)\). Zbl 1461.03048
Nyikos, Peter
4
2020
Easton collapses and a strongly saturated filter. Zbl 1485.03214
Shioya, Masahiro
4
2020
The weakly compact reflection principle need not imply a high order of weak compactness. Zbl 1445.03058
Cody, Brent; Sakai, Hiroshi
4
2020
Fields with a dense-codense linearly independent multiplicative subgroup. Zbl 1480.03017
Berenstein, Alexander; Vassiliev, Evgueni
4
2020
Ordinal analyses for monotone and cofinal transfinite inductions. Zbl 1471.03083
Sato, Kentaro
3
2020
Covering properties of \(\omega\)-mad families. Zbl 1515.03202
Aurichi, Leandro; Zdomskyy, Lyubomyr
3
2020
Induction rules in bounded arithmetic. Zbl 1471.03082
Jeřábek, Emil
3
2020
Rank-initial embeddings of non-standard models of set theory. Zbl 1481.03021
Kindvall Gorbow, Paul
3
2020
Reversibility of extreme relational structures. Zbl 1481.03016
Kurilić, Miloš S.; Morača, Nenad
3
2020
On Ramsey choice and partial choice for infinite families of \(n\)-element sets. Zbl 1472.03056
Halbeisen, Lorenz; Tachtsis, Eleftherios
3
2020
Finite sets and infinite sets in weak intuitionistic arithmetic. Zbl 1481.03066
Nemoto, Takako
3
2020
Uniform Lyndon interpolation property in propositional modal logics. Zbl 1462.03013
Kurahashi, Taishi
3
2020
The noneffectivity of Arslanov’s completeness criterion and related theorems. Zbl 1481.03032
Terwijn, Sebastiaan A.
3
2020
Polynomial time ultrapowers and the consistency of circuit lower bounds. Zbl 1480.03016
Bydžovský, Jan; Müller, Moritz
3
2020
A small ultrafilter number at smaller cardinals. Zbl 1481.03055
Raghavan, Dilip; Shelah, Saharon
2
2020
A version of \(\kappa\)-Miller forcing. Zbl 1485.03192
Mildenberger, Heike; Shelah, Saharon
2
2020
Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences. Zbl 1485.03228
Sinapova, Dima; Souldatos, Ioannis
2
2020
Detecting properties from descriptions of groups. Zbl 1481.03043
Bilanovic, Iva; Chubb, Jennifer; Roven, Sam
1
2020
On the forking topology of a reduct of a simple theory. Zbl 1481.03015
Shami, Ziv
1
2020
Weaker variants of infinite time Turing machines. Zbl 1455.03049
Bianchetti, Matteo
1
2020
Scott sentences for equivalence structures. Zbl 1442.03025
Quinn, Sara B.
1
2020
On the independence of premiss axiom and rule. Zbl 1485.03249
Ishihara, Hajime; Nemoto, Takako
1
2020
Some nondefinability results with entire functions in a polynomially bounded o-minimal structure. Zbl 1481.03026
Sfouli, Hassan
1
2020
Non-forking w-good frames. Zbl 1480.03020
Mazari-Armida, Marcos
1
2020
Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification. Zbl 1459.54006
De La Pava, Luz Victoria; Russo, Ciro
1
2020
Definable one-dimensional topologies in o-minimal structures. Zbl 1480.03028
Peterzil, Ya&rsquo;Acov; Rosel, Ayala
1
2020
Deciding active structural completeness. Zbl 1480.08007
Stronkowski, Michał M.
1
2020
Properties of the atoms in finitely supported structures. Zbl 1480.03046
Alexandru, Andrei; Ciobanu, Gabriel
1
2020
Truth, disjunction, and induction. Zbl 1477.03250
Enayat, Ali; Pakhomov, Fedor
10
2019
Ideals of independence. Zbl 1477.03193
Fischer, Vera; Montoya, Diana Carolina
10
2019
Cut elimination for entailment relations. Zbl 1477.03243
Rinaldi, Davide; Wessel, Daniel
9
2019
Uniform interpolation and sequent calculi in modal logic. Zbl 07006132
Iemhoff, Rosalie
9
2019
Degrees of bi-embeddable categoricity of equivalence structures. Zbl 1477.03143
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
8
2019
Chainable and circularly chainable semicomputable sets in computable topological spaces. Zbl 1468.03052
Čičković, Eugen; Iljazović, Zvonko; Validžić, Lucija
8
2019
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako
8
2019
Free sequences in \({\mathscr{P}}( \omega) /\mathrm{fin}\). Zbl 1455.03062
Chodounský, David; Fischer, Vera; Grebík, Jan
6
2019
Selfextensional logics with a distributive nearlattice term. Zbl 1506.03129
González, Luciano J.
6
2019
Definable valuations induced by multiplicative subgroups and NIP fields. Zbl 1468.03045
Dupont, Katharina; Hasson, Assaf; Kuhlmann, Salma
6
2019
...and 1032 more Documents
all top 5

Cited by 2,875 Authors

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

Cited in 285 Journals

575 Annals of Pure and Applied Logic
499 Archive for Mathematical Logic
492 The Journal of Symbolic Logic
202 Mathematical Logic Quarterly (MLQ)
179 Fuzzy Sets and Systems
134 Theoretical Computer Science
125 Studia Logica
96 The Bulletin of Symbolic Logic
90 Soft Computing
85 Journal of Mathematical Logic
84 Israel Journal of Mathematics
82 Topology and its Applications
80 Notre Dame Journal of Formal Logic
79 Proceedings of the American Mathematical Society
59 Fundamenta Mathematicae
58 The Review of Symbolic Logic
54 Information Sciences
53 Transactions of the American Mathematical Society
52 Mathematical Structures in Computer Science
36 Information and Computation
36 International Journal of Approximate Reasoning
35 Algebra and Logic
33 Journal of Philosophical Logic
29 Advances in Mathematics
27 Journal of Pure and Applied Algebra
26 Journal of Algebra
23 Computability
22 Algebra Universalis
22 Logical Methods in Computer Science
21 Mathematica Slovaca
21 Journal of Applied Non-Classical Logics
16 Synthese
15 Bulletin of the Section of Logic
15 Order
15 Journal of Mathematical Sciences (New York)
15 Lobachevskii Journal of Mathematics
14 Logica Universalis
13 Siberian Mathematical Journal
12 Journal of Computer and System Sciences
12 Theory of Computing Systems
12 Journal of Intelligent and Fuzzy Systems
12 Iranian Journal of Fuzzy Systems
11 International Journal of General Systems
11 Journal of Logic and Analysis
10 Communications in Algebra
10 Journal of Mathematical Analysis and Applications
10 Journal of the European Mathematical Society (JEMS)
9 Bulletin of the Polish Academy of Sciences, Mathematics
9 Indagationes Mathematicae. New Series
9 Annals of Mathematics and Artificial Intelligence
9 Forum of Mathematics, Sigma
9 European Journal of Mathematics
8 Journal of Automated Reasoning
8 Journal of Logic, Language and Information
8 Selecta Mathematica. New Series
8 The Journal of Logic and Algebraic Programming
8 ACM Transactions on Computational Logic
8 Journal of Multiple-Valued Logic and Soft Computing
8 Sibirskie Èlektronnye Matematicheskie Izvestiya
7 Commentationes Mathematicae Universitatis Carolinae
7 Acta Mathematica Hungarica
7 International Journal of Algebra and Computation
7 Russian Mathematics
7 Journal of Group Theory
7 Afrika Matematika
7 Bollettino dell’Unione Matematica Italiana
6 Computers & Mathematics with Applications
6 Information Processing Letters
6 Journal of the London Mathematical Society. Second Series
6 Monatshefte für Mathematik
6 Doklady Mathematics
6 Logic and Logical Philosophy
6 Journal of Applied Logic
6 Oberwolfach Reports
6 Confluentes Mathematici
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 Bulletin of the Iranian Mathematical Society
5 Journal of the American Mathematical Society
5 Applied Categorical Structures
5 Filomat
5 Korean Journal of Mathematics
4 Discrete Mathematics
4 Canadian Journal of Mathematics
4 Journal of Symbolic Computation
4 Bulletin of the American Mathematical Society. New Series
4 RAIRO. Informatique Théorique et Applications
4 Computational Complexity
4 Journal of Applied Analysis
4 Journal of the Institute of Mathematics of Jussieu
4 Contributions to Discrete Mathematics
4 Symmetry
4 Eurasian Mathematical Journal
...and 185 more Journals
all top 5

Cited in 54 Fields

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

Citations by Year