Disciplines
Mathematics (100%)
Keywords
-
Complexity,
Comoputation,
Model,
Reducibility
Mathematical logic entered the modern era through the work of Kurt Gödel, who established his famous Completeness and Incompleteness Theorems in Vienna in the 1930`s. This project, to be based at the Kurt Gödel Resarch Center for Mathematical Logic of the University of Vienna, focuses on interdisciplinarity in Mathematical Logic, by making connections between the different fields that arose from Gödel`s work. The proposed topics are: Sets and Computations, Sets and Models, and Sets and Computable Models.
Mathematical logic entered the modern era through the work of Kurt Gödel, who established his famous Completeness and Incompleteness Theorems in Vienna in the 1930`s. This project, to be based at the Kurt Gödel Research Center for Mathematical Logic of the University of Vienna, focuses on interdisciplinarity in Mathematical Logic by making connections between the different fields that arose from Gödel`s work. The proposed topics are: Sets and Computations, Sets and Models, and Sets and Computable Models.
Research institution(s)
- Universität Wien - 100%
Research Output
- 92 Citations
- 35 Publications
Publications
-
2017
Title Unifying the model theory of first-order and second-order arithmetic via WKL0? DOI 10.1016/j.apal.2016.12.003 Type Journal Article Author Enayat A Journal Annals of Pure and Applied Logic Pages 1247-1283 -
2018
Title Some observations on the logical foundations of inductive theorem proving DOI 10.23638/lmcs-13(4:10)2017 Type Journal Article Author Hetzl S Journal Logical Methods in Computer Science Link Publication -
2018
Title Feasible set functions have small circuits DOI 10.3233/com-180096 Type Journal Article Author Beckmann A Journal Computability Pages 67-98 Link Publication -
2017
Title Some observations on the logical foundations of inductive theorem proving DOI 10.48550/arxiv.1704.01930 Type Preprint Author Hetzl S -
2015
Title On -complete equivalence relations on the generalized Baire space DOI 10.1002/malq.201200063 Type Journal Article Author Hyttinen T Journal Mathematical Logic Quarterly Pages 66-81 -
2015
Title A Non-classification Result for Wild Knots DOI 10.48550/arxiv.1504.02714 Type Preprint Author Kulikov V -
2014
Title Equivalence relations in set theory, computability theory, model theory and complexity theory. Type Book Chapter Author Foundational Adventures: Essays In Honor Of Harvey M. Friedman -
2014
Title Regularity Properties on the Generalized Reals DOI 10.48550/arxiv.1408.5582 Type Preprint Author Friedman S -
2014
Title On Borel Reducibility in Generalised Baire Space DOI 10.48550/arxiv.1408.4304 Type Preprint Author Friedman S -
2014
Title Failures of the Silver Dichotomy in the Generalised Baire Space DOI 10.48550/arxiv.1408.4262 Type Preprint Author Friedman S -
2014
Title The Class of Purely Unrectifiable Sets is Pi^_1-complete. Type Journal Article Author Kulikov V -
2014
Title Classification and Non-classification of Homeomorphism Relations DOI 10.48550/arxiv.1407.7164 Type Preprint Author Kulikov V -
2014
Title Partially definable forcing and bounded arithmetic DOI 10.1007/s00153-014-0398-3 Type Journal Article Author Atserias A Journal Archive for Mathematical Logic Pages 1-33 Link Publication -
2017
Title A non-classification result for wild knots DOI 10.1090/tran/6960 Type Journal Article Author Kulikov V Journal Transactions of the American Mathematical Society Pages 5829-5853 Link Publication -
2017
Title Cobham recursive set functions and weak set theories. Type Book Chapter Author Friedman S -
2016
Title Regularity properties on the generalized reals DOI 10.1016/j.apal.2016.01.001 Type Journal Article Author Friedman S Journal Annals of Pure and Applied Logic Pages 408-430 Link Publication -
2015
Title FAILURES OF THE SILVER DICHOTOMY IN THE GENERALIZED BAIRE SPACE DOI 10.1017/jsl.2014.2 Type Journal Article Author Friedman S Journal The Journal of Symbolic Logic Pages 661-670 -
2015
Title Constant Regions in Models of Arithmetic DOI 10.1215/00294527-3153615 Type Journal Article Author Wong T Journal Notre Dame Journal of Formal Logic Pages 603-624 Link Publication -
2015
Title The Model Theory of Generic Cuts DOI 10.1515/9781614516873.281 Type Book Chapter Author Kaye R Publisher De Gruyter Pages 281-296 -
2015
Title On Borel reducibility in generalized Baire space DOI 10.4064/fm231-3-4 Type Journal Article Author Friedman S Journal Fundamenta Mathematicae Pages 285-298 Link Publication -
2016
Title Cobham recursive set functions DOI 10.1016/j.apal.2015.12.005 Type Journal Article Author Beckmann A Journal Annals of Pure and Applied Logic Pages 335-369 Link Publication -
2016
Title Fragments of Kripke–Platek set theory and the metamathematics of a-recursion theory DOI 10.1007/s00153-016-0501-z Type Journal Article Author Friedman S Journal Archive for Mathematical Logic Pages 899-924 -
2016
Title Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem DOI 10.1090/proc/13125 Type Journal Article Author Wong T Journal Proceedings of the American Mathematical Society Pages 4021-4024 Link Publication -
2015
Title Three red herrings around Vaught’s conjecture DOI 10.1090/tran/6572 Type Journal Article Author Baldwin J Journal Transactions of the American Mathematical Society Pages 3673-3694 -
2014
Title One hierarchy spawns another DOI 10.1145/2603088.2603107 Type Conference Proceeding Abstract Author Chen H Pages 1-10 -
2014
Title Consistency of the Silver dichotomy in generalised Baire space DOI 10.4064/fm227-2-4 Type Journal Article Author Friedman S Journal Fundamenta Mathematicae Pages 179-186 Link Publication -
2013
Title Classes of structures with universe a subset of ?1 DOI 10.1093/logcom/ext042 Type Journal Article Author Fokina E Journal Journal of Logic and Computation Pages 1249-1265 -
2013
Title Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle DOI 10.1109/ccc.2013.20 Type Conference Proceeding Abstract Author Atserias A Pages 109-120 Link Publication -
2013
Title Adding standardness to nonstandard arithmetic. Type Book Chapter Author Kaye R -
2013
Title Revisiting Space in Proof Complexity: Treewidth and Pathwidth DOI 10.1007/978-3-642-40313-2_62 Type Book Chapter Author Müller M Publisher Springer Nature Pages 704-716 -
2013
Title The fine classification of conjunctive queries and parameterized logarithmic space complexity DOI 10.1145/2463664.2463669 Type Conference Proceeding Abstract Author Chen H Pages 309-320 Link Publication -
2013
Title Borel reductions and cub games in generalised descriptive set theory DOI 10.2178/jsl.7802060 Type Journal Article Author Kulikov V Journal The Journal of Symbolic Logic Pages 439-458 -
0
Title Restricted notions of provability by induction. Type Other Author Hetzl S -
0
DOI 10.1090/memo/1081 Type Other -
0
Title Classification and non-classification of homeomorphism Relations. Type Other Author Kulikov V