Provability in Arithmetic and a Schema of Grzegorczyk

Fundamenta Mathematicae- Poland

doi 10.4064/fm-106-1-41-45

Full Text

Abstract

Available in

Date

Authors

Publisher

Institute of Mathematics, Polish Academy of Sciences

Related search

Modal Provability Foundations for Argumentation Networks

Studia Logica
Philosophy of ScienceLogicHistory
2009English

On Arithmetical Completeness of First-Order Logics of Provability

2002English

The Mental Representation of True and False Intentions: A Comparison of Schema-Consistent and Schema-Inconsistent Tasks

Cognitive Research: Principles and Implications
Cognitive PsychologyExperimentalCognitive Neuroscience
2019English

Arithmetic in a Finite Field

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1980English

Models of Arithmetic and Upper Bounds for Arithmetic Sets

Journal of Symbolic Logic
PhilosophyLogic
1994English

Surprise and Schema Strength.

Journal of Experimental Psychology: Learning Memory and Cognition
LinguisticsLanguageExperimentalCognitive Psychology
1998English

Prediction of Mixed Schema Learning in a Reproduction Task

Psychonomic Science
1967English

"Schema Abstraction" in a Multiple-Trace Memory Model.

Psychological Review
Philosophy of SciencePsychologyHistory
1986English

Schema or Not Schema? That Could Be the Question of Teacher

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy