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,522 Publications (since 1988)
References Indexed:	1,206 Publications with 19,600 References.

all top 5

Latest Issues

63, No. 5-6 (2024)
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)
...and 99 more Volumes

all top 5

Authors

63	Shelah, Saharon
26	Apter, Arthur W.
16	Rathjen, Michael
15	Gitik, Moti
14	Sorbi, Andrea
13	Hirst, Jeffry Lynn
12	Arai, Toshiyasu
12	Montagna, Franco
11	Hyttinen, Tapani
10	Enayat, Ali
10	Knight, Julia F.
10	Visser, Albert
10	Weiermann, Andreas
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
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	Harizanov, Valentina S.
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	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	Gitman, Victoria
4	Godo, Lluís
4	Goldbring, Isaac
...and 1,113 more Authors

all top 5

Fields

1,502	Mathematical logic and foundations (03-XX)
125	Order, lattices, ordered algebraic structures (06-XX)
96	Computer science (68-XX)
75	General topology (54-XX)
54	Group theory and generalizations (20-XX)
49	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)
15	Real functions (26-XX)
14	Number theory (11-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

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

1,141 Publications have been cited 6,939 times in 4,760 Documents	Cited by ▼	Year ▼
The structure of multiplicatives. Zbl 0689.03013 Danos, Vincent; Regnier, Laurent	103	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	76	2000
Non-dual fuzzy connections. Zbl 1060.03042 Georgescu, George; Popescu, Andrei	72	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
A complete many-valued logic with product-conjunction. Zbl 0848.03005 Hájek, Petr; Godo, Lluis; Esteva, Francesc	59	1996
Degrees of categoricity of computable structures. Zbl 1184.03026 Fokina, Ekaterina B.; Kalimullin, Iskander; Miller, Russell	59	2010
On certain indestructibility of strong cardinals and a question of Hajnal. Zbl 0663.03041 Gitik, Moti; Shelah, Saharon	53	1989
Reflecting stationary sets and successors of singular cardinals. Zbl 0742.03017 Shelah, Saharon	53	1991
Weakly implicative (fuzzy) logics. I: Basic properties. Zbl 1101.03015 Cintula, Petr	52	2006
Natural deduction with general elimination rules. Zbl 1021.03050 von Plato, Jan	48	2001
Deep sequent systems for modal logic. Zbl 1180.03023 Brünnler, Kai	45	2009
The tree property at successors of singular cardinals. Zbl 0874.03060 Magidor, Menachem; Shelah, Saharon	44	1996
Bounded forcing axioms as principles of generic absoluteness. Zbl 0966.03047 Bagaria, Joan	40	2000
On the structure of rotation-invariant semigroups. Zbl 1028.06009 Jenei, Sándor	38	2003
The strength of some Martin-Löf type theories. Zbl 0819.03047 Griffor, Edward; Rathjen, Michael	38	1994
Measure theory and weak König’s lemma. Zbl 0718.03043 Yu, Xiaokang; Simpson, Stephen G.	36	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	34	2007
Infinitary stability theory. Zbl 1343.03028 Vasey, Sebastien	34	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
Contraction-free sequent calculi for geometric theories with an application to Barr’s theorem. Zbl 1025.03055 Negri, Sara	32	2003
Commutative basic algebras and non-associative fuzzy logics. Zbl 1168.03014 Botur, Michal; Halaš, Radomír	31	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	31	2003
Compact representations of BL-algebras. Zbl 1040.03048 Di Nola, Antonio; Leuştean, Laurenţiu	31	2003
Proof analysis in intermediate logics. Zbl 1241.03068 Dyckhoff, Roy; Negri, Sara	31	2012
Proof-theoretic analysis of KPM. Zbl 0727.03036 Rathjen, Michael	30	1991
Notation systems for infinitary derivations. Zbl 0726.03038 Buchholz, Wilfried	29	1991
Katětov order on Borel ideals. Zbl 1417.03256 Hrušák, Michael	29	2017
On the parameterized complexity of short computation and factorization. Zbl 0944.68069 Cai, Liming; Chen, Jianer; Downey, Rodney G.; Fellows, Michael R.	29	1997
\(C ^{(n)}\)-cardinals. Zbl 1250.03108 Bagaria, Joan	29	2012
Typed lambda-calculus in classical Zermelo-Fraenkel set theory. Zbl 0990.03008 Krivine, Jean-Louis	28	2001
Implicational (semilinear) logics. I: A new hierarchy. Zbl 1196.03013 Cintula, Petr; Noguera, Carles	28	2010
Sacks forcing, Laver forcing, and Martin’s axiom. Zbl 0755.03026 Judah, Haim; Miller, Arnold W.; Shelah, Saharon	27	1992
Representation and extension of states on MV-algebras. Zbl 1101.06008 Kroupa, Tomáš	26	2006
Fuzzy logic and fuzzy set theory. Zbl 0786.03039 Takeuti, Gaisi; Titani, Satoko	26	1992
The \(n\)-rea enumeration degrees are dense. Zbl 0848.03023 Lachlan, Alistair H.; Shore, Richard A.	24	1992
The realm of primitive recursion. Zbl 0659.03025 Simmons, Harold	24	1988
Definability in the enumeration degrees. Zbl 0906.03043 Slaman, Theodore A.; Woodin, W. Hugh	24	1997
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
Forcing with quotients. Zbl 1171.03029 Hrušák, Michael; Zapletal, Jindřich	23	2008
Undecidability results on two-variable logics. Zbl 0927.03015 Grädel, Erich; Otto, Martin; Rosen, Eric	22	1999
Identity crises and strong compactness. II: Strong cardinals. Zbl 0980.03057 Apter, Arthur W.; Cummings, James	22	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	21	1990
Ordinal arithmetic and \(\Sigma_1\)-elementarity. Zbl 0936.03055 Carlson, Timothy J.	20	1999
Lowness for genericity. Zbl 1148.03033 Yu, Liang	20	2006
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Zbl 1025.03018 Cignoli, Roberto; Torrens, Antoni	20	2003
Shelah’s stability spectrum and homogeneity spectrum in finite diagrams. Zbl 1022.03017 Grossberg, Rami; Lessmann, Olivier	20	2002
An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension. Zbl 1068.03047 Rathjen, Michael	20	2005
Chains of saturated models in AECs. Zbl 1392.03046 Boney, Will; Vasey, Sebastien	20	2017
Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Zbl 1327.03046 Veldman, Wim	20	2014
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
Mob families and mad families. Zbl 0905.03034 Brendle, Jörg	20	1998
Matrix iterations and Cichon’s diagram. Zbl 1270.03087 Mejía, Diego Alejandro	20	2013
Interpolation in fuzzy logic. Zbl 0936.03026 Baaz, Matthias; Veith, Helmut	19	1999
Complexity of admissible rules. Zbl 1115.03010 Jeřábek, Emil	19	2007
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Zbl 1076.03043 Noguera, Carles; Esteva, Francesc; Gispert, Joan	19	2005
Iterations of Boolean algebras with measure. Zbl 0687.03032 Kamburelis, Anastasis	19	1989
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
Non-commutative Łukasiewicz propositional logic. Zbl 1096.03020 Leuştean, Ioana	18	2006
Tree indiscernibilities, revisited. Zbl 1297.03023 Kim, Byunghan; Kim, Hyeung-Joon; Scow, Lynn	18	2014
Splittings. Zbl 0852.04004 Kamburelis, A.; Wȩglorz, B.	18	1996
Ordinal notations based on a weakly Mahlo cardinal. Zbl 0709.03042 Rathjen, Michael	17	1990
Fuzzy equational logic. Zbl 1026.03016 Bělohlávek, Radim	17	2002
Finality regained: A coalgebraic study of Scott-sets and multisets. Zbl 1023.03049 D’Agostino, Giovanna; Visser, Albert	17	2002
Pairs, sets and sequences in first-order theories. Zbl 1158.03037 Visser, Albert	17	2008
Standard completeness theorem for \(\Pi\)MTL. Zbl 1071.03013 Horčík, Rostislav	17	2005
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
The unprovability of small inconsistency. A study of local and global interpretability. Zbl 0795.03080 Visser, Albert	17	1993
Aronszajn trees and the successors of a singular cardinal. Zbl 1305.03041 Unger, Spencer	17	2013
Logics of left variable inclusion and Płonka sums of matrices. Zbl 1491.03088 Bonzio, S.; Moraschini, T.; Pra Baldi, M.	17	2021
Generalized Bosbach states. I. Zbl 1296.03040 Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia	17	2013
Resurrection axioms and uplifting cardinals. Zbl 1351.03043 Hamkins, Joel David; Johnstone, Thomas A.	17	2014
CON(\(\mathfrak u>\mathfrak i\)). Zbl 0785.03029 Shelah, Saharon	16	1992
Working below a \(low_ 2\) recursively enumerable degree. Zbl 0693.03027 Shore, Richard A.; Slaman, Theodore A.	16	1990
The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007 Hájek, Petr; Montagna, Franco	16	1990
Leibniz filters and the strong version of a protoalgebraic logic. Zbl 1030.03050 Font, Josep Maria; Jansana, Ramon	16	2001
Strong measure zero and infinite games. Zbl 1417.03255 Galvin, Fred; Mycielski, Jan; Solovay, Robert M.	16	2017
More on cardinal arithmetic. Zbl 0799.03052 Shelah, Saharon	16	1993
Ultraproducts and Chevalley groups. Zbl 0921.03008 Point, Françoise	16	1999
Nilpotent complements and Carter subgroups in stable \({\mathfrak R}\). Zbl 0813.03022 Wagner, Frank O.	16	1994
Pointwise hereditary majorization and some applications. Zbl 0729.03031 Kohlenbach, Ulrich	15	1992
On fields definable in \(Q_ p\). Zbl 0687.03016 Pillay, Anand	15	1989
Presheaf semantics and independence results for some non-classical first- order logics. Zbl 0691.03013 Ghilardi, Silvio	15	1989
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
A primer of simple theories. Zbl 1024.03029 Grossberg, Rami; Iovino, José; Lessmann, Olivier	15	2002
Density of the Medvedev lattice of \(\Pi^0_1\) classes. Zbl 1037.03040 Cenzer, Douglas; Hinman, Peter G.	15	2003
Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics. Zbl 1026.03017 Cintula, Petr	15	2003
Homogeneous iteration and measure one covering relative to HOD. Zbl 1153.03034 Dobrinen, Natasha; Friedman, Sy-David	15	2008
Subdirectly irreducible state-morphism BL-algebras. Zbl 1215.06006 Dvurečenskij, Anatolij	15	2011
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
Generalized Bosbach states. II. Zbl 1305.03060 Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia	15	2013
Creature forcing and five cardinal characteristics in Cichoń’s diagram. Zbl 1404.03040 Fischer, Arthur; Goldstern, Martin; Kellner, Jakob; Shelah, Saharon	15	2017
Fragility and indestructibility of the tree property. Zbl 1262.03106 Unger, Spencer	15	2012
Bounds for cut elimination in intuitionistic propositional logic. Zbl 0765.03028 Hudelmaier, Jörg	14	1992
Towers, mad families, and unboundedness. Zbl 07691808 Fischer, Vera; Koelbing, Marlene; Wohofsky, Wolfgang	3	2023
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse. Zbl 07680029 Banerjee, Amitayu	2	2023
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities. Zbl 1518.54001 Šupina, Jaroslav	2	2023
A few more dissimilarities between second-order arithmetic and set theory. Zbl 07680019 Fujimoto, Kentaro	1	2023
The additive structure of integers with the lower Wythoff sequence. Zbl 07680021 Khani, Mohsen; Zarei, Afshin	1	2023
\(sQ_1\)-degrees of computably enumerable sets. Zbl 07680030 Omanadze, Roland Sh.	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
Glivenko sequent classes and constructive cut elimination in geometric logics. Zbl 07691802 Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio	1	2023
Some implications of Ramsey choice for families of \(n\)-element sets. Zbl 1528.03203 Halbeisen, Lorenz; Schumacher, Salome	1	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
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
Small \(\mathfrak{u}(\kappa )\) at singular \(\kappa\) with compactness at \(\kappa^{++}\). Zbl 07495453 Honzik, Radek; Stejskalová, Šárka	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
Iterated multiplication in \(VTC^0\). Zbl 1500.03017 Jeřábek, Emil	3	2022
First-order theories of bounded trees. Zbl 1523.03013 Kellerman, Ruaan	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
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
Weak essentially undecidable theories of concatenation. Zbl 1518.03001 Murwanashyaka, Juvenal	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
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
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
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
On extendability to \(F_\sigma\) ideals. Zbl 07603650 Kwela, Adam	1	2022
On decidability of amenability in computable groups. Zbl 07603651 Duda, Karol; Ivanov, Aleksander	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
Logics of left variable inclusion and Płonka sums of matrices. Zbl 1491.03088 Bonzio, S.; Moraschini, T.; Pra Baldi, M.	17	2021
Towers and clubs. Zbl 1535.03235 Matet, Pierre	5	2021
Quantum logic is undecidable. Zbl 1473.03039 Fritz, Tobias	5	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
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 1535.03245 Gitik, Moti	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
Short note: least fixed points versus least closed points. Zbl 1484.03124 Jäger, Gerhard	2	2021
On the spectra of cardinalities of branches of Kurepa trees. Zbl 07417492 Poór, Márk	2	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
On ultrafilter extensions of first-order models and ultrafilter interpretations. Zbl 1535.03194 Poliakov, Nikolai L.; Saveliev, Denis I.	1	2021
Forcing the mapping reflection principle by finite approximations. Zbl 1535.03248 Miyamoto, Tadatoshi; Yorioka, Teruyuki	1	2021
The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb. Zbl 1535.03281 Visser, Albert	1	2021
Sofic profiles of \(S(\omega)\) and computability. Zbl 1535.03221 Ivanov, Aleksander	1	2021
Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum. Zbl 1535.03244 Fuchino, Sakaé; Rodrigues, André Ottenbreit Maschio; Sakai, Hiroshi	1	2021
Generalised stability of ultraproducts of finite residue rings. Zbl 07417486 Bello Aguirre, Ricardo Isaac	1	2021
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Zbl 1487.03065 Kohlenbach, Ulrich	1	2021
\(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire. Zbl 1498.03122 Sargsyan, Grigor	1	2021
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
NIP Henselian valued fields. Zbl 1444.03130 Jahnke, Franziska; Simon, Pierre	9	2020
Antichains of perfect and splitting trees. Zbl 1452.03102 Hein, Paul; Spinas, Otmar	8	2020
Product of invariant types modulo domination-equivalence. Zbl 1480.03018 Mennuni, Rosario	6	2020
Polynomial time ultrapowers and the consistency of circuit lower bounds. Zbl 1480.03016 Bydžovský, Jan; Müller, Moritz	6	2020
The weakly compact reflection principle need not imply a high order of weak compactness. Zbl 1445.03058 Cody, Brent; Sakai, Hiroshi	5	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	5	2020
Easton collapses and a strongly saturated filter. Zbl 1485.03214 Shioya, Masahiro	5	2020
Fields with a dense-codense linearly independent multiplicative subgroup. Zbl 1480.03017 Berenstein, Alexander; Vassiliev, Evgueni	4	2020
On Ramsey choice and partial choice for infinite families of \(n\)-element sets. Zbl 1472.03056 Halbeisen, Lorenz; Tachtsis, Eleftherios	4	2020
Ordinal analyses for monotone and cofinal transfinite inductions. Zbl 1471.03083 Sato, Kentaro	3	2020
A small ultrafilter number at smaller cardinals. Zbl 1481.03055 Raghavan, Dilip; Shelah, Saharon	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
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
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
Non-forking w-good frames. Zbl 1480.03020 Mazari-Armida, Marcos	1	2020
Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification. Zbl 1459.54006 De La Pava, Luz Victoria; Russo, Ciro	1	2020
Definable one-dimensional topologies in o-minimal structures. Zbl 1480.03028 Peterzil, Ya’Acov; Rosel, Ayala	1	2020
Deciding active structural completeness. Zbl 1480.08007 Stronkowski, Michał M.	1	2020
Properties of the atoms in finitely supported structures. Zbl 1480.03046 Alexandru, Andrei; Ciobanu, Gabriel	1	2020
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
Truth, disjunction, and induction. Zbl 1477.03250 Enayat, Ali; Pakhomov, Fedor	11	2019
Uniform interpolation and sequent calculi in modal logic. Zbl 1537.03014 Iemhoff, Rosalie	10	2019
Cut elimination for entailment relations. Zbl 1477.03243 Rinaldi, Davide; Wessel, Daniel	10	2019
Ideals of independence. Zbl 1477.03193 Fischer, Vera; Montoya, Diana Carolina	10	2019
...and 1041 more Documents

all cited Publications top 5 cited Publications

all top 5

Cited by 2,959 Authors

141	Shelah, Saharon
55	Apter, Arthur W.
43	Bazhenov, Nikolaĭ Alekseevich
40	Downey, Rodney Graham
40	Rathjen, Michael
35	Friedman, Sy-David
32	Vasey, Sebastien
31	Montagna, Franco
29	Cintula, Petr
29	Visser, Albert
28	Matet, Pierre
28	Melnikov, Alexander G.
26	Esteva, Francesc
26	Gitik, Moti
25	Fischer, Vera
25	Godo, Lluís
25	Hrušák, Michael
24	Brendle, Jörg
24	Rinot, Assaf
23	Noguera, Carles
22	Bagaria, Joan
22	Ciungu, Lavinia Corina
22	Kohlenbach, Ulrich Wilhelm
22	Negri, Sara
22	Soskova, Mariya Ivanova
21	Buss, Samuel R.
21	Schuster, Peter Michael
21	Sorbi, Andrea
20	Guzmán González, Osvaldo
20	Kalimullin, Iskander Shagitovich
19	Arai, Toshiyasu
19	Borzooei, Rajab Ali
19	Hamkins, Joel David
19	Vychodil, Vilém
19	Weiermann, Andreas
19	Wu, Guohua
18	Dobrinen, Natasha L.
18	Greenberg, Noam
18	Harizanov, Valentina S.
18	Kanovei, Vladimir G.
18	Pillay, Anand
17	Flaminio, Tommaso
17	Hayut, Yair
17	Jenei, Sándor
17	Ng, KengMeng
17	Nour, Karim
17	Stephan, Frank
17	Yamaleev, Mars Mansurovich
16	Aguzzoli, Stefano
16	Bianchi, Matteo
16	Enayat, Ali
16	Hájek, Petr
16	Iemhoff, Rosalie
16	Kurilić, Miloš S.
16	Magidor, Menachem
16	Montalbán, Antonio
16	Shore, Richard Arnold
16	Spinas, Otmar
16	Tachtsis, Eleftherios
15	Beklemishev, Lev D.
15	Ben-Neria, Omer
15	Borumand Saeid, Arsham
15	Cenzer, Douglas
15	Džamonja, Mirna
15	Hyttinen, Tapani
15	Ishihara, Hajime
15	Kellner, Jakob
15	Lambie-Hanson, Chris
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	Jeřábek, Emil
14	Kihara, Takayuki
14	Mejía, Diego Alejandro
14	Rachůnek, Jiří
14	Strahm, Thomas
14	Straßburger, Lutz
13	Avigad, Jeremy
13	Boney, Will
13	Fernández Duque, David
13	Freund, Anton
13	Goldstern, Martin Robert
13	Golshani, Mohammad
13	Harrison-Trainor, Matthew
13	Joosten, Joost J.
13	Krueger, John
13	Lücke, Philipp Moritz
13	Marcone, Alberto
13	Marra, Vincenzo
13	Mildenberger, Heike
13	Paoli, Francesco
13	Patey, Ludovic
...and 2,859 more Authors

all top 5

Cited in 288 Journals

586	Annals of Pure and Applied Logic
506	Archive for Mathematical Logic
492	The Journal of Symbolic Logic
207	Mathematical Logic Quarterly (MLQ)
181	Fuzzy Sets and Systems
135	Theoretical Computer Science
128	Studia Logica
96	The Bulletin of Symbolic Logic
90	Soft Computing
86	Topology and its Applications
85	Israel Journal of Mathematics
85	Journal of Mathematical Logic
82	Notre Dame Journal of Formal Logic
79	Proceedings of the American Mathematical Society
60	Fundamenta Mathematicae
58	The Review of Symbolic Logic
55	Information Sciences
54	Transactions of the American Mathematical Society
52	Mathematical Structures in Computer Science
37	Information and Computation
37	International Journal of Approximate Reasoning
36	Algebra and Logic
35	Journal of Philosophical Logic
29	Advances in Mathematics
28	Logical Methods in Computer Science
27	Journal of Pure and Applied Algebra
26	Journal of Algebra
23	Computability
22	Algebra Universalis
21	Mathematica Slovaca
21	Journal of Applied Non-Classical Logics
16	Synthese
16	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
12	Journal of Logic and Analysis
11	International Journal of General Systems
11	Journal of the European Mathematical Society (JEMS)
10	Communications in Algebra
10	Journal of Mathematical Analysis and Applications
10	ACM Transactions on Computational Logic
9	Bulletin of the Polish Academy of Sciences, Mathematics
9	Indagationes Mathematicae. New Series
9	Selecta Mathematica. New Series
9	Annals of Mathematics and Artificial Intelligence
9	Sibirskie Èlektronnye Matematicheskie Izvestiya
9	Forum of Mathematics, Sigma
9	European Journal of Mathematics
8	Journal of the London Mathematical Society. Second Series
8	Acta Mathematica Hungarica
8	Journal of Automated Reasoning
8	Journal of Logic, Language and Information
8	The Journal of Logic and Algebraic Programming
8	Journal of Multiple-Valued Logic and Soft Computing
8	Oberwolfach Reports
7	Commentationes Mathematicae Universitatis Carolinae
7	International Journal of Algebra and Computation
7	Russian Mathematics
7	Journal of Group Theory
7	Afrika Matematika
7	Bollettino dell’Unione Matematica Italiana
7	Model Theory
6	Computers & Mathematics with Applications
6	Information Processing Letters
6	Bulletin of the London Mathematical Society
6	Monatshefte für Mathematik
6	Doklady Mathematics
6	Logic and Logical Philosophy
6	Journal of Applied Logic
6	Confluentes Mathematici
6	Open Mathematics
5	Artificial Intelligence
5	International Journal of Theoretical Physics
5	Czechoslovak Mathematical Journal
5	Journal of Functional Analysis
5	Journal of the 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
...and 188 more Journals

all top 5

Cited in 53 Fields

4,272	Mathematical logic and foundations (03-XX)
630	Computer science (68-XX)
575	Order, lattices, ordered algebraic structures (06-XX)
291	General topology (54-XX)
160	Combinatorics (05-XX)
152	Group theory and generalizations (20-XX)
102	Category theory; homological algebra (18-XX)
78	Field theory and polynomials (12-XX)
76	Functional analysis (46-XX)
75	Measure and integration (28-XX)
68	General algebraic systems (08-XX)
58	Real functions (26-XX)
50	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
46	Topological groups, Lie groups (22-XX)
44	General and overarching topics; collections (00-XX)
43	Number theory (11-XX)
41	Dynamical systems and ergodic theory (37-XX)
36	History and biography (01-XX)
26	Commutative algebra (13-XX)
26	Quantum theory (81-XX)
25	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)
14	Sequences, series, summability (40-XX)
13	Convex and discrete geometry (52-XX)
13	Algebraic topology (55-XX)
12	Geometry (51-XX)
12	Information and communication theory, circuits (94-XX)
10	Manifolds and cell complexes (57-XX)
9	Operations research, mathematical programming (90-XX)
7	Abstract harmonic analysis (43-XX)
5	Several complex variables and analytic spaces (32-XX)
5	Difference and functional equations (39-XX)
5	Numerical analysis (65-XX)
4	Biology and other natural sciences (92-XX)
3	\(K\)-theory (19-XX)
3	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)

Archive for Mathematical Logic

Latest Issues

Authors

Fields

Publications by Year

Citations contained in zbMATH Open

Cited by 2,959 Authors

Cited in 288 Journals

Cited in 53 Fields

Citations by Year