|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela | Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics | Inproceedings Konferenzbeitrag  | 11-Jun-2026 |
| 2 | | N.A. Bazhenov ; Cipriani, Vittorio ; Jain, Sanjay ; San Mauro, Luca ; Stephan, Frank | Classifying different criteria for learning algebraic structures | Article Artikel | Jan-2026 |
| 3 | | Cipriani, Vittorio ; Fokina, Ekaterina ; Harrison-Trainor, Matthew ; Ko, Liling ; Rossegger, Dino | Dichotomy results for classes of countable graphs | Preprint Preprint | 10-Dec-2025 |
| 4 | | Cipriani, Vittorio ; Rossegger, Dino | Uniformity in learning structures | Preprint Preprint | 1-Dec-2025 |
| 5 | | Benavente-Fokina, Ekaterina ; Lempp, Steffen | Syntactic characterization of learnability of structures with mind changes | Article Artikel | Nov-2025 |
| 6 | | Wiesnet, Franziskus | Multidimensional Flexible Proof Representation | Presentation Vortrag | 30-Sep-2025 |
| 7 | | Wiesnet, Franziskus | Introduction to Minlog | Presentation Vortrag | 16-Sep-2025 |
| 8 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela | An Analytic Representation of the Semantics of First-Order S5 | Inproceedings Konferenzbeitrag | 15-Sep-2025 |
| 9 | | Pakhomov, Fedor ; Rathjen, Michael ; Rossegger, Dino | Feferman's Completeness Theorem | Article Artikel | 3-Sep-2025 |
| 10 | | Andrews, Uri ; Gonzalez, David ; Lempp, Steffen ; Rossegger, Dino ; Zhu, Hongyu | The Borel complexity of the class of models of first-order theories | Article Artikel | Sep-2025 |
| 11 | | Fabian Achammer ; Stefan Hetzl ; Schmidt, Renate A. | Computing Witnesses Using the SCAN Algorithm | Inproceedings Konferenzbeitrag | 30-Jul-2025 |
| 12 | | Cipriani, Vittorio | Descriptive Learning Theory | Presentation Vortrag | 18-Jul-2025 |
| 13 | | Cipriani, Vittorio ; Delle Rose, Valentino ; San Mauro, Luca ; Solda, Giovanni | On statistical learning of graphs | Preprint Preprint | 17-Jul-2025 |
| 14 | | Ritter, Martin Christoph | Isomorphism relations on classes of c.e. algebras | Presentation Vortrag | 14-Jul-2025 |
| 15 | | Wiesnet, Franziskus | Constructive Analysis of Maximal Ideals in Z[X] by the Material Interpretation | Presentation Vortrag | 14-Jul-2025 |
| 16 | | Kruschewski, Jan | A Derived Model Theorem in an Admissible Context | Presentation Vortrag | 11-Jul-2025 |
| 17 | | Ritter, Martin Christoph | Isomorphism relations on classes of c.e. algebras | Presentation Vortrag | 7-Jul-2025 |
| 18 | | Kruschewski, Jan | Analysis of HOD for Admissible Structures | Presentation Vortrag | 3-Jul-2025 |
| 19 | | Csima, Barbara F ; MacLean, Luke ; Rossegger, Dino | Relations enumerable from positive information | Article Artikel | Jul-2025 |
| 20 | | Wiesnet, Franziskus | Constructive Analysis of Maximal Ideals in ℤ[X] by the Material Interpretation | Inproceedings Konferenzbeitrag | 20-Jun-2025 |
| 21 | | Wiesnet, Franziskus | Efficient Program Extraction in Elementary Number Theory using the Proof Assistant Minlog | Presentation Vortrag | 13-Jun-2025 |
| 22 | | Cipriani, Vittorio ; Marcone, Alberto ; Valenti, Manlio | THE WEIHRAUCH LATTICE AT THE LEVEL OF Π¹₁−CA₀ : THE CANTOR–BENDIXSON THEOREM | Article Artikel | 2-Jun-2025 |
| 23 | | Wiesnet, Franziskus | Program Extraction in Elementary Arithmetic: Fundamental Theorem of Arithmetic and Friends | Presentation Vortrag | 16-May-2025 |
| 24 | | Wiesnet, Franziskus | Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Friends | Presentation Vortrag | 23-Apr-2025 |
| 25 | | Barrera Esteban, Fernando Jose ; Dimonte, Vincenzo ; Müller, Sandra | The λ-PSP at λ-coanalytic sets | Preprint Preprint | 22-Apr-2025 |
| 26 |  | Wiesnet, Franziskus | Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives | Preprint Preprint   | 11-Apr-2025 |
| 27 | | Kruschewski, Jan ; Schlutzenberg, Farmer Salamander | Analysis of HOD for Admissible Structures | Preprint Preprint | 18-Mar-2025 |
| 28 | | Baaz, Matthias ; Lolić, Anela | Epsilon Calculus Provides Shorter Cut-Free Proofs | Book Contribution Buchbeitrag | 8-Mar-2025 |
| 29 | | Kruschewski, Jan ; Schlutzenberg, Farmer Salamander | On A Conjecture Regarding The Mouse Order For Weasels | Article Artikel | Mar-2025 |
| 30 | | Cipriani, Vittorio ; Marcone, Alberto ; San Mauro, Luca | On the learning power of Friedman-Stanley jumps | Preprint Preprint | 22-Jan-2025 |
| 31 | | Aguilera Ozuna, Juan Pablo ; Diéguez, Martín ; Fernández-Duque, David ; McLean, Brett | Gödel–Dummett linear temporal logic | Article Artikel | Jan-2025 |
| 32 | | Cipriani, Vittorio ; Pauly, Arno | Embeddability of graphs and Weihrauch degrees | Article Artikel | 2025 |
| 33 | | Rossegger, Dino ; Slaman, Theodore ; Steifer, Tomasz | Learning equivalence relations on Polish spaces | Article Artikel | 2025 |
| 34 | | Marks, Andrew ; Dino, Rossegger, ; Slaman, Theodore | Hausdorff Dimension and Countable Borel Equivalence Relations | Article Artikel | 2025 |
| 35 | | Wiesnet, Franziskus | Material Interpretation - A Case Study | Presentation Vortrag | 30-Nov-2024 |
| 36 | | Wiesnet, Franziskus | Minlog-Kurs 2024 | Multimedia and Design Multimedia und Design | 4-Nov-2024 |
| 37 | | Bazhenov, Nikolay ; Cipriani, Vittorio ; Jain, Sanjay ; San Mauro, Luca ; Stephan, Frank | Classifying different criteria for learning algebraic structures | Preprint Preprint | 30-Oct-2024 |
| 38 | | Cipriani, Vittorio | Learning to classify | Presentation Vortrag | 23-Aug-2024 |
| 39 | | Rossegger, Dino | Recursive isomorphism and Turing equivalence through the effective descriptive set theory lense | Presentation Vortrag | 22-Aug-2024 |
| 40 | | Benavente-Fokina, Ekaterina | On structures with non-computable presentations | Presentation Vortrag | 23-Jul-2024 |
| 41 | | Cipriani, Vittorio | On the computational complexity of unfriendly partitions | Presentation Vortrag | 18-Jul-2024 |
| 42 | | Rossegger, Dino | Algorithmic Aspects of Left-orderings of solvable Baumslag-Solitar groups via their dynamical realizations | Presentation Vortrag | 12-Jul-2024 |
| 43 | | Cipriani, Vittorio | Classifying isomorphism problems and learning of algebraic structures | Presentation Vortrag | 12-Jul-2024 |
| 44 | | Ritter, Martin Christoph | Isomorphism relations on classes of c.e. structures | Presentation Vortrag | 8-Jul-2024 |
| 45 |  | Bazhenov, Nikolay ; Fokina, Ekaterina ; Rossegger, Dino ; Soskova, Alexandra ; Vatev, Stefan | Learning Families of Algebraic Structures from Text | Inproceedings Konferenzbeitrag | 2-Jul-2024 |
| 46 | | Rossegger, Dino | Learning equivalence relations on Polish spaces | Presentation Vortrag | 2-Jul-2024 |
| 47 |  | Droste, Manfred ; Kuich, Werner | Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings | Article Artikel | 29-Jun-2024 |
| 48 | | Ritter, Martin Christoph | Isomorphism relations on classes of c.e. structures | Presentation Vortrag | 28-Jun-2024 |
| 49 | | Cipriani, Vittorio | Isomorphism problems and learning of algebraic structures | Presentation Vortrag | 28-Jun-2024 |
| 50 | | Cipriani, Vittorio | Classifying isomorphism problems and learning of algebraic structures | Presentation Vortrag | 12-Mar-2024 |
| 51 | | Prunescu, Mihai ; Sauras Altuzarra, Lorenzo | An arithmetic term for the factorial function | Article Artikel | 1-Feb-2024 |
| 52 | | Rossegger, Dino | The Borel complexity of first-order theories | Presentation Vortrag | 14-Jan-2024 |
| 53 | | Baaz, Matthias ; Lolic, Anela | On Translations of Epsilon Proofs to LK | Inproceedings Konferenzbeitrag | 2024 |
| 54 | | Bazhenov, Nikolay ; Fokina, Ekaterina ; Rossegger, Dino ; Soskova, Alexandra ; Vatev, Stefan | A Lopez-Escobar theorem for continuous domains | Article Artikel | 2024 |
| 55 | | Aguilera Ozuna, Juan Pablo ; Bydžovský, Jan | Fundamental Logic Is Decidable | Article Artikel | 2024 |
| 56 |  | J. P. Aguilera ; Pakhomov, Fedor ; Weiermann, Andreas | Functorial fast-growing hierarchies | Article Artikel | 2024 |
| 57 |  | Gonzalez, David ; Rossegger, Dino | Scott sentence complexities of linear orderings | Article Artikel | 2024 |
| 58 | | Fokina, Ekaterina B. ; Terwijn, Sebastiaan | Computable Structure Theory of Partial Combinatory Algebras | Inproceedings Konferenzbeitrag | 2024 |
| 59 |  | Ho "Turbo", Meng-Che ; Le, Khanh ; Rossegger, Dino | Algorithmic Aspects of Left-Orderings of Solvable Baumslag–Solitar Groups via its Dynamical Realization | Inproceedings Konferenzbeitrag | 2024 |
| 60 | | Kawakami Pacheco, Leonardo | Epistemic possibility in intuitionistic epistemic logic | Presentation Vortrag | 11-Dec-2023 |
| 61 | | Kawakami Pacheco, Leonardo | Game Semantics for the Constructive mu-calculus | Presentation Vortrag | 16-Nov-2023 |
| 62 | | Baaz, Matthias | Andrew's Skolemization my shorten proofs non-elementarily | Presentation Vortrag | 13-Nov-2023 |
| 63 | | Kawakami Pacheco, Leonardo | Towards a characterization of the μ-calculus' collapse to modal logic | Presentation Vortrag | 10-Nov-2023 |
| 64 | | Fermüller, Christian ; Freiman, Robert ; Lang, Timo Achim | Game Models of Producer-Consumer Interactions and Substructural Sequent Systems | Presentation Vortrag | 27-Sep-2023 |
| 65 | | Kawakami Pacheco, Leonardo | The reverse mathematics of ω-automata | Presentation Vortrag | 9-Sep-2023 |
| 66 | | Csima, Barbara F. ; Rossegger, Dino | Degrees of categoricity and treeable degrees | Article Artikel | 11-Aug-2023 |
| 67 | | Sauras Altuzarra, Lorenzo | A geometric description of the factors of Fermat numbers | Presentation Vortrag | Jul-2023 |
| 68 | | Montalbán, Antonio ; Rossegger, Dino | The structural complexity of models of arithmetic | Article Artikel | 29-Jun-2023 |
| 69 | | Kawakami Pacheco, Leonardo | The µ-calculus’ collapse on variations of S5 | Inproceedings Konferenzbeitrag | 6-Jun-2023 |
| 70 | | Sauras Altuzarra, Lorenzo | Covers and point-lattices | Presentation Vortrag | 4-May-2023 |
| 71 | | Sauras Altuzarra, Lorenzo | Aplicaciones recientes del método de generalización de Baaz a la teoría de números | Presentation Vortrag | 30-Mar-2023 |
| 72 | | Rossegger, Dino | Pairs of Structures: Variations and Application | Presentation Vortrag | 28-Mar-2023 |
| 73 | | J. P. Aguilera ; Pakhomov, Fedor | The Π¹₂ consequences of a theory | Article Artikel | Mar-2023 |
| 74 | | Sauras Altuzarra, Lorenzo | Correction to: Some applications of Baaz's generalization method to the study of the factors of Fermat numbers | Article Artikel | 11-Feb-2023 |
| 75 | | C.R.Cimadore ; L.A.Rueda ; Sauras Altuzarra, Lorenzo ; N.Thome | Lattice properties of partial orders for complex matrices via orthogonal projectors | Article Artikel | 26-Dec-2022 |
| 76 | | Altuzarra, Lorenzo Sauras | Some properties of the factors of Fermat numbers | Article Artikel | 15-Nov-2022 |
| 77 | | Baaz, Matthias ; Lolic, Anela | First-Order Interpolation Derived from Propositional Interpolation | Presentation Vortrag | Nov-2022 |
| 78 | | Sauras Altuzarra, Lorenzo | Some applications of Baaz's generalization method to the study of the factors of Fermat numbers | Article Artikel | 30-Sep-2022 |
| 79 | | Baaz, Matthias | Epsilon Calculus | Presentation Vortrag | 22-Sep-2022 |
| 80 |  | Baaz, Matthias ; Fermüller, Christian ; Preining, Norbert | Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta | Presentation Vortrag | Sep-2022 |
| 81 | | Baaz, Matthias ; Fermüller, Christian ; Preining, Norbert | Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta | Presentation Vortrag | Sep-2022 |
| 82 | | Baaz, Matthias | Gödel logics - the dominance of order | Presentation Vortrag | Sep-2022 |
| 83 | | Sauras Altuzarra, Lorenzo | Special lattices of orthogonal projectors | Presentation Vortrag | Sep-2022 |
| 84 | | Baaz, Matthias | Teaching Logic | Presentation Vortrag | 1-Aug-2022 |
| 85 | | Baaz, Matthias | The proof-theoretic analysis of incorrect proofs | Presentation Vortrag | Aug-2022 |
| 86 |  | Rossegger, Dino | The structural complexity of models of arithmetic | Presentation Vortrag | 1-Jul-2022 |
| 87 |  | Rossegger, Dino | The structural complexity of models of arithmetic | Presentation Vortrag | Apr-2022 |
| 88 | | Aguilera, Juan Pablo ; Bydzovsky, Jan ; Fernández-Duque, David | A non-hyperarithmetical Gödel logic. | Beitrag in Tagungsband Inproceedings | 2022 |
| 89 |  | Cerna, David M. ; Leitsch, Alexander ; Lolić, Anela | Schematic Refutations of Formula Schemata | Artikel Article | Jun-2021 |
| 90 | | Fokina, Ekaterina | Algorithmic Learning of Structures | Präsentation Presentation | 2021 |
| 91 | | Fokina, Ekaterina | Learning structures. | Präsentation Presentation | 2021 |
| 92 | | Fokina, Ekaterina | Bi-embeddability and computable structures. | Präsentation Presentation | 2021 |
| 93 | | Fokina, Ekaterina | Learning structures. | Präsentation Presentation | 2021 |
| 94 | | Fokina, Ekaterina | Bi-embeddability and computable structures. | Präsentation Presentation | 2021 |
| 95 | | Fokina, Ekaterina | "Learning structures" | Präsentation Presentation | 2021 |
| 96 | | Baaz, Matthias | Analytic calculi for quantifier macros | Präsentation Presentation | 2021 |
| 97 | | Sauras Altuzarra, Lorenzo | Generalization of proofs and codification of graph families | Präsentation Presentation | 2021 |
| 98 | | Baaz, Matthias | On the benefit of unsound rules | Präsentation Presentation | 2021 |
| 99 | | Baaz, Matthias | Incompleteness and attempted proofs of consistency | Präsentation Presentation | 2021 |
| 100 | | Bydzovsky, Jan | The Number of Axioms | Präsentation Presentation | 2021 |
