Wszystkie pola: Peano Arithmetic

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Peano Arithmetic" wg kryterium: Wszystkie pola

Wyświetlanie 1-15 z 15

Zaznacz

Skocz do pozycji: 1.

Tytuł:: The structure of models of Peano arithmetic
Autorzy:: Kach, Asher M.
Data publikacji:: 2012
Tematy:: Schmerl, James H. (1940- ). Structure of models of Peano arithmetic
Kossak, Roman (1953- ). Structure of models of Peano arithmetic; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: On extending automorphisms of models of Peano Arithmetic
Autorzy:: Kossak, Roman
Kotlarski, Henryk
Data publikacji:: 1996
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: More on extending automorphisms of models of Peano Arithmetic
Autorzy:: Kossak, Roman (1953- )
Współwytwórcy:: Kotlarski, Henryk
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On elementary cuts in recursively saturated models of Peano Arithmetic
Autorzy:: Kotlarski, Henryk
Data publikacji:: 1984
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Axiomatization of the forcing relation with an application to Peano Arithmetic
Autorzy:: Adamowicz, Zofia
Data publikacji:: 1984
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic
Autorzy:: Bigorajska, Teresa
Kotlarski, Henryk
Schmerl, James
Data publikacji:: 1998
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Kernels, truth and satisfaction
Autorzy:: Schmerl, James H.
Data publikacji:: 2019
Słowa kluczowe:: satisfaction classes
Peano Arithmetic
directed graphs
kernels; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Comparing Axiomatic Theories of Truth
Autorzy:: Mateusz Łełyk
Data publikacji:: 2019
Tematy:: axiomatic theories of truth
conservativity
Peano Arithmetic
disquotation
Kripke-Feferman
Friedman-Sheard; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Comparing Axiomatic Theories of Truth
Autorzy:: Łełyk, Mateusz
Data publikacji:: 2019
Wydawca:: Polskie Towarzystwo Semiotyczne
Tematy:: axiomatic theories of truth
conservativity
Peano Arithmetic
disquotation
Kripke-Feferman
Friedman-Sheard; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Silne i słabe własności pojęcia prawdy
Strong and Weak Truth Principles
Autorzy:: Wcisło Bartosz
Łełyk Mateusz
Tematy:: aksjomatyczne teorie prawdy
arytmetyka Peana
konserwatywność
granica Tarskiego
axiomatic truth theories
Peano Arithmetic
conservativity
Tarski boundary; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Silne i słabe własności pojęcia prawdy
Strong and Weak Truth Principles
Autorzy:: Wcisło, Bartosz
Łełyk, Mateusz
Data publikacji:: 2016
Wydawca:: Polskie Towarzystwo Semiotyczne
Tematy:: aksjomatyczne teorie prawdy
arytmetyka Peana
konserwatywność
granica Tarskiego
axiomatic truth theories
Peano Arithmetic
conservativity
Tarski boundary; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Próba rozwiązania problemu niezdeterminowania wyboru ontologii w filozofii Quinea
An attempt at a solution of the problem of indeterminancy of ontology in Quines philosophy
Autorzy:: Domarecki, Czesław
Słowa kluczowe:: Willard Van Orman Quine, względność ontologiczna, zobowiązanie ontologiczne, teoria modeli, arytmetyka Peano, niestandardowy model arytmetyki, logika nieklasyczna
Willard Van Orman Quine, ontological relativity, ontological commitment, model theory, Peano arithmetic, non-standard model of arithmetic, non-classical logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Uwagi o arytmetyce Grassmanna
Remarks on Grassmanns arithmetic
Autorzy:: Hanusek, Jerzy
Data publikacji:: 2015
Słowa kluczowe:: teoria aksjomatyczna
arytmetyka
arithmetic
Hermann Grassmann
Giuseppe Peano
axiomatic theory; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Uwagi o arytmetyce Grassmanna
Remarks on Grassmann’s Arithmetic
Autorzy:: Hanusek Jerzy
Data publikacji:: 2015-09
Tematy:: Hermann Grassmann
Giuseppe Peano
arithmetic
axiomatic theory
arytmetyka
teoria aksjomatyczna; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Termin liczba jako nazwa i jako funktor. Arytmetyka liczb naturalnych z liczbą-funktorem jako terminem pierwotnym
Number as name and as functor: the arithmetic of natural numbers with number-functor as the primitive term
Autorzy:: Wojciechowski Eugeniusz
Tematy:: number
Frege's zahl-anzahl distinction
elementary ontology
Frege's predication scheme
Peano’s axiomatic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Wyświetlanie 1-15 z 15

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "Peano Arithmetic" wg kryterium: Wszystkie pola