◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Kurt Gödel Society

Austria

11 papers here31 citations across 11
fields
  • math.LO5
  • math.GN4
  • cs.CC1
  • cs.LO1
ROR 01wp6nz35OpenAlex

affiliations via OpenAlex

output
20142025
most citedCompleteness and absolute H-closedness of topological semilattices

12 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

  • S. Bardyla3 · h 11
  • T. Banakh3 · h 22
  • S. Friedman2 · h 24
  • A. Brooke-Taylor1 · h 9
  • Alberto Marcone1 · h 14
  • Alessandro Andretta1 · h 1
  • Alexander Leitsch1 · h 1
  • Anela Lolic1 · h 4
  • A. Ravsky1 · h 12
  • Aristotelis Panagiotopoulos1 · h 6
  • Barnabás Farkas1 · h 6
  • Dhruv Kulshreshtha1 · h 1
collaborating institutions
  • Jan Kochanowski UniversityPL3 papers
  • Lviv UniversityUA3 papers
  • University of ViennaAT3 papers
  • IkerbasqueES1 paper
  • Pidstryhach Institute for Applied Problems of Mechanics and MathematicsUA1 paper
  • Shahid Bahonar University of KermanIR1 paper
  • TU WienAT1 paper
  • University of BristolGB1 paper
  • University of GenoaIT1 paper
  • University of MichiganUS1 paper
  • University of the Basque CountryES1 paper
  • University of TurinIT1 paper
Showing 2025Show all

1 paper · 1 filter

cs.LO2025

Towards an Analysis of Proofs in Arithmetic

Alexander Leitsch, Anela Lolić, Stella Mahler

Inductive proofs can be represented as proof schemata, i.e. as parameterized sequences of proofs defined in a primitive recursive way. Applications of proof schemata can be found i…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.