Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

Standard Formalization

Bibliographic Data

ID21655248
AuthorsJeffrey Ketland (0000-0002-5128-4387, University of Warsaw, corresponding author)
Year2022
Volume32
IssueS3
Pages711-748
Publication date2022-12-01
Peer ReviewedYes
Open AccessYes
TypeARTICLE
VenueAxiomathes (JOURNAL)
Journal identifiersISSN: 1122-1151 • E-ISSN: 1572-8390
PublisherSpringer Science and Business Media LLC (PUBLISHER)
DOI10.1007/s10516-022-09625-3
OpenAlexW4284959050
LanguageEN
References cited35

Algebra over a field · Axiom · Epistemology · Euclidean geometry · Geometry · Pure mathematics · Mathematical and Theoretical Analysis · Mathematics · Philosophy and History of Science · Quantum Mechanics and Applications

  • The Logic in Philosophy of Science

    Open Access•Hans Halvorson•Logic in Philosophy of Science•2019

  • The Large Scale Structure of Space-Time

    Open Access•W Hawking, S W Hawking et al.•Large Scale Structure of Space-Time•1973

  • General Relativity

    Robert M Wald•General Relativity•1984

  • Mathematics and Reality

    Mary Leng•Mathematics and reality•2010

  • Mathematical Logic as Based on the Theory of Types

    Bertrand Russell•American Journal of Mathematics•1908

  • Mathematics, Matter and Method

    Open Access•Hilary Putnam•Mathematics, Matter and Method :…•1979

  • A logic road from special relativity to general relativity

    Open Access•Hajnal Andréka, Judit X Madarász et al.•Synthese•2012

  • Foundations of applied mathematics I

    Open Access•Jeffrey Ketland•Synthese•2021

Citation velocityhistorical
Highly citedNo

Tools

Open DOI
Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae