:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Bošnjak, Ranko
Format:	Recurso digital
Language:	Serbian
Published:	Zenodo 2026
Subjects:	дефинициони оквири, аксиоматизација, структурна корекција, асимптотска нужност, универзална валидација, 00A35, 03B42, 03G30, 68T30, definitional frameworks, axiomatization, structural correction, asymptotic necessity, universal validation
Online Access:	https://doi.org/10.5281/zenodo.19763465
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

АНАЛІЗ ШІ-МЕТОДІВ ГЕНЕРАЦІЇ СТРУКТУР ТА ЇХ ПРИДАТНОСТІ В ЛЕВЕЛ ДИЗАЙНІ
by: Рябчук, Денис, et al.
Published: (2025)

Modal Pragmatics
by: Utz, Konrad
Published: (2025)

ДИНАМІКА АДАПТИВНИХ КОНСТРУКЦІЙ В УМОВАХ ЗМІННОГО НАВАНТАЖЕННЯ
by: Каглинський Олексій Євгенович
Published: (2025)

There is No Composition in the Computable Reducibility Degrees
by: Mourad, Daniel
Published: (2024)

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

The Logical Dimension of Argumentation and Its Semantic Appraisal in Bermejo-Luque’s Giving Reasons
by: JAMES B. FREEMAN
Published: (2011)

Acerca de la relación mímesis-mûthos en la Poética de Aristóteles: en torno a los criterios de necesidad y verosimilitud
by: Mariana Castillo Merlo
Published: (2015)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
by: Cipriani, Vittorio, et al.
Published: (2022)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

Regainingly approximable numbers and sets
by: Hertling, Peter, et al.
Published: (2023)

On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)

Conceptual Model of Information Technology Architecture for Service-Based Enterprises
by: Mousavi Madani, Fariborz, et al.
Published: (2012)

Scientific Practice and Necessary Connections
by: Andreas Hüttemann
Published: (2014)

$Π^0_4$ conservation of the Ordered Variable Word theorem
by: Houérou, Quentin Le, et al.
Published: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2025)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

The tree pigeonhole principle in the Weihrauch degrees
by: Dzhafarov, Damir, et al.
Published: (2023)

Ramsey-like theorems for separable permutations
by: Houérou, Quentin Le, et al.
Published: (2025)

Axiomatic and Synthetic Theory (AST) — V: Companion Document, First Principles and Scientific Method
by: Fröderberg, J. E.
Published: (2025)

Towards a Theory of Interoperability of Software Systems
by: Diana M. Torres
Published: (2023)

Scale–Relational Observer Model: An Axiomatic Framework for Scale-Dependent Coherence
by: czinege, erik
Published: (2025)

The R.B.Q. (Rational, Behavioral and Quantified) Model
by: Constantinos Challoumis
Published: (2019)

Solovay reducibility implies S2a-reducibility
by: Titov, Ivan
Published: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
by: Merkle, Wolfgang, et al.
Published: (2024)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
by: Gilson, Frank
Published: (2025)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2025)

From Numbers to Container Strings
by: Visser, Albert
Published: (2024)

Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)

Effective inseparability and some applications in meta-mathematics
by: Cheng, Yong
Published: (2022)