| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mingyang Li, Jan Reimann 0001 |
Turing degrees and randomness for continuous measures.  |
Arch. Math. Log.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Maffezioli |
Cut elimination for coherent theories in negation normal form. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego A. Rojas |
Effective weak and vague convergence of measures on the real line. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Gareth Boxall |
Superrosiness and dense pairs of geometric structures. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Berarducci, Marcello Mamino, Rosario Mennuni |
Vector spaces with a union of independent subspaces. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Pulcini |
Cut elimination by unthreading. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Cordón-Franco, Francisco Félix Lara Martín |
Semi-honest subrecursive degrees and the collection rule in arithmetic. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Sfouli |
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur W. Apter |
Indestructibility and the linearity of the Mitchell ordering. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sohei Iwata, Taishi Kurahashi, Yuya Okawa |
The fixed point and the Craig interpolation properties for sublogics of bfIL. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Miyamoto, Georg Moser |
Herbrand complexity and the epsilon calculus with equality. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Ben-Neria |
A Mathias criterion for the Magidor iteration of Prikry forcings. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Serikzhan A. Badaev, Nikolay A. Bazhenov, Birzhan S. Kalmurzayev, Manat Mustafa |
On diagonal functions for equivalence relations. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Wcislo |
Compositional truth with propositional tautologies and quantifier-free correctness. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Fujiwara, Taishi Kurahashi |
Prenex normalization and the hierarchical classification of formulas. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Touchard |
Stably embedded submodels of Henselian valued fields. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mattias Granberg Olsson, Graham E. Leigh |
Revisiting the conservativity of fixpoints over intuitionistic arithmetic. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsumasa Ishii |
On Harrop disjunction property in intermediate predicate logics. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvonko Iljazovic, Matea Jelic |
Computable approximations of a chainable continuum with a computable endpoint. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos A. Beros, Paul B. Larson |
Maximal Tukey types, P-ideals and the weak Rudin-Keisler order. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Sobota, Lyubomyr Zdomskyy |
Convergence of measures after adding a real. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Longchun Wang, Qingguo Li |
L-domains as locally continuous sequent calculi. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Carlucci, Leonardo Mainardi |
Regressive versions of Hindman's theorem. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Juvenal Murwanashyaka |
Weak essentially undecidable theories of concatenation, part II. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Franklin D. Tall, Jing Zhang |
The second-order version of Morley's theorem on the number of countable models does not require large cardinals. |
Arch. Math. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle |
Mathias and silver forcing parametrized by density. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Kalocinski, Michal Wroclawski |
Correction to: Generalization of Shapiro's theorem to higher arities and noninjective notations. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Leah Karker |
Preservation properties for products and sums of metric structures. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Arant |
Recursive Polish spaces. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Guingona, Miriam Parnes |
Ranks based on strong amalgamation Fraïssé classes. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kamsma |
Type space functors and interpretations in positive logic. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Fellin, Sara Negri, Eugenio Orlandelli |
Glivenko sequent classes and constructive cut elimination in geometric logics. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky |
Correction to: Towers, mad families, and unboundedness. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Dybowski, Przemyslaw Górka |
The axiom of choice in metric measure spaces and maximal δ-separated sets. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Takayuki Kihara, Kenta Sasaki |
A syntactic approach to Borel functions: some extensions of Louveau's theorem. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Michalski, Robert Ralowski, Szymon Zeberski |
Ideals with Smital properties. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetlana Aleksandrova, Nikolay Bazhenov 0001, Maxim V. Zubkov |
Complexity of Σ0n-classifications for definable subsets. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenz Halbeisen, Salome Schumacher |
Some implications of Ramsey Choice for families of $\varvec{n}$-element sets. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amitayu Banerjee |
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric J. Hall, Kyriakos Keremedis |
Independent families and some notions of finiteness. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky |
Towers, mad families, and unboundedness. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vera Fischer, Corey Bacal Switzer |
The structure of κ-maximal cofinitary groups. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Masato Fujita |
Definable Tietze extension property in o-minimal expansions of ordered groups. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Arndt 0001, Hugo Luiz Mariano, Darllan Conceição Pinto |
Filter pairs and natural extensions of logics. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Venturi, Matteo Viale |
Second order arithmetic as the model companion of set theory. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Krupinski, Anand Pillay |
On the topological dynamics of automorphism groups: a model-theoretic perspective. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | John Kenneth Truss |
The small index property for countable superatomic boolean algebras. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Jardón Santos |
Questions on cardinal invariants of Boolean algebras. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Kalocinski, Michal Wroclawski |
Generalization of Shapiro's theorem to higher arities and noninjective notations. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel W. Cunningham |
On forcing over $L(\mathbb {R})$. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Supina |
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Caleb Camrud, Isaac Goldbring, Timothy H. McNicholl |
On the complexity of the theory of a computably presented metric structure. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Howard, Eleftherios Tachtsis |
Models of sfZFA in which every linearly ordered set can be well ordered. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Sh. Omanadze |
sQ1-degrees of computably enumerable sets. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tapani Hyttinen, Kaisa Kangas |
An AEC framework for fields with commuting automorphisms. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Iván Ongay-Valverde |
Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Freund |
Bachmann-Howard derivatives. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Lamei Ramandi |
On the rigidity of Souslin trees and their generic branches. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz |
Towards a homotopy domain theory. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Di Nola, Revaz Grigolia, Gaetano Vitale |
Involutive symmetric Gödel spaces, their algebraic duals and logic. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahya Malekghasemi, Seyed Mohammad Bagheri |
Consistency and interpolation in linear continuous logic. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jialiang He, Renling Jin, Shuguo Zhang |
Generic existence of interval P-points. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiyasu Arai |
Wellfoundedness proof with the maximal distinguished set. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentaro Fujimoto |
A few more dissimilarities between second-order arithmetic and set theory. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Jenei |
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Haim Horowitz, Saharon Shelah |
On the non-existence of κ-mad families. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo A. Freire, Peter Holy |
An ordinal-connection axiom as a weak form of global choice under the GCH. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Somayyeh Tari |
A criterion for the strong cell decomposition property. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Huishan Wu |
Structure of semisimple rings in reverse and computable mathematics. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Lieberman, Jirí Rosický, Pedro Zambrano |
Tameness in generalized metric structures. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan P. Aguilera 0001 |
A topological completeness theorem for transfinite provability logic. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohsen Khani, Afshin Zarei |
The additive structure of integers with the lower Wythoff sequence. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Baratella |
An infinitary propositional probability logic. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Saharon Shelah, Jouko Väänänen |
Positive logics. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Paolini |
Computable scott sentences for quasi-Hopfian finitely presented structures. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Dobrinen, Kaiyun Wang |
Big Ramsey degrees in universal inverse limit structures. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon |
On the isomorphism problem for some classes of computable algebraic structures. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Slavko Moconja, Predrag Tanovic |
Does weak quasi-o-minimality behave better than weak o-minimality? |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruaan Kellerman |
First-order theories of bounded trees. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem |
Implicit recursion-theoretic characterizations of counting classes. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos S. Kurilic, Borisa Kuzeljevic |
Antichains of copies of ultrahomogeneous structures. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel D. Stahl |
Computability and the game of cops and robbers on graphs. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi |
Model theory of monadic predicate logic with the infinity quantifier. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Stirton |
Combinatory logic with polymorphic types. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Petersen |
Enhancing induction in a contraction free logic with unrestricted abstraction: from $\mathbf {Z}$ to $\mathbf {Z}_2$. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoru Kuroda |
Sprague-Grundy theory in bounded arithmetic. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano J. González |
An alternative proof of the Hilbert-style axiomatization for the $\{\wedge , \vee \}$-fragment of classical propositional logic. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd Eisworth |
Representability and compactness for pseudopowers. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengfei He 0001, Juntao Wang 0001, Jiang Yang |
The existence of states based on Glivenko semihoops. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel A. Cardona, Diego Alejandro Mejía, Ismael E. Rivera-Madrid |
The covering number of the strong measure zero ideal can be above almost everything else. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Jerábek |
Iterated multiplication in VTC 0. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Alexandru, Gabriel Ciobanu |
Various forms of infinity for finitely supported structures. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Fujiwara |
Δ 01 variants of the law of excluded middle and related principles. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentaro Sato |
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Moti Gitik |
Reflection and not SCH with overlapping extenders. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusan Repovs, Lyubomyr Zdomskyy |
On well-splitting posets. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Schilhan |
Coanalytic ultrafilter bases. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Berenstein, Evgueni Vassiliev |
Definable groups in dense pairs of geometric structures. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Radek Honzik, Sárka Stejskalová |
Small $\mathfrak {u}(\kappa )$ at singular κ with compactness at κ ++. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Martin 0002 |
Disjunctive logic programs, answer sets, and the cut rule. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license