Amanote Research

Amanote Research

    RegisterSign In

Provability in Arithmetic and a Schema of Grzegorczyk

Fundamenta Mathematicae - Poland
doi 10.4064/fm-106-1-41-45
Full Text
Open PDF
Abstract

Available in full text

Categories
Number TheoryAlgebra
Date

January 1, 1980

Authors
George Boolos
Publisher

Institute of Mathematics, Polish Academy of Sciences


Related search

Modal Provability Foundations for Argumentation Networks

Studia Logica
Philosophy of ScienceLogicHistory
2009English

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

Prediction of Mixed Schema Learning in a Reproduction Task

Psychonomic Science
1967English

Surprise and Schema Strength.

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

Models of Arithmetic and Upper Bounds for Arithmetic Sets

Journal of Symbolic Logic
PhilosophyLogic
1994English

A Self-Configuring Schema Matching System

2012English

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

2016English

SchemaOnRead: A Package for Schema-On-Read in R

R Journal
UncertaintyNumerical AnalysisStatisticsProbability
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy