- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource, 1 online resource.
- Language
-
Englisch
- Bibliographic citation
-
Revisiting the conservativity of fixpoints over intuitionistic arithmetic ; day:28 ; month:7 ; year:2023 ; pages:1-27
Archive for mathematical logic ; (28.7.2023), 1-27
- Creator
-
Granberg Olsson, Mattias
Leigh, Graham E.
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00153-023-00878-2
- URN
-
urn:nbn:de:101:1-2023103110143917861168
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 AM CEST
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
- Granberg Olsson, Mattias
- Leigh, Graham E.
- SpringerLink (Online service)
Other Objects (12)
Semantical investigations in intuitionistic first-order arithmetic
Metamathematical investigation of intuitionistic arithmetic and analysis
Intuitionistic sets and numbers: small set theory and Heyting arithmetic
Revisiting fold-change calculation: preference for median or geometric mean over arithmetic mean-based methods
Intuitionistic Mathematics. Lectures
Intuitionistic Modal Algebras
Arithmetic of hyperelliptic curves over local fields
Foundations of intuitionistic logic
Fusions in Intuitionistic Mereology
On vector bundles over algebraic and arithmetic curves
On vector bundles over algebraic and arithmetic curves
On Study of Some Intuitionistic Fuzzy Operators for Intuitionistic Fuzzy Algebraic Structures
Semantical investigations in intuitionistic first-order arithmetic
Metamathematical investigation of intuitionistic arithmetic and analysis
Intuitionistic sets and numbers: small set theory and Heyting arithmetic
Revisiting fold-change calculation: preference for median or geometric mean over arithmetic mean-based methods
Intuitionistic Mathematics. Lectures
Intuitionistic Modal Algebras
Arithmetic of hyperelliptic curves over local fields
Foundations of intuitionistic logic
Fusions in Intuitionistic Mereology
On vector bundles over algebraic and arithmetic curves
On vector bundles over algebraic and arithmetic curves
On Study of Some Intuitionistic Fuzzy Operators for Intuitionistic Fuzzy Algebraic Structures
Semantical investigations in intuitionistic first-order arithmetic
Metamathematical investigation of intuitionistic arithmetic and analysis
Intuitionistic sets and numbers: small set theory and Heyting arithmetic
Revisiting fold-change calculation: preference for median or geometric mean over arithmetic mean-based methods
Intuitionistic Mathematics. Lectures
Intuitionistic Modal Algebras
Arithmetic of hyperelliptic curves over local fields
Foundations of intuitionistic logic
Fusions in Intuitionistic Mereology
On vector bundles over algebraic and arithmetic curves
On vector bundles over algebraic and arithmetic curves