Information for "Complex analysis in subsystems of second order arithmetic"

Basic information

Display title	Complex analysis in subsystems of second order arithmetic
Default sort key	Complex analysis in subsystems of second order arithmetic
Page length (in bytes)	15
Namespace ID	0
Page ID	8893057
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	1
Counted as a content page	Yes
Page views in the past month	0
MaRDI portal item ID	Q866888
Central description	scientific article; zbMATH DE number 5126638

Page protection

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

View the protection log for this page.

Edit history

Page creator	Import240129110113 (talk \| contribs)
Date of page creation	16:17, 30 January 2024
Latest editor	AllProfilePages260409040437 (talk \| contribs)
Date of latest edit	01:31, 12 April 2026
Total number of edits	2
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Page properties

Transcluded templates (20)	Pages included on this page: Template:Badge (view source) Template:BadgeSimple (view source) Template:Badges/styles.css (view source) Template:DeepChat (view source) Template:ItemCards/styles.css (view source) Template:ItemLink (view source) Template:Publication (view source) Template:Publication/styles.css (view source) Template:ReportABug (view source) Module:BacklinksList (view source) Module:HelperMethods (view source) Module:HelperStrConverter (view source) Module:PublicationCitesWork (view source) Module:PublicationJournalEntry (view source) Module:PublicationKeywordList (view source) Module:PublicationMSCList (view source) Module:PublicationRecommendedItems (view source) Module:PublicationShowAbstract (view source) Module:Wd (view source) Module:Wd/i18n (view source)
MaRDI portal entities used in this page	published in Miscellaneous (e.g. entity existence) Label: en full work available at URL Miscellaneous (e.g. entity existence) Label: en Mathematics Subject Classification ID Miscellaneous (e.g. entity existence) Label: en publication date Miscellaneous (e.g. entity existence) Label: en Archive for Mathematical Logic Label: en Fundamental notions of analysis in subsystems of second-order arithmetic Label: en Title Measure theory and weak König's lemma Title Label: en The mean value theorem in second order arithmetic Label: en Title ERNA and Friedman's Reverse Mathematics Title Q3069633 Label: en Label: mul Title Keita Yokoyama Label: en Title Standard and non-standard analysis in second order arithmetic Title Subsystems of second order arithmetic Label: en Title Non-standard analysis in ACA0 and Riemann mapping theorem Title The Riemann integral in weak systems of analysis Title Q3778204 Label: en Label: mul Title Nonstandard second-order arithmetic and Riemann's mapping theorem Title Q4220572 Label: en Label: mul Title Q4541819 Label: en Label: mul Title Q4800025 Label: en Label: mul Title Q5187490 Label: en Label: mul Title Q5533386 Label: en Label: mul Title Q5535091 Label: en Label: mul Title The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic Title Label: en Complex analysis in subsystems of second order arithmetic Title Miscellaneous (e.g. entity existence) Label: en Some statements Sitelink The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic Title Label: en Fixed point theory in weak second-order arithmetic Title Label: en