Work

Induction rules in bounded arithmetic

Year: 2019

Type: article

Source: Archive for Mathematical Logic

DOI: 10.1007/s00153-019-00702-w

Author: Emil Jeřábek

Institutions: Czech Academy of Sciences, Czech Academy of Sciences, Institute of Mathematics

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

Funder: Grantová Agentura České Republiky

Award: Center of excellence - Institute for theoretical computer science (CE-ITI)

OpenAlex ID: W2988254286

FWCI: 0.673

Cites: 29

Cited by: 5

Related to: