A Computable ℵ0-Categorical Structure Whose Theory Computes True Arithmetic

Journal of Symbolic Logic - United Kingdom
doi 10.2178/jsl/1268917501
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Categorical Information Theory

2011English

True and Useful: On the Structure of a Two Level Normative Theory

Utilitas
PhilosophySociologyPolitical Science
2012English

Category Structure and Categorical Perception Jointly Explained by Similarity-Based Information Theory

Entropy
Electronic EngineeringInformation SystemsMathematical PhysicsElectricalAstronomyPhysics
2018English

A Conjecture in the Arithmetic Theory of Differential Equations

Bulletin de la Societe Mathematique de France
Mathematics
1982English

An Arithmetic, Particle Theory of Fluid Dynamics

Computer Methods in Applied Mechanics and Engineering
Mechanics of MaterialsMechanical EngineeringComputer Science ApplicationsComputational MechanicsAstronomyPhysics
1974English

Computable Aggregations

Information Sciences
ControlSystems EngineeringManagementTheoretical Computer ScienceComputer Science ApplicationsInformation SystemsArtificial IntelligenceSoftware
2018English

The Concept of the Categorical Imperative: A Study of the Place of the Categorical Imperative in Kant's Ethical Theory.

The Philosophical Review
Philosophy
1971English

Systematicity and a Categorical Theory of Cognitive Architecture: Universal Construction in Context

Frontiers in Psychology
Psychology
2016English

$$\Aleph _0$$ℵ0-Categoricity of Semigroups

Semigroup Forum
Number TheoryAlgebra
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy