Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Archive for Mathematical Logic, 60, (7-8), Springer, ISSN 0933-5846
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek
- (when)
-
2024
- Creator
- DOI
-
10.26083/tuprints-00023435
- URN
-
urn:nbn:de:tuda-tuprints-234356
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kohlenbach, Ulrich
- Universitäts- und Landesbibliothek
Time of origin
- 2024
Other Objects (12)
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Two proof-theoretic remarks on EA + ECT
Decision-Making under Bounded Rationality and Model Uncertainty : an Information-Theoretic Approach
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Systems of bounded rational agents with information-theoretic constraints
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Two proof-theoretic remarks on EA + ECT
Decision-Making under Bounded Rationality and Model Uncertainty : an Information-Theoretic Approach
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Systems of bounded rational agents with information-theoretic constraints
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Two proof-theoretic remarks on EA + ECT
Decision-Making under Bounded Rationality and Model Uncertainty : an Information-Theoretic Approach
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition